/gnu/store/493vp6438py31y6qr0if2ck3p26qj8sm-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/46r1b1p2rrpicmpl5my1ifdczxma7v7f-tar-1.32.drv
/gnu/store/6vi6i37gqwdvp4dznn2kb1m1f4a2rv5b-guile-3.0.2.drv
/gnu/store/anjmbia1bjrzzr1izzjdw0nmmk97inbb-module-import.drv
/gnu/store/d25k73w5qv0gahn4frm34v2zg69346fn-git-minimal-2.28.0.drv
/gnu/store/ikj5bgpgzf5bjz30h4ja1lav5z05m12h-gzip-1.10.drv
/gnu/store/lm88yws3m3bnl9nhgnnfdihidx4ny5rr-guile-json-3.5.0.drv
/gnu/store/rypbdabs0f7cn6hvs1m0l26x86jrdlzr-module-import-compiled.drv
/gnu/store/yrsvhjxpc4g8nvf2b4l33942cz8znpwn-gnutls-3.6.12.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-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