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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3rl19jvpzz006p7igxykriqdrdzc9p08-module-import.drv
/gnu/store/6wyf2nw1kkvm1gzdlg2v6n6w7kw2hm8g-gzip-1.10.drv
/gnu/store/cbakyw6wyylf3s5wf8kpnw7amkcf6qrj-guile-json-3.5.0.drv
/gnu/store/kp7s777008n7q94zcrdphc2rj7bmkm7y-git-minimal-2.27.0.drv
/gnu/store/mkqkisprd0zrdsqfps657435sd6qs0ca-gnutls-3.6.12.drv
/gnu/store/q9hgf88apkbs5p9l4ppjpdfvl6c49npf-module-import-compiled.drv
/gnu/store/qn050w1livc63i4ra0jfnfmv8gy79li4-guile-3.0.2.drv
/gnu/store/sc582204zqi9j6aa7w4jx11g3kvfwcnj-tar-1.32.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/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