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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1k9z6fjjl88vwgcgl38mi5lsaf9msb7s-git-minimal-2.34.0.drv
/gnu/store/227d1rdi11h84mdvfgiz99kmrqix28ga-guile-json-4.5.2.drv
/gnu/store/3h25vshlcgs6anpjswh3acz3lvsjkw7w-gzip-1.10.drv
/gnu/store/8f7w0sviwa7lpg1k58kpn2xa69dqs09x-module-import-compiled.drv
/gnu/store/g7rw1bbyis9fm7csgpxyxblvp66l95z0-guile-3.0.7.drv
/gnu/store/gqgpwsd2lgqcvk4i20nb1bnq6p295900-tar-1.34.drv
/gnu/store/rfhiippbh8gs22d06h98gvv8jlfb043x-guile-zlib-0.1.0.drv
/gnu/store/w81dn0gpdhhgni21a9d8abgjcmxn2mch-gnutls-3.7.2.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/
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