/gnu/store/2bbcmnrh8wz5866lc1h2d0sjwg1yg35h-coq-core-8.14.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/07vpdjmyc6cdhp6bd2jmx1rfqdg5a0a1-ocaml-seq-0.1.drv
/gnu/store/1777rbi45d479jn5xlzk3j52vcj09v8c-xz-5.2.5.drv
/gnu/store/21nn2gv1nrz2pkpyc1n4r2dyv81wnx0i-file-5.39.drv
/gnu/store/4w2gk08ii2275ypshnjyqbnx2bwia44b-gzip-1.10.drv
/gnu/store/4zy702nac1vp1a76awill12w4k0x1w2s-which-2.21.drv
/gnu/store/5dmqs7w0nc2y8q7cwbxk7rc0242h1i1i-dune-configurator-2.9.1.drv
/gnu/store/5nnnyimf3l1r357y36k7kk8bc0sjdgnw-grep-3.6.drv
/gnu/store/7vrzcqdks2n7bklciggbn0l0bgnibl09-libev-4.33.drv
/gnu/store/9akq9n891hdl2jpgzj63likdn9zs782h-ocaml-result-1.5.drv
/gnu/store/bijl74byfwmkpmv1bbl72z30kapmzik8-bash-minimal-5.1.8.drv
/gnu/store/bnwga2jy2akrmi392ynxg6mkw2n9h32w-guile-3.0.7.drv
/gnu/store/bxxcw69x1bdrkkifg6gx2rkrihaws28h-ocaml-mmap-1.1.0.drv
/gnu/store/cwvivkxfigp0pw0y97cbdd3zdp8jw7ra-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/d60s0p73msx74cpa70pvh7ijx55qb42j-sed-4.8.drv
/gnu/store/d69hfg4rfi1dywh7hrc3ay28r7vdkl92-dune-2.9.1.drv
/gnu/store/dxk3kmdicqc6gr3z44qj98jmfszyjmmq-ocaml-csexp-1.5.1.drv
/gnu/store/fazbjjgndl7g3qzlw9c104nqnc5yd2kq-gawk-5.1.0.drv
/gnu/store/gbr48s9ka0ibv9gsw5sgcjjvf8ipl5q2-binutils-2.37.drv
/gnu/store/gcy9fi5kgi0gw5kpzxvc9p5229r66w2c-make-4.3.drv
/gnu/store/h4yi70izmvv61jh0giazadsl1nkyp78g-module-import-compiled.drv
/gnu/store/hjblmzqhbjr5fam5f3r89r3f565xz2r0-coreutils-8.32.drv
/gnu/store/i93c9xj33ga4cpqcgd4n0jh12iaj96l6-ocaml-lwt-5.4.2.drv
/gnu/store/jld8qzmdqq8iac9cfkh9xcgzykb6wrda-ocaml-ocplib-endian-1.2.drv
/gnu/store/k3nanbg7ks25pwz2x4n1n6zcvwvnsv89-diffutils-3.8.drv
/gnu/store/n6cacz6bbzyg5d1gf4xaghfy58gqhyq7-patch-2.7.6.drv
/gnu/store/p90fbg2r92fmmxjb2j44q4s6igpbk8dv-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/q0nsyi1k8chhxy5b2cxiv8r9blvadhlg-glibc-2.33.drv
/gnu/store/qw9f7vk20n8lcb80i0h5xvgj492svfj5-findutils-4.8.0.drv
/gnu/store/rpg11x40cgryirq0fbj1ads4c740j7xm-tar-1.34.drv
/gnu/store/sk6xh301nh5ii348930x10jnwyz3friw-ocaml-ounit2-2.2.4.drv
/gnu/store/v1pfdjywp577480wfkd8zzz6rsza1dv5-gmp-6.2.1.drv
/gnu/store/wfg2csx0p543ldvddgmksyr2q7ykh710-gcc-10.3.0.drv
/gnu/store/xlxqgldvna02zi31a70pxfmpar5674sp-coq-core-8.14.1-checkout.drv
/gnu/store/y8ajjyrk6wvc9jmva6ll3ba41mnqialx-ocaml-findlib-1.9.1.drv
/gnu/store/yins42m3s3lqf896lzbxldlxr20m0d69-ld-wrapper-0.drv
/gnu/store/z0cbhnvachqaspbmk8lwsk274y10hnp1-bzip2-1.0.8.drv
/gnu/store/z2ana7fzcxmijfja6s7bhfnw4lpagdwl-ocaml-4.11.1.drv
/gnu/store/z2pa2hj3d1yavwd4fhamlchqrwzc18c8-glibc-utf8-locales-2.33.drv
/gnu/store/z85cy4g6s4abl1smll5npf9gz7dwrz9z-ocaml-zarith-1.12.drv

Derivation details

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

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/m49mx76wrmisnn6zmqw29631b9sckkhq-coq-core-8.14.1