/gnu/store/lk73lk45vq6prdjs52giyz03v4743rr5-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/23m6jn623dz5n9i79hj7wx5sjp3v7yk3-guile-json-3.5.0.drv
/gnu/store/4c57446blkb31gdcag51qz2cxnp1mwvh-gzip-1.10.drv
/gnu/store/648ppxy45p16k9vxgq6zfzajkf6jvw9l-tar-1.32.drv
/gnu/store/lh8dn3qik4qqzhs65cxx4s5yxgfbq3mh-guile-3.0.2.drv
/gnu/store/qph0xhz1pi362b3b4zaiiy52n27iz42d-git-minimal-2.27.0.drv
/gnu/store/ry81yyyz7yhw22bxhkxxhy934jfzi81a-gnutls-3.6.12.drv
/gnu/store/wi455pqxdwzqraja60cyyf7cmh1mf817-module-import.drv
/gnu/store/zs89bc4g9h2jzw28107qwr0jk04zn1k2-module-import-compiled.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

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