/gnu/store/gx2cllc1i4x103brsyaqpi9703s73r1a-coq-core-8.14.1.drv

Inputs

File name
/gnu/store/0bdi40qis18djygfkn4jqzb7s3l0s255-bzip2-1.0.8.drv
/gnu/store/1v98c32g11fq3pr6y9np9mxcpypxf52z-dune-2.9.1.drv
/gnu/store/24s8nqjsjjwsncbj8g187ar3zimi3w0k-file-5.39.drv
/gnu/store/2lryccb72vc5i372cw5xwjnjcv0132ay-module-import-compiled.drv
/gnu/store/53j2fr5c24xjhkp4zkrij45c79bmlpaf-make-4.3.drv
/gnu/store/64w7lfnc27fsh0qvbj76jhr0ihcxgqbd-dune-configurator-2.9.1.drv
/gnu/store/6s13q1b7hwi2wf4x7naicl5g64280j9p-glibc-2.33.drv
/gnu/store/7fnnz0sgy5xphdfmw20212zphvcjmmbh-ocaml-csexp-1.5.1.drv
/gnu/store/7h185n0iv0gd3l0x7w6ixfij2x0a78jf-ocaml-mmap-1.1.0.drv
/gnu/store/7jyc5wq3khgl49m1bv11fq0j0y565hhr-ocaml-result-1.5.drv
/gnu/store/9qx5ksnhsgj5j63gl3wzsvqs5xaizgjn-glibc-utf8-locales-2.33.drv
/gnu/store/dq5i5gvml9zsh41g49vzr6043mnrzmir-sed-4.8.drv
/gnu/store/f9ygbq59kbmqfg6hl9klks4hidwidxjy-diffutils-3.8.drv
/gnu/store/fngw5sn48gs080h4h8yj9z8966a5grvm-gmp-6.2.1.drv
/gnu/store/g6vg7l03vhsgvbl0m089x0shsqsq7cv0-gawk-5.1.0.drv
/gnu/store/gasyd6w0vinfqqq068937k6gy9gvrma8-ocaml-ounit2-2.2.4.drv
/gnu/store/gigpq1z2axpd59r5yrhr72c3v3myiz0f-guile-3.0.7.drv
/gnu/store/i99nd4ya7aqj0cq0f1q9d91s12lb620s-libev-4.33.drv
/gnu/store/im437hpk4zw1bgasq75vwsqy2z74affl-binutils-2.37.drv
/gnu/store/ipxs8y5bmg7ghdr7hm95kv6xbc17ims2-xz-5.2.5.drv
/gnu/store/jqfqwprsk0z9193a41h8zr2jg2j6vg8k-which-2.21.drv
/gnu/store/jskqc47l331p2mk29b076prbbiqz5j9h-findutils-4.8.0.drv
/gnu/store/kd2n656fnxflr7iqr1y1v80n4ar9k5w5-bash-minimal-5.1.8.drv
/gnu/store/l3z3syjxs45f12yii1bb5jr08s092sbf-ocaml-ocplib-endian-1.2.drv
/gnu/store/ldggxg5w2wic8x5d64xqin5z4wsvzpf8-linux-libre-headers-5.10.35.drv
/gnu/store/m3w1g03sp242d3xps7nxw772xpk80r32-patch-2.7.6.drv
/gnu/store/n53gdjvkvh4w4bb6zbmsy4h3a6zl7mvd-coq-core-8.14.1-checkout.drv
/gnu/store/pkj378sl73rrxcm99z67nj88pxfa6v9y-gcc-10.3.0.drv
/gnu/store/qncff7ks4n4z366pw4fw34ykq7rrf14w-gzip-1.10.drv
/gnu/store/r268381b6bfliqxiyj9sqzj2qpha58b2-ocaml-4.11.1.drv
/gnu/store/rbmx6b6f42cyjj7q6f5209x6fv7zcqpd-tar-1.34.drv
/gnu/store/v6fwx6j2vdqjc1kvvzfipzc93zfjisiv-coreutils-8.32.drv
/gnu/store/vlcpazwbyswlza37fd9z5hi5gq4s59df-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/vq7n4qq8y3lx0j2az5lqgwfm18m7awyy-ld-wrapper-0.drv
/gnu/store/vrzs261m3z27khcxhwz25mdfwykn0q3c-ocaml-findlib-1.9.1.drv
/gnu/store/w9q5ssapyaz4yb168a0x2ic88giqx092-ocaml-seq-0.1.drv
/gnu/store/wq73dhji4jqyalkvak3w5fwvjayqfqa8-grep-3.6.drv
/gnu/store/xpf6vdvn92piq6hvqwcs9zvqdb0v9fqk-ocaml-lwt-5.4.2.drv
/gnu/store/zds15pnlpi0x3qgg30r1d4favikvk7r1-ocaml-zarith-1.12.drv

Derivation details

Builder/gnu/store/8wn5hc06b064gsmd51p8a7fm20zvdlpp-guile-3.0.7/bin/guile
Systemmips64el-linux

Build status

Unknown