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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1yl3brh61cz10d1fvaifb7jggj01mlxj-gnutls-3.7.2.drv
/gnu/store/78ijwv2cg2651npr1kna60zyrnc5jy1i-guile-zlib-0.1.0.drv
/gnu/store/bfavj9pyfb2m48pawyyibx6f4gmjgmmy-tar-1.34.drv
/gnu/store/psv1j490rzfxv6r55qk3ap7rnajgrgmy-guile-3.0.7.drv
/gnu/store/qggpjl9g6ic3cq09qrwkm0dfsdjf7pyr-glibc-utf8-locales-2.33.drv
/gnu/store/vkq16pzz2alki86yd020jxgm4cpxdf7w-module-import-compiled.drv
/gnu/store/wk33374yg6qshcn7d74wiaagblgh1rhq-guile-json-4.7.1.drv
/gnu/store/ymdkgn8qfa46c6pw4l9a7n54krcbhg5x-gzip-1.10.drv
/gnu/store/zrjdy2aqfd9pjcxrhdzaxwfhv5b7drap-git-minimal-2.38.1.drv

Derivation details

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