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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/30kchfd5h0bilgrv9rpbd2n3n4zgmqgm-gnutls-3.6.11.1.drv
/gnu/store/3v3188sv50xfpjllsq78ykf7aqyzb9ng-tar-1.32.drv
/gnu/store/8nq2025v0vrjypk5570dsi3amf1blpn1-module-import.drv
/gnu/store/by3sq8jlvqkywkya606w87ch3sjix85d-gzip-1.10.drv
/gnu/store/c5p94156lmz0sq1snsnqsydi5z4lzf1g-git-minimal-2.25.0.drv
/gnu/store/kdr952n2g5mfjwa3aclhad9amd4rsgw4-guile-json-3.2.0.drv
/gnu/store/rz7cmvdsgf3byapbxxskc6h37aa1blm3-guile-2.2.6.drv
/gnu/store/xx94yh50dz12xa7pw2jh0yhas37dxvrm-module-import-compiled.drv

Derivation details

Builder/gnu/store/bjwhwkils38az1h83z5s9yfm0misyqx4-guile-2.2.6/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