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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3yl5w7sf9shd0hdc8w5lvz485yg27l3a-tar-1.34.drv
/gnu/store/7wj4faayzxgx1s1cpkcxi7zpyp4rbvqc-gzip-1.10.drv
/gnu/store/dznppvgla9x9j8qazsjk9lkph8d06rz8-guile-zlib-0.1.0.drv
/gnu/store/fg5i7kslc1w923qcp8588q9jz3y5bvcx-module-import-compiled.drv
/gnu/store/lxg0kjqml6dpkdx6bldy3l6g2yqmvh6s-git-minimal-2.34.0.drv
/gnu/store/mi9nyd4f4bcbqjsdnxa2p891dsgygnl1-gnutls-3.7.2.drv
/gnu/store/sfaiqj3q6p3b6w5myjnvxda58mqgw5b6-guile-3.0.7.drv
/gnu/store/xs869xp0393zl0hfnii96z8gcfq468j6-guile-json-4.5.2.drv

Derivation details

Builder/gnu/store/dzngf7zg9qx119zr20xp0j7mg5fypwb8-guile-3.0.7/bin/guile
Systempowerpc-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