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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/8cawnvvhdss2ia12s27cicbbizbz77d6-gzip-1.10.drv
/gnu/store/9rhh5wq1n14b6zs1jrjp1p0jpqlk25j0-module-import.drv
/gnu/store/ds9yqiw5cvb2awcfnsqp1ycx62fv1wy1-module-import-compiled.drv
/gnu/store/fc5553cklxcnn6v05n1zjvkbjn40pjrp-guile-json-3.2.0.drv
/gnu/store/gm64sr5x6ypxdsk3gn2bnnbb745b0avk-git-minimal-2.25.0.drv
/gnu/store/rz7cmvdsgf3byapbxxskc6h37aa1blm3-guile-2.2.6.drv
/gnu/store/v3as4n5p3v36z0yvi0a4gpwh9gsfmlx1-tar-1.32.drv
/gnu/store/zlvyjb5aijskn3gm5c3ksmgd2ymr5ddf-gnutls-3.6.11.1.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