/gnu/store/n6abs38m5yaczcdp1kdd54kls4nz4k1v-proof-general-4.4-1.1b1083e-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/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/hglia13rlr46nrcd87gbwv9vd17s9h6r-git-minimal-2.36.0.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/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout