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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-guile-3.0.7.drv
/gnu/store/5243afmkw8v0c6rmbnzcyp0bh2g1n1qz-gnutls-3.7.2.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-glibc-utf8-locales-2.33.drv
/gnu/store/820i4ywbkkc5mp1q1yjcbkv4vfwbclqk-guile-json-4.7.1.drv
/gnu/store/brwidmmblf1has5v56pdi9pizhlbzymc-git-minimal-2.37.0.drv
/gnu/store/ic199aqpzm1zwg6dmjhwhsh1bz9jlb5h-tar-1.34.drv
/gnu/store/k8ijs6q383zlm8acpyxhpxm0qm0xj1dm-gzip-1.10.drv
/gnu/store/m8ijvjif6nnn0mvqq7qq5c30y58gsakf-module-import-compiled.drv
/gnu/store/p2p574qbsphzkx81jc2xc9bl2d2fihsb-guile-zlib-0.1.0.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-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