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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0bjirv1hg7c0i1fg1pin1706n1rvr9hv-gzip-1.9.drv
/gnu/store/752c59730xsb8m5c27hifwpm38w00xwy-git-minimal-2.23.0.drv
/gnu/store/ha8382w4msvkvfpx3im1ks1s1paj6520-module-import-compiled.drv
/gnu/store/im50ccvcfak4fkdhjz7xbxxhv1ipnj1r-guile-2.2.4.drv
/gnu/store/jmn495555hjcfipn50dv0gxls5jq7w3r-guile-json-3.1.0.drv
/gnu/store/lggwsxbkilaqjydcdvrxyr2y5r334m2z-gnutls-3.6.5.drv
/gnu/store/rplvx2d5lw3xrmwgqawyy8y84bvx6r8k-tar-1.30.drv
/gnu/store/v79pb73j3l27109njxlbzmc2ph74y73z-module-import.drv

Derivation details

Builder/gnu/store/jv6bvbw00qmhjx4asvhjs5w5nwi2y9lg-guile-2.2.4/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