/gnu/store/28ilmqxplrchbdsyzv4vdmc3mi9fiaqc-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0xysjbs1g3cd1i67f6firql79y66158a-module-import-compiled.drv
/gnu/store/3xa19ldxqbn2j393g2gjkjc5c1ym2ar3-guile-json-3.5.0.drv
/gnu/store/818p33jcdqggb7634cnswmm507ksrsc7-gzip-1.10.drv
/gnu/store/d8c79cql7q8y7cgckjxgz3m2xwdd10nx-git-minimal-2.28.0.drv
/gnu/store/h906sxxnng3kglw9vy9wwsdmk9z7n6vm-tar-1.32.drv
/gnu/store/k4g2zy1fb1x0nxac71fm3jwm3c6g7icz-gnutls-3.6.12.drv
/gnu/store/ncz073s4h3iqd5b1vdc62xj3522kbwqc-module-import.drv
/gnu/store/rdpbn8sbp4nriz3rlf67rcblvdzlll4a-guile-3.0.2.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