/gnu/store/4w4bwvwmdwvxvaqc5nf6yz2gka6d6cbx-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0pgbgw9p91pz4swbf8c02v3k9d96rynq-guile-json-4.5.2.drv
/gnu/store/1aaymcsvnlr7nrr2klpski3id3dncm8y-git-minimal-2.34.0.drv
/gnu/store/54vkgmv6k4l0ql8pa36nq8klgr42nv2y-gnutls-3.7.2.drv
/gnu/store/8mw4l441ax7kqgx4qsvzmjgpzb91wdsi-guile-zlib-0.1.0.drv
/gnu/store/dy38j0fhfm8b430d8y7f0vpaa6v82ng1-tar-1.34.drv
/gnu/store/mxjssisw3xiibyn1w29kl5i4xgib6cw6-guile-3.0.7.drv
/gnu/store/rw0khyg685a9ip5kval5cpg59bc57771-module-import-compiled.drv
/gnu/store/sxr4bxinaalppnb6q8v24dks1cvhfbc7-gzip-1.10.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-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/

Outputs

File name
/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout