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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/6li2df1bf9a98g89askn2d4jxfinglwn-git-minimal-2.38.1.drv
/gnu/store/7k8zrl7z9v6h8wzbnhjjdnf8z5qb4z7v-guile-3.0.7.drv
/gnu/store/80ba2f04ksp7y4bv9c4nppbdcd6avwr5-gnutls-3.7.2.drv
/gnu/store/b4dlkhifrn78r16agzii68dvlgphfj5l-guile-zlib-0.1.0.drv
/gnu/store/cvyl4wxw2knvjwx73hchihg281vxr055-module-import-compiled.drv
/gnu/store/nkz17qsnlrsz4a55kj41ngg8canjn3v3-glibc-utf8-locales-2.33.drv
/gnu/store/qngk7qmfa634kq2crsv2wk3ql8n1brx5-guile-json-4.7.1.drv
/gnu/store/qvd833gpyf0ypbaxqwz0rw68h03hjxrf-tar-1.34.drv
/gnu/store/yjcp150bv0j0b8qvycjn4hpwnsxqxigh-gzip-1.10.drv

Derivation details

Builder/gnu/store/kg7p91hcj6k8dap0im3s1wnx9vfmrjda-guile-3.0.7/bin/guile
Systemi586-gnu

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