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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0645i07garp8a73g8ldcp58hjqp33hml-gnutls-3.7.2.drv
/gnu/store/6bzrc2wjhbzd6ixy7982djhij0j483fi-guile-json-4.7.1.drv
/gnu/store/9161x6x6xrpwg6l05ahsx9x4ihs1xkzi-gzip-1.10.drv
/gnu/store/d4h07pmjwma31k7iij0rcpwprrrlz2rd-guile-3.0.7.drv
/gnu/store/db1xbrl2vz190890h3fsyzd245nzr2sk-git-minimal-2.38.1.drv
/gnu/store/ffcxlmaap0rw8hjhl5n28fnz61bb3lvy-glibc-utf8-locales-2.33.drv
/gnu/store/i7v3kg8x7vw4xf9ss36af9gvnsm54zzm-tar-1.34.drv
/gnu/store/kc7qk2msq553j7p6f577pl3bpv5yxad6-module-import-compiled.drv
/gnu/store/px105yq4h0qll9mq55501pr92mrcz617-guile-zlib-0.1.0.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