/gnu/store/zv0a7rkca9x0nrsyf53d82w8jgiyg7kw-coq-flocq-3.4.2-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/f55x1iiwkl46gipim3g1z7lhijp1i60q-guile-zlib-0.1.0.drv
/gnu/store/fjd0jc8iw33ddr12pjydwrz5l136pfil-gzip-1.10.drv
/gnu/store/lrb04fwbaak2brfxfxr9mlfg6b4gf6sr-module-import-compiled.drv
/gnu/store/pzzgvsy4n9i714grmnscn8a9mfps2ghj-gnutls-3.7.2.drv
/gnu/store/qjzbgd29idqcv8phbwchvbzc5d07420h-tar-1.34.drv
/gnu/store/rdcd8pc6jj5jvv73ga1z881whf0py1wr-guile-3.0.7.drv
/gnu/store/rw4cj4238zf2ps39r066iyzq2rfnfkf6-guile-json-4.5.2.drv
/gnu/store/v8fwfa6jax8p92g3gmjfgcbvrp1agqxd-git-minimal-2.34.0.drv

Derivation details

Builder/gnu/store/51a2z3p12w8h8bwih5zishd0waf4ry1m-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/
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/ifg8kcl50zsxn5yygfvnssnbvj4s2h22-coq-flocq-3.4.2-checkout