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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/364hrailljy49k7gd13k9rzzb2ia1ibi-gnutls-3.7.2.drv
/gnu/store/5nkcww64h6c2jc4dqb82577w9n4mcysw-glibc-utf8-locales-2.33.drv
/gnu/store/73f7pssbzdijdr425d0jr0mkf4g504lg-guile-3.0.7.drv
/gnu/store/91nbh85f97pm8l5pvmyk229rc4grsq5d-guile-json-4.5.2.drv
/gnu/store/b742cnnwm466bz1zdl5ddk45m55rslpq-guile-zlib-0.1.0.drv
/gnu/store/lrv8vn139ig3jmx7z54p2dq38xv9q4ny-module-import-compiled.drv
/gnu/store/qv89iqd02j9981ikl459p7ify96hiaaj-gzip-1.10.drv
/gnu/store/rg2yb5p4n9h7f0vnn2k9fb5llhsxsgcg-tar-1.34.drv
/gnu/store/xpnrk8hjfh7rvgqfsjwkjrb9cz1ws626-git-minimal-2.36.1.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-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