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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/01hv94v37hhbvzw0y0hm7f7cwsfjiyn1-tar-1.32.drv
/gnu/store/0w2sl7fg92hzjcix97ryvzmnb1qscwkz-gnutls-3.6.9.drv
/gnu/store/clgbamxsj9ayhs6l1hpvkk3yl648rh2l-module-import-compiled.drv
/gnu/store/gg6bnqwr1k607ifpiz89g99nxznw9254-guile-2.2.6.drv
/gnu/store/h8afy3hk442xpw19fsh4w4dh29l7xhl2-git-minimal-2.24.1.drv
/gnu/store/v2x33qrj5jp9z2pcn53l05ycq2h6ych2-gzip-1.10.drv
/gnu/store/waar53xlcsa9bwi2n77jbnpvw5yn43wg-guile-json-3.2.0.drv
/gnu/store/zb06c89v1iij6vk938svi3zyq36n2aa8-module-import.drv

Derivation details

Builder/gnu/store/sc7z07gim1iq5zvfz1amdwf2irxrzifg-guile-2.2.6/bin/guile
Systemx86_64-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