/gnu/store/255s022jdpl21h0pw33vzal2kjmq7jcw-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0bjirv1hg7c0i1fg1pin1706n1rvr9hv-gzip-1.9.drv
/gnu/store/42si6k3nbzckm2sv1hsk4j2bxdvxx6vd-module-import-compiled.drv
/gnu/store/im50ccvcfak4fkdhjz7xbxxhv1ipnj1r-guile-2.2.4.drv
/gnu/store/jmn495555hjcfipn50dv0gxls5jq7w3r-guile-json-3.1.0.drv
/gnu/store/kcnz127v1fhyg19kk1xy7gyhzfcd50dy-module-import.drv
/gnu/store/lggwsxbkilaqjydcdvrxyr2y5r334m2z-gnutls-3.6.5.drv
/gnu/store/rplvx2d5lw3xrmwgqawyy8y84bvx6r8k-tar-1.30.drv
/gnu/store/ygrbab6qxvpb3v3l34ap4d5v82m6z5ml-git-minimal-2.23.0.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