/gnu/store/bz7scgz6jk767bka60ra82rr8q3b8m73-
coq-8.13.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0jcysgmp1hyv669pjnjv38nmzmcgspfh-
make-4.3.drv
/gnu/store/0zbqr60a8rkrysjxdfjpznx064614mx7-
linux-libre-headers-5.4.20.drv
/gnu/store/1m12cnv5rvj1w5zlwmh2d7sjf0q93i7y-
bzip2-1.0.8.drv
/gnu/store/1y7g8qjk86gys51abfbiijcciawm5bxz-
which-2.21.drv
/gnu/store/3isqv2bgrcagb10f2fnfngblxajssqaq-
file-5.38.drv
/gnu/store/41xs429kkf8dbwz5bnhli0ii1vmlk9n4-
glibc-utf8-locales-2.31.drv
/gnu/store/5x1zl9801wrs1hy66xkvdgpfcd8shmd1-
ocaml-result-1.5.drv
/gnu/store/6kj1zrgnfv8np1ccjnn6yllhv3mq1kld-
ocaml-csexp-1.3.2.drv
/gnu/store/8m16p3n177wr5iwmiq14s6khzlxwsj86-
ld-wrapper-0.drv
/gnu/store/a53snc07q8hfz535ifcccy8lll7pak86-
glibc-2.31.drv
/gnu/store/b0xni0bnnfqxzcc9hss3dnxp07zf8qrd-
gcc-7.5.0.drv
/gnu/store/b2qfd4hdc0aq66cs2js45bbwxvrfb7za-
gzip-1.10.drv
/gnu/store/cdd0nnfipwxixq1f0fmnws7xf0s3d21j-
findutils-4.7.0.drv
/gnu/store/dqlbaplibw6rgzb47cr2k1444fifbbq5-
coq-8.13.2-checkout.drv
/gnu/store/fl3gnq927brrpd1hk1hn6c4nwykx1nzx-
binutils-2.34.drv
/gnu/store/fvzhsdpri9v99hn6lc0j7ki2fycklmq0-
bash-minimal-5.0.16.drv
/gnu/store/h8r7sahj53a3phw9jjlzg01bjyllaa31-
tar-1.32.drv
/gnu/store/hcxwxlz5p79sj4xg0zb8bh42xwpdbp0d-
dune-2.8.5.drv
/gnu/store/hxjaklrqwh57zfwhynh7km30i6dsmjly-
grep-3.4.drv
/gnu/store/jb6y6yb8mc94my7lz5q1jmsxxmmrd0g1-
ocaml-4.11.1.drv
/gnu/store/jd43lkfnwvkxgcbiiwx27laxmq232ra6-
gawk-5.0.1.drv
/gnu/store/msd2bqrn0sm758in3hckihyagrbrrxsp-
patch-2.7.6.drv
/gnu/store/q2jsmfx8s8zqjg8ckcww806a2yamqc7j-
guile-3.0.2.drv
/gnu/store/qzkida8mg2lxgz2f58v4wfwfvgim0f2g-
module-import-compiled.drv
/gnu/store/rgi8i883r09r8vd9wdzd6s3dfhdnp932-
xz-5.2.4.drv
/gnu/store/rvw1hqs6iyzphzw7xv6d05xic5xw33im-
dune-configurator-2.8.5.drv
/gnu/store/vs7n3ysg9v9svymqxvfav35x3qmr7bbv-
diffutils-3.7.drv
/gnu/store/w56r2r7dydkwjxs3pvfpsbnppmh49lg9-
ocaml-zarith-1.12.drv
/gnu/store/wbkmw6kndygdjav5z4znc4hr24ihci3w-
sed-4.8.drv
/gnu/store/xlljr7964s8lcq14armc9h56avdpm0zy-
ocaml-findlib-1.8.1.drv
/gnu/store/ymzzn5b42wh0znl4dvw24m1a09df8bph-
coreutils-8.32.drv
/gnu/store/z1zbfwr7xqp8vka53wmx63xj0pch0p8m-
gmp-6.2.0.drv
Derivation details
Builder
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-
guile-3.0.2
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/hbav4p8v5jq040pn8ylig7l070z2244r-
coq-8.13.2