/gnu/store/j65af63v05rhma426lrfg05p7rpabjb4-coq-core-8.15.2.drv

Inputs

File name
/gnu/store/0rnvv677sp6v0kdr2yv91bb6yfppyka5-ocaml-lwt-5.6.1.drv
/gnu/store/1ccpwzjnpqbqkkkax0g879mbx76cflsz-ocaml-findlib-1.9.3.drv
/gnu/store/27d39cpn3r7psbgnzxrfdgsvlhbxnxak-ocaml-result-1.5.drv
/gnu/store/3iv0z1g4qlnvyf8l400sxfsr1yp6iln5-linux-libre-headers-5.10.35.drv
/gnu/store/3z30xq2m41vqsj1rdd29j09fb3l18kam-ocaml-bigarray-compat-1.1.0.drv
/gnu/store/5c6w3x8l9n7zz38x6vak263q1h76xs3f-diffutils-3.8.drv
/gnu/store/6x42mzzwymn3km28qpw7q2i89fl9ksrw-guile-3.0.7.drv
/gnu/store/7iqy93cbng1phx6a759krhpml066jf1v-which-2.21.drv
/gnu/store/85qa5lh8a87q169aa5kzwd3f6smw39n8-gawk-5.1.0.drv
/gnu/store/90ssaq9za36274hls60mlkgwqnnfy5zb-file-5.39.drv
/gnu/store/96dcwvzhkysh49pplrpjwicc47csyqd7-ocaml-ounit2-2.2.6.drv
/gnu/store/9q939364zbh7cd1xs6lzrxwar8h45qic-tar-1.34.drv
/gnu/store/bb7ncgx54b18bws3582d0kidrf9ihggc-binutils-2.37.drv
/gnu/store/bys066562n5v0myrrbczk7pgp67wcvkh-findutils-4.8.0.drv
/gnu/store/dr1ba5i24xfxys24k6arb3nyqyjky539-bzip2-1.0.8.drv
/gnu/store/f6dvz2nixc1cljgr9mkv545pj8ybfqwx-ocaml-csexp-1.5.1.drv
/gnu/store/f97wlhizn7shjhhylw2233kavi2vjba1-libev-4.33.drv
/gnu/store/gskfz90imlyq2a1qb1fgp0j7sqazrd1j-bash-minimal-5.1.8.drv
/gnu/store/h5y4q14g5zx45igj6qqrhk9i9i693ay4-ocaml-seq-0.1.drv
/gnu/store/hirn9525ws8j3b2bn57nl5q4l2v2hq0i-dune-3.3.1.drv
/gnu/store/ipcy5pqlwqsl9ql15bprwfp89mcpwxzv-ocaml-ocplib-endian-1.2.drv
/gnu/store/kfijfhckm6r12savn4rx9a5cnk6qbp0s-sed-4.8.drv
/gnu/store/kxl1c3p8l154fb9cclk13b2rk8wvs4p4-glibc-utf8-locales-2.33.drv
/gnu/store/ld8xih26fjdxi234xg8qja79skb54wph-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/lfy51maw3apvygqapfrman5y5rzhphm9-dune-configurator-3.3.1.drv
/gnu/store/liwka6m00hqrjn3qfv9a7s6g3xq9i5k4-coq-core-8.15.2-checkout.drv
/gnu/store/m8wpmqk1x1wvn46qm1n1ma9xm47r5z34-gmp-6.2.1.drv
/gnu/store/mra5jpnll2hxfxpbrah1bwyhdbcq35pw-glibc-2.33.drv
/gnu/store/n5crviqxdljm1kab4pw0cd5vnz979a16-coreutils-8.32.drv
/gnu/store/s9h5cjlhpi75bplkqbymajsaa14xg8rd-grep-3.6.drv
/gnu/store/sahpdgvis1yll4254icw9s9cz4c6ym0w-ld-wrapper-0.drv
/gnu/store/v0rnzcrk3rrh9zb0p1qaj10w8k43lwyn-make-4.3.drv
/gnu/store/wczl22r0raaw76qf399sakwzv4p8xvwq-module-import-compiled.drv
/gnu/store/x03y0xadmfpa8f6s2sn84g2vxmzhnx4n-ocaml-mmap-1.2.0.drv
/gnu/store/x6a9lmgnrj6cxgk0d8kbmrk1d83zwnx0-patch-2.7.6.drv
/gnu/store/xc0dq7sz960riivbj1k7kb3ny4cv83xk-ocaml-4.14.0.drv
/gnu/store/yd9431s50wgd910lpa5mw84x82fkcafi-gcc-10.3.0.drv
/gnu/store/yjx32slnf8c0i4qaky84jnbd2s7kpysf-xz-5.2.5.drv
/gnu/store/z7b5hmprj5nzhai62qkbzf3wqbqkk0yb-gzip-1.10.drv
/gnu/store/zy9nqkdbkd4521150c51w9x722fjh47y-ocaml-zarith-1.12.drv

Derivation details

Builder/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-guile-3.0.7/bin/guile
Systemaarch64-linux

Build status

Unknown