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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-guile-3.0.7.drv
/gnu/store/20xxvpq9qa0sbl42l1fq4wafnzb4d600-git-minimal-2.36.1.drv
/gnu/store/5243afmkw8v0c6rmbnzcyp0bh2g1n1qz-gnutls-3.7.2.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-glibc-utf8-locales-2.33.drv
/gnu/store/aikvgyzqpz6wfl6zlp6w66zrcv5fnqzk-module-import-compiled.drv
/gnu/store/ic199aqpzm1zwg6dmjhwhsh1bz9jlb5h-tar-1.34.drv
/gnu/store/k8ijs6q383zlm8acpyxhpxm0qm0xj1dm-gzip-1.10.drv
/gnu/store/p2p574qbsphzkx81jc2xc9bl2d2fihsb-guile-zlib-0.1.0.drv
/gnu/store/wh7cl0mxwz0y2pc5ry2y7sg1byi1k8b1-guile-json-4.5.2.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/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