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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/5p8v6s9917cva785fm9s7pnd124fnghm-git-minimal-2.34.0.drv
/gnu/store/6xhzjk4n6ihywyxl5w1dai5wn9qmgqdm-guile-zlib-0.1.0.drv
/gnu/store/8pcngw4mfn879mal8vsjcm81hihzmand-module-import-compiled.drv
/gnu/store/ad9xd4yjd01m03782gzg6lj9r22jcbq2-gnutls-3.7.2.drv
/gnu/store/dq7k0ysivb88hyxc1f4wqxl6mwjljl7i-guile-json-4.5.2.drv
/gnu/store/driscab854nysfj251rxikk1b2zccj2y-tar-1.34.drv
/gnu/store/i0nfmwkkw4js0nlqrazjdg3iavlp067c-gzip-1.10.drv
/gnu/store/razagbjmh8fwnpyckb1v76a6ndcinc7z-guile-3.0.7.drv

Derivation details

Builder/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-guile-3.0.7/bin/guile
Systemi586-gnu

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