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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2chg8kdbsb3wv46ddkk3kbr7nbg70byd-guile-2.2.6.drv
/gnu/store/2vgh5v611vwxla9cbdh4rcmd5kp9dggw-gnutls-3.6.11.1.drv
/gnu/store/6678hhizgglph7wjzzjpl4ggyn11188g-module-import.drv
/gnu/store/kbck9xg2y2lj5s7a8kwx6manfypwxj8s-guile-json-3.2.0.drv
/gnu/store/qzvbi52dgx8nqbcx7ar06pqfg1qqdihy-git-minimal-2.24.1.drv
/gnu/store/sj9i4sfq4xf4qbm4ng5f959b9jlx1y88-module-import-compiled.drv
/gnu/store/wynkipzic0jbv29w8ys86y7y41140xxn-gzip-1.10.drv
/gnu/store/xj96fsxbp4kn9xq735ydwlzdf46npigh-tar-1.32.drv

Derivation details

Builder/gnu/store/gmkk7s5dqvg3ygyd7fw4xla4vs7dd7hl-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