/gnu/store/lnrxxagpk2zd83msrscakw8syr5z1sr3-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/jjasrpa4dah2wd45gcxrnbax4hmgs1ik-git-minimal-2.37.3.drv
/gnu/store/smk534gfhfc5q7hfnl6kawqd3yxn16g1-tar-1.34.drv
/gnu/store/z8wxn5rv0ispf15dplskbpyaawxma0cr-module-import-compiled.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