/gnu/store/k5n4a5a3v4xkg28m1bsrfvv3drf44gcx-proof-general-4.4-1.1b1083e-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1hpizzf7f9qmqrd5n766xy8v6ggbcjjh-git-minimal-2.34.0.drv
/gnu/store/71wgmmk0fbs0ynnda9hdfcmqx17ycsm7-guile-zlib-0.1.0.drv
/gnu/store/b5519pc72d8gf9jhnjpy61gjmv808i2b-gnutls-3.7.2.drv
/gnu/store/mp078nbbfxsayk3276379wlddqv2skca-guile-json-4.5.2.drv
/gnu/store/qlrhgcy8ghvllhw13z9h607hhdflhzb4-tar-1.34.drv
/gnu/store/r1kaqk7w9pv8akhylqj01zdshmk966j8-gzip-1.10.drv
/gnu/store/r2fpmg5izqgcsgdzdadhhv27r7sfd2fq-guile-3.0.7.drv
/gnu/store/xh03zlhq5lg6k8zp0cp6w4dj7k97hfxr-module-import-compiled.drv

Derivation details

Builder/gnu/store/m8bfw3z558lfk3h0n5xpsqbv9m6ls2r0-guile-3.0.7/bin/guile
Systemriscv64-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout