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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/29x9p8kdfj0ac355a670c7vx5zdclrsv-guile-3.0.7.drv
/gnu/store/46lryrg2xxfvjaipgwm94z7bi13k7bvi-git-minimal-2.37.1.drv
/gnu/store/4s4d0szdh5naxb9sla8bavg4nnj5b30v-guile-json-4.7.1.drv
/gnu/store/745ffz36z6kw4nm58jb9gn3yhc9fyacl-module-import-compiled.drv
/gnu/store/9sgfjfjngn5z3375rfclsv0ay205r3z8-tar-1.34.drv
/gnu/store/jdz3lzlcza12yn09sjx8zksvmv65sjx0-guile-zlib-0.1.0.drv
/gnu/store/lw1k289w9b25zk8647j7v52bmppyb84y-gzip-1.10.drv
/gnu/store/xjjwvcc4vnvydj14p2rx42c0ykwfc4f4-gnutls-3.7.2.drv
/gnu/store/yjhsmxirk85nry8krbxbx2mbjgl4mpzn-glibc-utf8-locales-2.33.drv

Derivation details

Builder/gnu/store/m8bfw3z558lfk3h0n5xpsqbv9m6ls2r0-guile-3.0.7/bin/guile
Systemriscv64-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