/gnu/store/dm16kbmici5sg4jyf8vyhqxjzr18d8g7-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/da0vigf2d5w7kv5rc6f60i5rdhyv8yph-gnutls-3.7.2.drv
/gnu/store/dznppvgla9x9j8qazsjk9lkph8d06rz8-guile-zlib-0.1.0.drv
/gnu/store/kkmpcg25fihsgadlw618sj1kmx7b17nb-git-minimal-2.34.0.drv
/gnu/store/sfaiqj3q6p3b6w5myjnvxda58mqgw5b6-guile-3.0.7.drv
/gnu/store/x4q0knzci44cxy699ggvh6jqp3sv3vhl-module-import-compiled.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