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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/21gprangk9dscaj1rhav3j0i794jpmif-glibc-utf8-locales-2.33.drv
/gnu/store/3181j9k9rmcg3k7149p84rcavaz5nxwl-guile-3.0.7.drv
/gnu/store/8mpnx2xpxz6q0if8k227w17s5wxz81yh-guile-json-4.7.1.drv
/gnu/store/9k24y0153s89h0dcpy261mp47afsl83j-gnutls-3.7.2.drv
/gnu/store/ff9apjarnbafhrjgbngb38699gmz9kgw-gzip-1.10.drv
/gnu/store/j9bgywqjrz8vls9asshii4y7x7j9wr6w-module-import-compiled.drv
/gnu/store/kpclnd55j5h27jmbs15i71qxjwi6nacn-git-minimal-2.38.1.drv
/gnu/store/x5bw2q4gcpq4kn45pnmf8ww095c9vr33-guile-zlib-0.1.0.drv
/gnu/store/zl5ivw6qfxpj8anhs6fgsnhlfghv34qm-tar-1.34.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