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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/27gz6lr46mlf63j52ajm44vh2dgsq56p-tar-1.34.drv
/gnu/store/6d1ya9a8ap708h90ij26n4y0r1yl358m-glibc-utf8-locales-2.33.drv
/gnu/store/7j7im83i60gi9v7b9c9qnf2mhx491aq7-guile-zlib-0.1.0.drv
/gnu/store/7jbyfjma9j9gdr58q91k3himqbmpig6p-guile-json-4.7.1.drv
/gnu/store/9c4k5b5khshrkbxkrp2cxyipamvnn35y-gzip-1.10.drv
/gnu/store/g6vhkrbpyfrlh1w9xd176dvqc5ay71wk-guile-3.0.7.drv
/gnu/store/lnbzfynawj7mycq6vdrmy78y8wanhhxk-module-import-compiled.drv
/gnu/store/r6vlcwgami31q4qqm4sfqizc5b90swm7-git-minimal-2.36.1.drv
/gnu/store/rbnm6pjvlza5gz0q37w2rrq9h0knacw9-gnutls-3.7.2.drv

Derivation details

Builder/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-guile-3.0.7/bin/guile
Systemmips64el-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