/gnu/store/z388qab2y92pl31qg6jry5iqf6lfrwwg-proof-general-4.4-1.1b1083e-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1a5wrgqppz2zj71r318vm31fy46q19xl-git-minimal-2.37.1.drv
/gnu/store/508w4hbsva6303gmir421w511imvnf10-tar-1.34.drv
/gnu/store/9q58kj0yzrkzhhj60bwkckzf9d4m2dnk-guile-json-4.7.1.drv
/gnu/store/csl9j8bmm1gyn7vpzzn3z4g2k6d6qh0z-glibc-utf8-locales-2.33.drv
/gnu/store/f7zzb6nw9m49sb5slpw7kvh19ykwczkv-gzip-1.10.drv
/gnu/store/i3jhxmmasyarqpf6g1d3hmsfmvadrfdm-guile-zlib-0.1.0.drv
/gnu/store/ifhdpi41m7aw3l1nnk62ilhzicgb8m2n-module-import-compiled.drv
/gnu/store/nxlhlkjqs233kncnrg2hd7zwphbwk0ri-guile-3.0.7.drv
/gnu/store/pmrnna07dzips9qm0mbzgqh5sy952l77-gnutls-3.7.2.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