/gnu/store/4cxjsn3ksgbfw00lsc8nsmr2d465r340-coq-core-8.14.1.drv

Derive(
[
Outputs
],[
Inputs
("/gnu/store/0amsfhryksi3jbmxy745h3g0xnrfcnzw-xz-5.2.5.drv","["out"]),
("/gnu/store/0bpkgfiqsaza4vpcrsb3dgx85lpds2c0-tar-1.34.drv","["out"]),
("/gnu/store/2i9x8jqi8wfknn7vk6fzzyjplg7q0rah-dune-2.9.1.drv","["out"]),
("/gnu/store/2y5b4dh0l39ihikkcq1fsxyzjpafi286-sed-4.8.drv","["out"]),
("/gnu/store/3jrsias8r2cmh1fy992kx1qnb26xhh9f-file-5.39.drv","["out"]),
("/gnu/store/5mbrym5imd3jg1rp60jip5jvhnl16x0w-gcc-10.3.0.drv","["out"]),
("/gnu/store/645sw33mg3ih8g3vbbvy9a1swbnliyac-dune-configurator-2.9.1.drv","["out"]),
("/gnu/store/7j5s2vymxsbi0d4rv0jh8vsxnvd07795-bzip2-1.0.8.drv","["out"]),
("/gnu/store/84c3yihm0x12fhmh280b14y3bmyx7pdw-gmp-6.2.1.drv","["out"]),
("/gnu/store/8yxscr8mj8k21lwgwdimwna543cr69dq-glibc-utf8-locales-2.33.drv","["out"]),
("/gnu/store/a2grj4gr4cyb89xkf14hd8gq3l83vqx4-ocaml-seq-0.1.drv","["out"]),
("/gnu/store/ai35mji2gbb07dx178lzb2qkn77ll3nj-module-import-compiled.drv","["out"]),
("/gnu/store/bd47lfvzcvjz6m70y5c1x1c2g2xs32xf-ocaml-csexp-1.5.1.drv","["out"]),
("/gnu/store/c5gls9ahm1krjxs37drd6cp8gp462x35-ocaml-mmap-1.1.0.drv","["out"]),
("/gnu/store/d215ri3v178bmdq6qv0piqd2n1yz4wxy-gawk-5.1.0.drv","["out"]),
("/gnu/store/dfkf9asg2ajcqjiz0d6wydw14higbvzp-binutils-2.37.drv","["out"]),
("/gnu/store/dkbbnyqx86l36ihxzxnjc3r3p9p818j3-coreutils-8.32.drv","["out"]),
("/gnu/store/f27nx1sx0fi0hflmw6dhg2mhrvgxybhj-libev-4.33.drv","["out"]),
("/gnu/store/h4fc7kc4h7c6q38w4vpi4m8vv7f3a1j2-ocaml-4.13.1.drv","["out"]),
("/gnu/store/ipxabq2vmyw96hlg47hyrj7wwrwm9n6w-coq-core-8.14.1-checkout.drv","["out"]),
("/gnu/store/ixjsiz7hf88gj6zbj6bxacjyg40i13l9-ocaml-zarith-1.12.drv","["out"]),
("/gnu/store/iz69ry49dcyyc1m665l92rhdfnwsfcqv-ocaml-findlib-1.9.1.drv","["out"]),
("/gnu/store/jpw6wi9yw233fkqd5d79zr1ayi7q3q5b-ocaml-stdlib-shims-0.3.0.drv","["out"]),
("/gnu/store/jy6757b5w7w9klp8j2b7b2l9msx9dxlz-patch-2.7.6.drv","["out"]),
("/gnu/store/kkjkdva4fx550hhdr98v9mnn9wf1aa9h-glibc-2.33.drv","["out","static"]),
("/gnu/store/l6ffxxdv4llbz2bwd60dha66klraqr64-ocaml-ounit2-2.2.4.drv","["out"]),
("/gnu/store/lrs5jckrf3a4dvxh45xcrcz93kz8mnc5-ld-wrapper-0.drv","["out"]),
("/gnu/store/mjh95hyff9nf72rx8q2pxg9iv4xzvpr2-bash-minimal-5.1.8.drv","["out"]),
("/gnu/store/mnki0ncwzm76c2l0yqkgwrdxim1hhn0d-linux-libre-headers-5.10.35.drv","["out"]),
("/gnu/store/mrafakpbng271na8hx8hxlab5rr2ydqz-grep-3.6.drv","["out"]),
("/gnu/store/pxlvc3kdpzy3pry8gban7r4wkygg7zgk-which-2.21.drv","["out"]),
("/gnu/store/qm2dyy938rcwzynpqfn6ayy84c2bz6l6-make-4.3.drv","["out"]),
("/gnu/store/rb6w3hf82vk1b8r579zkm1xqs2nfkfbq-ocaml-lwt-5.4.2.drv","["out"]),
("/gnu/store/rdcd8pc6jj5jvv73ga1z881whf0py1wr-guile-3.0.7.drv","["out"]),
("/gnu/store/v5s34whbm7jq89jzazl9hym86vkgg770-diffutils-3.8.drv","["out"]),
("/gnu/store/vkzdi0q72v6ns9rxwpr51ba97a7j8a5b-ocaml-result-1.5.drv","["out"]),
("/gnu/store/vmw48ny7dspxljf5hpagmd8jg5gpn4rg-findutils-4.8.0.drv","["out"]),
("/gnu/store/xijfq2nhiap30il2k4krxjfbvzh9d3wi-gzip-1.10.drv","["out"]),
("/gnu/store/zrj88458k66h476hkd5va9wvmx02zqi0-ocaml-ocplib-endian-1.2.drv","["out"])
],[
Sources
],
System
"powerpc64le-linux",
Builder
[
Arguments
],[
Environment variables
)