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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0065xp7yyi5f2gi4d5gn7wsgi5dsihs5-gnutls-3.7.2.drv
/gnu/store/0d7q272kph6m1haxsrz3w6hg5b86f2m8-guile-3.0.7.drv
/gnu/store/6dpi84jfssjx9152fdf7yaya5c1vsicb-tar-1.34.drv
/gnu/store/6i64bsrxjcp9cav2fi5dd2xz8zjkxp4c-gzip-1.10.drv
/gnu/store/6vgqd7k2501nf2bqarci5ir9a1vwf0by-git-minimal-2.34.0.drv
/gnu/store/9nf8pijzjgcghnnrmb7p01gdp5bnbrwq-guile-zlib-0.1.0.drv
/gnu/store/gnv107zy1jzx1j6yfz8l9i4r10p9hvm3-guile-json-4.5.2.drv
/gnu/store/wm5lbxi0yrwfvbszfd1l4wmvzwcrc8qi-module-import-compiled.drv

Derivation details

Builder/gnu/store/jqkrcmslxq8azqlnq1dcm49i6m5fx2dd-guile-3.0.7/bin/guile
Systemi686-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