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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1dchqj495yb8hyskjqpps0f79xzv2pd6-module-import-compiled.drv
/gnu/store/5cf4b59963rn8pjfypx14ygv9h1rhndl-guile-json-4.5.2.drv
/gnu/store/6x42mzzwymn3km28qpw7q2i89fl9ksrw-guile-3.0.7.drv
/gnu/store/7flk0bg74l261j76mclzrmcxh7pn56y0-gzip-1.10.drv
/gnu/store/9kcbrkdd88mkwd412vk39i0pgqnvrsww-gnutls-3.7.2.drv
/gnu/store/h817hl80wb20k7mq54yk2i8kskdv5cav-git-minimal-2.36.0.drv
/gnu/store/kxl1c3p8l154fb9cclk13b2rk8wvs4p4-glibc-utf8-locales-2.33.drv
/gnu/store/rlzh2z52sm36h1p36drziifrdz6kvmdb-guile-zlib-0.1.0.drv
/gnu/store/y7hc4xpix0z324mf5qlr08gclqc8hgkc-tar-1.34.drv

Derivation details

Builder/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-guile-3.0.7/bin/guile
Systemaarch64-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