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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/7n2ms9xlkkwx7yh30h5vppcbhfck5m0r-gzip-1.10.drv
/gnu/store/7rmszsjvr4lsbwq2jh2r2b4a0zwrpy52-gnutls-3.7.2.drv
/gnu/store/8mr4fnh6d0rwjh84cd3vq1zaisncdvj8-git-minimal-2.35.1.drv
/gnu/store/cpm324vqi8a2c8ncndv2764axl27r06g-guile-json-4.5.2.drv
/gnu/store/i5a1qrwqhq3qa9p09wja18rpmlnf7x4a-module-import-compiled.drv
/gnu/store/izz1wyga26da0wy0z1r91qamg751jdrk-tar-1.34.drv
/gnu/store/vkd5iwliinwn4wv1dhrkp83lzl78kdww-guile-3.0.7.drv
/gnu/store/x8nr9l62jv8nd9wik8y5h7dv8d34cpgm-guile-zlib-0.1.0.drv

Derivation details

Builder/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-guile-3.0.7/bin/guile
Systemaarch64-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