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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/818p33jcdqggb7634cnswmm507ksrsc7-gzip-1.10.drv
/gnu/store/h906sxxnng3kglw9vy9wwsdmk9z7n6vm-tar-1.32.drv
/gnu/store/k3j3dkvhqkp94xdr549a1i23zfkbf11h-guile-json-4.3.2.drv
/gnu/store/k4g2zy1fb1x0nxac71fm3jwm3c6g7icz-gnutls-3.6.12.drv
/gnu/store/pkw7f6ihxjh5w3y7a4qg874nyc79d5b3-module-import-compiled.drv
/gnu/store/rdpbn8sbp4nriz3rlf67rcblvdzlll4a-guile-3.0.2.drv
/gnu/store/xn6nkqjid7xbf0ksad59vqpa8k2ra2vc-guile-zlib-0.0.1.drv
/gnu/store/ynil2dqrvkq13ls0vmhlgsffi9lz1mj3-git-minimal-2.29.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