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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2wwx656m1pgabyih6dgbg54fscnmafzk-git-minimal-2.34.0.drv
/gnu/store/aix2bmjzlzhawz24yh561dblhgv8w5cx-gzip-1.10.drv
/gnu/store/f5v8v1gs5ag6ridc2avlpa1v2nq1h36b-module-import-compiled.drv
/gnu/store/i954k7f5nnpg2drdscs8rfya8dpnniam-gnutls-3.7.2.drv
/gnu/store/isgjp0w1lg6gi6m9zg3zzbax9dadfnsr-tar-1.34.drv
/gnu/store/pz9z9j09795bpnypz0411s1p35bhh0p7-guile-zlib-0.1.0.drv
/gnu/store/xfay35qql6xzay6ha1rbzg797rdvj3j2-guile-3.0.7.drv
/gnu/store/xzlndrapwlhglf5p84dlqa3djy2aa017-guile-json-4.5.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