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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0ypqhw2jcgr5ydqc9dpl8cmgmyxp76a2-module-import-compiled.drv
/gnu/store/4x7slsfs3bpr5dizpzwvhmyq8df976jz-gzip-1.10.drv
/gnu/store/6rbibj988j90d8gyccvxrqmkfr0l3mk6-git-minimal-2.36.1.drv
/gnu/store/al6y4aswrv1z9ydrlvh7cdw29gvvmc21-guile-zlib-0.1.0.drv
/gnu/store/bvv5bx3pj6s5b6ih10r7l9d18w8rzmkq-guile-3.0.7.drv
/gnu/store/gmvmryrkvih05790hzzb0njj9q5xq4p5-glibc-utf8-locales-2.33.drv
/gnu/store/r5xvdjn1rnwx66j6cl2fnzk73j5iyrhc-guile-json-4.5.2.drv
/gnu/store/ss5b4ydnqm0vq7wzzjvhjnyv0kpm5i5x-gnutls-3.7.2.drv
/gnu/store/v5dd951wq0ds0ing01j0jv01k7cj5ppi-tar-1.34.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