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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/aix2bmjzlzhawz24yh561dblhgv8w5cx-gzip-1.10.drv
/gnu/store/isgjp0w1lg6gi6m9zg3zzbax9dadfnsr-tar-1.34.drv
/gnu/store/pz9z9j09795bpnypz0411s1p35bhh0p7-guile-zlib-0.1.0.drv
/gnu/store/q97dd1mdjphcmj1wsmhy6yxw2hbq932c-git-minimal-2.34.0.drv
/gnu/store/s30v752gjkxzg44x8y65bki954mfwrh6-module-import-compiled.drv
/gnu/store/xfay35qql6xzay6ha1rbzg797rdvj3j2-guile-3.0.7.drv
/gnu/store/xzlndrapwlhglf5p84dlqa3djy2aa017-guile-json-4.5.2.drv
/gnu/store/zngdijr0hvrvcvj2gfd5q9w9zdzcxh48-gnutls-3.7.2.drv

Derivation details

Builder/gnu/store/q7fwd9ri2ad3mgq8qnc1s6iir0qwls0d-guile-3.0.7/bin/guile
Systemarmhf-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