/gnu/store/mggf767myg17a895kcr4nmqviqgafm8c-coq-8.13.2.drv

Derive(
[
Outputs
],[
Inputs
("/gnu/store/0jcysgmp1hyv669pjnjv38nmzmcgspfh-make-4.3.drv","["out"]),
("/gnu/store/0zbqr60a8rkrysjxdfjpznx064614mx7-linux-libre-headers-5.4.20.drv","["out"]),
("/gnu/store/1m12cnv5rvj1w5zlwmh2d7sjf0q93i7y-bzip2-1.0.8.drv","["out"]),
("/gnu/store/1y7g8qjk86gys51abfbiijcciawm5bxz-which-2.21.drv","["out"]),
("/gnu/store/2fndv04azvy6fq6n312664x19cr467ic-coq-8.13.2-checkout.drv","["out"]),
("/gnu/store/3isqv2bgrcagb10f2fnfngblxajssqaq-file-5.38.drv","["out"]),
("/gnu/store/41xs429kkf8dbwz5bnhli0ii1vmlk9n4-glibc-utf8-locales-2.31.drv","["out"]),
("/gnu/store/5df5cgy3cka3jqz3fzajh0k84pc1kh1g-dune-configurator-2.8.5.drv","["out"]),
("/gnu/store/8m16p3n177wr5iwmiq14s6khzlxwsj86-ld-wrapper-0.drv","["out"]),
("/gnu/store/a53snc07q8hfz535ifcccy8lll7pak86-glibc-2.31.drv","["out","static"]),
("/gnu/store/ay8q2wjbkdrx7jp7nz5a7w1zsfpmjgqn-dune-2.8.5.drv","["out"]),
("/gnu/store/b0xni0bnnfqxzcc9hss3dnxp07zf8qrd-gcc-7.5.0.drv","["out"]),
("/gnu/store/b2qfd4hdc0aq66cs2js45bbwxvrfb7za-gzip-1.10.drv","["out"]),
("/gnu/store/cdd0nnfipwxixq1f0fmnws7xf0s3d21j-findutils-4.7.0.drv","["out"]),
("/gnu/store/fl3gnq927brrpd1hk1hn6c4nwykx1nzx-binutils-2.34.drv","["out"]),
("/gnu/store/fvzhsdpri9v99hn6lc0j7ki2fycklmq0-bash-minimal-5.0.16.drv","["out"]),
("/gnu/store/h8r7sahj53a3phw9jjlzg01bjyllaa31-tar-1.32.drv","["out"]),
("/gnu/store/hxjaklrqwh57zfwhynh7km30i6dsmjly-grep-3.4.drv","["out"]),
("/gnu/store/jb6y6yb8mc94my7lz5q1jmsxxmmrd0g1-ocaml-4.11.1.drv","["out"]),
("/gnu/store/jd43lkfnwvkxgcbiiwx27laxmq232ra6-gawk-5.0.1.drv","["out"]),
("/gnu/store/lz39pcsv0mibnz7lfms7712mdx8csqcl-ocaml-result-1.5.drv","["out"]),
("/gnu/store/msd2bqrn0sm758in3hckihyagrbrrxsp-patch-2.7.6.drv","["out"]),
("/gnu/store/q2jsmfx8s8zqjg8ckcww806a2yamqc7j-guile-3.0.2.drv","["out"]),
("/gnu/store/qzkida8mg2lxgz2f58v4wfwfvgim0f2g-module-import-compiled.drv","["out"]),
("/gnu/store/rgi8i883r09r8vd9wdzd6s3dfhdnp932-xz-5.2.4.drv","["out"]),
("/gnu/store/rp8irkgsga5zrqiqsrbx6rw8vrig3kbp-ocaml-csexp-1.3.2.drv","["out"]),
("/gnu/store/vs7n3ysg9v9svymqxvfav35x3qmr7bbv-diffutils-3.7.drv","["out"]),
("/gnu/store/wbkmw6kndygdjav5z4znc4hr24ihci3w-sed-4.8.drv","["out"]),
("/gnu/store/xlljr7964s8lcq14armc9h56avdpm0zy-ocaml-findlib-1.8.1.drv","["out"]),
("/gnu/store/ymzzn5b42wh0znl4dvw24m1a09df8bph-coreutils-8.32.drv","["out"]),
("/gnu/store/ys673kiv05wayrhh94hz2z7fhhzr1b8g-ocaml-zarith-1.12.drv","["out"]),
("/gnu/store/z1zbfwr7xqp8vka53wmx63xj0pch0p8m-gmp-6.2.0.drv","["out"])
],[
Sources
],
System
"i686-linux",
Builder
[
Arguments
],[
Environment variables
)