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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1dapmjsrfygs6sdlzhcgykyh3k4281mb-guile-json-4.7.1.drv
/gnu/store/6x42mzzwymn3km28qpw7q2i89fl9ksrw-guile-3.0.7.drv
/gnu/store/7flk0bg74l261j76mclzrmcxh7pn56y0-gzip-1.10.drv
/gnu/store/9kcbrkdd88mkwd412vk39i0pgqnvrsww-gnutls-3.7.2.drv
/gnu/store/bknar2nc81jxw766lx4w0wbbfdhcs0i1-git-minimal-2.37.1.drv
/gnu/store/bmgvsvbfhxnq12qvj23jj37zdmzmq53g-module-import-compiled.drv
/gnu/store/kxl1c3p8l154fb9cclk13b2rk8wvs4p4-glibc-utf8-locales-2.33.drv
/gnu/store/rlzh2z52sm36h1p36drziifrdz6kvmdb-guile-zlib-0.1.0.drv
/gnu/store/y7hc4xpix0z324mf5qlr08gclqc8hgkc-tar-1.34.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