/gnu/store/4xmnibzrmnkys4bb1qzx8bvbs5nadss5-coq-core-8.14.0.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/03s6n065ky61cf4v8jp6sh18mh2351vc-coreutils-8.32.drv
/gnu/store/0xmdhd4wwnn8xmx69pdiq050m7zfrlbm-file-5.39.drv
/gnu/store/35llkq1wfv89d71l8s63f5zj8nhb8887-gawk-5.1.0.drv
/gnu/store/3k8pp9k6zr8b09825hiw4rahxf9gqspv-ld-wrapper-0.drv
/gnu/store/4sz5k5x04pw127kb3acwh5av5a68r2md-coq-core-8.14.0-checkout.drv
/gnu/store/54yq91zljxm2cjsbs87c1bl0gzl457yh-gzip-1.10.drv
/gnu/store/884ws8s6dajnf3l814cvxga62pk6679m-module-import-compiled.drv
/gnu/store/8p6k1gj5nnm163x7s1z03jrqrlamk9nw-ocaml-findlib-1.8.1.drv
/gnu/store/bvnb945wqc84kxdnrr605a98n68rkvcn-ocaml-ocplib-endian-1.2.drv
/gnu/store/c7rl3y9605lxdqbx95jj4blfgsqqg5xa-linux-libre-headers-5.10.35.drv
/gnu/store/ch5x2p7p62530c31g0kvn6klhyghadvm-gmp-6.2.1.drv
/gnu/store/ci3pz9f731fvk9y2sm9h68qsk0xzn8mj-gcc-10.3.0.drv
/gnu/store/clqb5z8wac8klv1cv6vaz6jacgqcckx4-bzip2-1.0.8.drv
/gnu/store/cna1jjvhbjl7p64g5l6g1avgp0lbm7qm-diffutils-3.8.drv
/gnu/store/df2zs3w15nrwcvjiik62141k194bvrz3-bash-minimal-5.1.8.drv
/gnu/store/fmwrp0fv0j8hsmb5dfybr8m0sn4d40r4-dune-configurator-2.9.1.drv
/gnu/store/fnqbid3z4njy7rp76zhvmawnsa8q2mx6-libev-4.33.drv
/gnu/store/fpkw40q3m0fijknp7rkz8zc833xj2paj-tar-1.34.drv
/gnu/store/g9hmkzn43rwz06b8bn1pg9r5m5ag9sf6-dune-2.9.1.drv
/gnu/store/hg6pl9zbxb61yg4074h2n840ay7j6fbj-ocaml-stdlib-shims-0.3.0.drv
/gnu/store/kfbc4vmn5n8kmkp7yr0rgrxhapw43848-ocaml-csexp-1.5.1.drv
/gnu/store/l9hsz8jq9r8yc7vd1q5wy70fb2kq627d-findutils-4.8.0.drv
/gnu/store/lr65x04qbw9abx02ivvvpg11306n639d-ocaml-seq-0.1.drv
/gnu/store/m4z6y5kir738p2yyn8xc94r67br1frjj-ocaml-result-1.5.drv
/gnu/store/mh9kr9sygnwkq7rppd983yadlil25a8m-ocaml-lwt-5.4.2.drv
/gnu/store/mzxysnhd58adwb1gki3dihxk1fbdkv57-which-2.21.drv
/gnu/store/n88cy5n1qfs6qs18pxcsrwxx3xnvjmbn-ocaml-zarith-1.12.drv
/gnu/store/nncdqbprlswiknf47ywyhpfnpna91da9-sed-4.8.drv
/gnu/store/p60nasa2nf9h9hfiww04fwf32qsy5qhb-make-4.3.drv
/gnu/store/p8spimpy5x8h3b675vpqvwrdr3cb3i24-grep-3.6.drv
/gnu/store/qqp9a67cwhl6wdpxzyjlq926nm99y4ck-binutils-2.37.drv
/gnu/store/qqqbwry4miiqiqsf4g6lxasby8906zhb-glibc-utf8-locales-2.33.drv
/gnu/store/r92rrf17bfwh9ky5fdxfqf9zg74wv8cc-patch-2.7.6.drv
/gnu/store/sfaiqj3q6p3b6w5myjnvxda58mqgw5b6-guile-3.0.7.drv
/gnu/store/v4j05w5vm1kvbgqqwcsjhd67z0bijg7n-glibc-2.33.drv
/gnu/store/xc2f94j5jgkcyc2s2lavhlb3679vqj4l-ocaml-4.11.1.drv
/gnu/store/xnw4g9skyskd43y7v54niic3j8rximl3-ocaml-mmap-1.1.0.drv
/gnu/store/xr40sljg0zscq9i3kdpxxajd4plnkxf5-ocaml-ounit2-2.2.4.drv
/gnu/store/xwwhbg30xbq5212ir8rzspwdlc3yfr49-xz-5.2.5.drv

Derivation details

Builder/gnu/store/dzngf7zg9qx119zr20xp0j7mg5fypwb8-guile-3.0.7/bin/guile
Systempowerpc-linux

Build status

Unknown

Outputs

File name
/gnu/store/nqpja99xy9i3ix12y2ck7svyjpsvkvk8-coq-core-8.14.0