/gnu/store/11nppnfvdhxmwbzzmmnaqqgxwpks8d53-
coq-8.17.1.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1bpp2nrcrp3bnm0n44nz5nnjr652abga-
module-import-compiled.drv
/gnu/store/311mh01j7g6s47s12lw5k2b5lcrabpq0-
coreutils-9.1.drv
/gnu/store/3z71dbac78102dslwdms53xy8zws242n-
ocaml-ounit2-2.2.6.drv
/gnu/store/7q1vvdl9d4055grsxxz25gpagjpsxvwp-
ld-wrapper-0.drv
/gnu/store/aicp6gi3jgc5x8xhnr3d83n9r3hz88zn-
binutils-2.38.drv
/gnu/store/b0iixdpg9d7kk1wfs52y7q4c5zryw5x9-
ocaml-ocplib-endian-1.2.drv
/gnu/store/bcbawhw84k5qxa2yjgd1k02q6g1xqr9z-
bzip2-1.0.8.drv
/gnu/store/c1ji8i7zr8zhm7ni4b08w0brkk5s0d8m-
gawk-5.2.1.drv
/gnu/store/cgasqnlgwr2cbqarw3929jkxpf5ps5a1-
ocaml-seq-0.1.drv
/gnu/store/cj9c13nhpxyz816vkmw5rj4lhlhlpid7-
dune-configurator-3.11.0.drv
/gnu/store/cx0qcm6hn5hn11d3m9lqckcj0szfmj7c-
dune-3.11.0.drv
/gnu/store/d4ngyw4qyngdpkqvwa6lm7c8w72v1fwg-
ocaml-mmap-1.2.0.drv
/gnu/store/dk22d36y5j6sjz422skbjcz14y4pqpkp-
guile-3.0.9.drv
/gnu/store/fq9r58nsrvgbyvp9l4n0gfp3b3s8bidb-
ocaml-csexp-1.5.1.drv
/gnu/store/gkjd1xs338kx3qr3bjjhsvqp7gccahvs-
ocaml-stdlib-shims-0.3.0.drv
/gnu/store/gvancq2hk8i6jqdbzsnprk27whsdmnbk-
ocaml-4.14.1.drv
/gnu/store/gwg9xnks3yvv4w5cshgrvray8jpwly43-
file-5.44.drv
/gnu/store/hsl0vhcq5w8jz7862i1mfpawdw5zmrkb-
patch-2.7.6.drv
/gnu/store/j2755pj2n5fgkpbyzhgxdxsvr7lip4g2-
ocaml-bigarray-compat-1.1.0.drv
/gnu/store/kgrkd61w94llki43nqqpffvflzavksx0-
libev-4.33.drv
/gnu/store/klx96wj9v9dfpcr50p54546dvwwdk9gk-
glibc-2.35.drv
/gnu/store/l68dya99v89f9gqax0ywizg313q15v5l-
tar-1.34.drv
/gnu/store/lqxpyc062q1v12xafi2b7pvhyv6qs26z-
gcc-11.3.0.drv
/gnu/store/lzd7s25zqmlhb75crhkplmqzp5p88049-
ocaml-findlib-1.9.5.drv
/gnu/store/m3ciyhhxpl3y2y2y4i5q8nf0sdhgyl8x-
coq-8.17.1-checkout.drv
/gnu/store/mjb1yk5d4gcq7r5j7xyy9mrqjq65vmik-
sed-4.8.drv
/gnu/store/nbbl7c3b5xm1nxhkcbkrwr6iycqzrff0-
xz-5.2.8.drv
/gnu/store/nh39nrigg0szdnw5vgmn9gv6a984v1iy-
make-4.3.drv
/gnu/store/nzw6mvsd5xr4bsgrcsj7l28w478sbgqg-
linux-libre-headers-5.15.49.drv
/gnu/store/p7hhrwp4vfmx3syp7p4749k3ibzjqiv2-
ocaml-result-1.5.drv
/gnu/store/q6v5g767hpzf54v32g5k5b8aq1mq1vs4-
diffutils-3.8.drv
/gnu/store/r2ry5w385n11mfc7ng2dvnwyq2jib38r-
gmp-6.2.1.drv
/gnu/store/r5f9fxldf04xzi260apf8n2i61vl166m-
gzip-1.12.drv
/gnu/store/sww2v32gbl0g82yk0j76agqxwq9rxab6-
glibc-utf8-locales-2.35.drv
/gnu/store/vbkmpzdyrbpnhwx0n7j4648kx5qdjzf5-
ocaml-zarith-1.12.drv
/gnu/store/viik4gl5h5fg9p07jjndmc38kv8p5af6-
bash-minimal-5.1.16.drv
/gnu/store/ww7sr9k4wvhn7q48y3k0wxajfslkyl0v-
grep-3.8.drv
/gnu/store/x86jcwavy3i5s2wyw8cjhl98nlm030dj-
which-2.21.drv
/gnu/store/xcmakkl4rh06kdyn78lsv3d4l0yi072x-
ocaml-lwt-5.6.1.drv
/gnu/store/yyy4597n6flffqjyxmqay7sv5vdxbr9x-
findutils-4.9.0.drv
Derivation details
Builder
/gnu/store/ily4hys0cpaxxnaaglalrr0v80dr5q8n-
guile-3.0.9
/bin/guile
System
armhf-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/5djin49v59kfxp11carxs5543wvp42sx-
coq-8.17.1