/gnu/store/8y1f118blk7c2z9djs5gaiaf14f7s0i2-coq-core-8.15.2.drv

Inputs

File name
/gnu/store/01mqx581dqhw947rzj2x83cb4c3aafq6-bash-minimal-5.1.8.drv
/gnu/store/0i34znhwb9j19f65lyd302cqzma5bywp-gcc-10.3.0.drv
/gnu/store/0vmqb9mba28dsj2dylqi7bliqyg7a336-make-4.3.drv
/gnu/store/14fzg4dzg62zi2n1iac9rx3x71917mav-guile-3.0.7.drv
/gnu/store/2nxgscz5k760yikxj7w6cqncvsg2a4m6-findutils-4.8.0.drv
/gnu/store/2qvrm72in9c3x37wpn1483dqn7djz6y1-module-import-compiled.drv
/gnu/store/39f8n219yxs9f4jxl09z6dhp3qjdlkl1-ocaml-zarith-1.12.drv
/gnu/store/55qmvwfdf87s2474gnsd56p2748f0p3g-gzip-1.10.drv
/gnu/store/5n99jcf2db5ql1adwf5hp4nhbi49j126-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/66vzg3j8aw5zqjaal86jgz5l8ckg31gy-dune-3.3.1.drv
/gnu/store/76ncc0xr7khrmmhisi2a16bqx2ppvkk2-sed-4.8.drv
/gnu/store/7i72a65x74mi0krihyjril5qgzi3bwri-tar-1.34.drv
/gnu/store/7sy2q025w6s9yjz8yphk0xvcynjfjdkd-glibc-utf8-locales-2.33.drv
/gnu/store/8dj36655cnn3lz231h0dgnzsdqn5c6fp-ocaml-ounit2-2.2.6.drv
/gnu/store/9dx8npmyjxgyhw47afxx85xkqk2pnxhj-ocaml-csexp-1.5.1.drv
/gnu/store/9k09qj5mkaazpffqmjcrav1xxr8zyccm-bzip2-1.0.8.drv
/gnu/store/9m0hqp4pw11sfk636m5if5klgj72f7l0-gmp-6.2.1.drv
/gnu/store/9qadkkfngcwgcsmdp238dg88w9ln2kcp-glibc-2.33.drv
/gnu/store/akimp17vvv14q9bisb6bhwjgpm6z1p5c-ocaml-4.14.0.drv
/gnu/store/b5cbj1apwjxx2c1zlf8wg41igrhgmbi7-xz-5.2.5.drv
/gnu/store/bbp02yxb3jvmvn8nyb7c0xvy3m5d4b3r-ocaml-seq-0.1.drv
/gnu/store/fg5yhksrnqb53qqn0y62wvigi21kjy2a-coq-core-8.15.2-checkout.drv
/gnu/store/fyarvlvf3h67xskmpcgw9ghbi59vzf20-grep-3.6.drv
/gnu/store/grjpabvc1g6m7h4vxk7dcspa9ixdqkah-binutils-2.37.drv
/gnu/store/iw6crm34d170siaz3ky1s3w5r58jcg06-libev-4.33.drv
/gnu/store/ml1drv8szilrymkzicw9s06af8f2554v-gawk-5.1.0.drv
/gnu/store/nyipca5l3qhgi4sa484hh07vxnw9101w-ocaml-findlib-1.9.3.drv
/gnu/store/prd9845sczql0jvplr2vk5mw4dqzbhif-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/qmzzbf2fvfgz0v9s64k4w50pd0ivw7j1-diffutils-3.8.drv
/gnu/store/qv9f6qwd0vsljwcj2x565wlqfb7vxjqp-patch-2.7.6.drv
/gnu/store/rybcy0427nd7pvhp79vd1cs4mv02b0g0-ocaml-result-1.5.drv
/gnu/store/vccycsz0gmxakmsqk32qk492nq1hgf0h-coreutils-8.32.drv
/gnu/store/vk6rjl3kq2inm21v9sx3gi52s07ihq1q-dune-configurator-3.3.1.drv
/gnu/store/vymx4n48dgzh0hmp0isz4yicrh8bqp0a-file-5.39.drv
/gnu/store/wf7aspvmkgmvrsb8x32z3457air5js34-which-2.21.drv
/gnu/store/xgmckfs6gg9sdbbwzlgkna49p2800vbz-ocaml-lwt-5.6.1.drv
/gnu/store/xsiny5v2y64a7npabnrgyh1myvgmz0r1-ld-wrapper-0.drv
/gnu/store/xwh1h1mdzyh87j87msj9didafwx651i1-linux-libre-headers-5.10.35.drv
/gnu/store/y81m04wkw8a4pwjl9zljsv6rzhwr0yjv-ocaml-mmap-1.2.0.drv
/gnu/store/ykhb3v3jcbyhzn76ia73zx6imnmwk9aj-ocaml-ocplib-endian-1.2.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-linux

Build status

Unknown