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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/6lkmppqvkk8qlqzxwkj3cmydvm747l8w-glibc-utf8-locales-2.33.drv
/gnu/store/bavlqkcfiq6v1vbfgvjl6zcffkhjyb6c-guile-json-4.7.1.drv
/gnu/store/cqzv8v6mx3p4ja612xc44jhlrqc8kk3q-guile-3.0.7.drv
/gnu/store/gzshnphgkqp5ycplxw3vnpnlxgmk8jkp-guile-zlib-0.1.0.drv
/gnu/store/hlp4f1pmhgrprc6bhabjnwsnin7n17kd-gzip-1.10.drv
/gnu/store/izizypgngzrmhwisd9z0i9xzqills978-gnutls-3.7.2.drv
/gnu/store/lywsbz764dj3wynkp2h5c583jbv2rzps-git-minimal-2.37.1.drv
/gnu/store/r42nxlxyx6kvrxwzjy5s7dzilb1hnl0v-module-import-compiled.drv
/gnu/store/smk534gfhfc5q7hfnl6kawqd3yxn16g1-tar-1.34.drv

Derivation details

Builder/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-guile-3.0.7/bin/guile
Systempowerpc-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