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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/5jblwc9l6553lry64ihab026p8hbda8m-gnutls-3.7.2.drv
/gnu/store/6prl045zrhd1dy2i1hbjgkg6wvzy163v-glibc-utf8-locales-2.33.drv
/gnu/store/7dkhhlxz9fpn15l6xbcjqnmg1j8vs96g-guile-3.0.7.drv
/gnu/store/dmnrb3iv5nr9p7qli2hbk3fzbz0ygr6g-module-import-compiled.drv
/gnu/store/jnzgkh041n9h8jzkyignswslm93ma133-guile-json-4.5.2.drv
/gnu/store/ksdadad2bz254f4idhwfcz8v0ls7zhl7-gzip-1.10.drv
/gnu/store/pzfrmnrrbzz4np0qhsjza0d5ipq8hb92-guile-zlib-0.1.0.drv
/gnu/store/s6wykq34pmxqxy333ckzbr7a9fn8pi48-tar-1.34.drv
/gnu/store/xjn98v6lqzqm5f85fq09mh5626ngaqdz-git-minimal-2.36.0.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