Derive([("out","/gnu/store/hbav4p8v5jq040pn8ylig7l070z2244r-coq-8.13.2","","")],[("/gnu/store/0jcysgmp1hyv669pjnjv38nmzmcgspfh-make-4.3.drv",["out"]),("/gnu/store/0zbqr60a8rkrysjxdfjpznx064614mx7-linux-libre-headers-5.4.20.drv",["out"]),("/gnu/store/1jw5r49l1b82mz2hjwd9fj3s0z95z8ra-dune-configurator-2.8.5.drv",["out"]),("/gnu/store/1m12cnv5rvj1w5zlwmh2d7sjf0q93i7y-bzip2-1.0.8.drv",["out"]),("/gnu/store/1y7g8qjk86gys51abfbiijcciawm5bxz-which-2.21.drv",["out"]),("/gnu/store/3isqv2bgrcagb10f2fnfngblxajssqaq-file-5.38.drv",["out"]),("/gnu/store/41xs429kkf8dbwz5bnhli0ii1vmlk9n4-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/7r9ibc2zyybd5h8g24l1b83gxkj5mldm-coq-8.13.2-checkout.drv",["out"]),("/gnu/store/8m16p3n177wr5iwmiq14s6khzlxwsj86-ld-wrapper-0.drv",["out"]),("/gnu/store/a53snc07q8hfz535ifcccy8lll7pak86-glibc-2.31.drv",["out","static"]),("/gnu/store/a57a72bd7gljaa0jyji2n7qa6gfdizs9-ocaml-csexp-1.3.2.drv",["out"]),("/gnu/store/a6ar8034h1b14dac19b5j22pxbni5qvq-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/fjs6rz1v686rj1mdpvc8kv093lnjfgsz-ocaml-result-1.5.drv",["out"]),("/gnu/store/fl3gnq927brrpd1hk1hn6c4nwykx1nzx-binutils-2.34.drv",["out"]),("/gnu/store/fvzhsdpri9v99hn6lc0j7ki2fycklmq0-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/gyssz55d0nscqimnmr94hdf39iq1swa1-ocaml-zarith-1.12.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/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/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/z1zbfwr7xqp8vka53wmx63xj0pch0p8m-gmp-6.2.0.drv",["out"])],["/gnu/store/2dv31868gb8qr65br87gihvchx785awd-coq-8.13.2-guile-builder","/gnu/store/mmxv2kg3difp6z4cm79j3yv2mzrkwqgh-module-import"],"i686-linux","/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/mmxv2kg3difp6z4cm79j3yv2mzrkwqgh-module-import","/gnu/store/2dv31868gb8qr65br87gihvchx785awd-coq-8.13.2-guile-builder"],[("GUILE_LOAD_COMPILED_PATH","/gnu/store/d6wza9pdz32wb1v1mbc74qjdj1036xsp-module-import-compiled"),("out","/gnu/store/hbav4p8v5jq040pn8ylig7l070z2244r-coq-8.13.2")])