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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/375hn7dddrc7rl5y1yi4mb4wmi2c6kv1-tar-1.34.drv
/gnu/store/3ngs067qixx92wsf5li767246kx5qcri-gnutls-3.7.2.drv
/gnu/store/5k20iw84477c3i2fjadjvx27flwxv2gg-guile-3.0.7.drv
/gnu/store/gyy2wx5xyxar0gygmjcdwfs5arqjnwi2-guile-zlib-0.1.0.drv
/gnu/store/hxqy76y2xvq8ysd475qa6sznks4q5p41-module-import-compiled.drv
/gnu/store/jpjxwv4cg00k0b10rrx11wwyypg9w9nl-gzip-1.10.drv
/gnu/store/nvghxjfzzkxcqm12w4lid0m9p2464vf6-git-minimal-2.37.3.drv
/gnu/store/plx29l1fmrc1i87p2vcwcsv0xdndhwj2-glibc-utf8-locales-2.33.drv
/gnu/store/y34m6c6ay0p0ragyadarkzslr2sxhvwx-guile-json-4.7.1.drv

Derivation details

Builder/gnu/store/x3c8k0v2mmn0mjg3mh82zb3nmanfvq71-guile-3.0.7/bin/guile
Systempowerpc64le-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