/gnu/store/g3fk7yzvvapdr91rxbjjawiy51s4hycp-coq-ide-8.14.1.drv

Derive(
[
Outputs
],[
Inputs
("/gnu/store/03s6n065ky61cf4v8jp6sh18mh2351vc-coreutils-8.32.drv","["out"]),
("/gnu/store/0xmdhd4wwnn8xmx69pdiq050m7zfrlbm-file-5.39.drv","["out"]),
("/gnu/store/35llkq1wfv89d71l8s63f5zj8nhb8887-gawk-5.1.0.drv","["out"]),
("/gnu/store/3k8pp9k6zr8b09825hiw4rahxf9gqspv-ld-wrapper-0.drv","["out"]),
("/gnu/store/54yq91zljxm2cjsbs87c1bl0gzl457yh-gzip-1.10.drv","["out"]),
("/gnu/store/884ws8s6dajnf3l814cvxga62pk6679m-module-import-compiled.drv","["out"]),
("/gnu/store/blbikgyw9qj5fyjlhy6b4lcx33lv75a7-coq-stdlib-8.14.1.drv","["out"]),
("/gnu/store/c7rl3y9605lxdqbx95jj4blfgsqqg5xa-linux-libre-headers-5.10.35.drv","["out"]),
("/gnu/store/ci3pz9f731fvk9y2sm9h68qsk0xzn8mj-gcc-10.3.0.drv","["out"]),
("/gnu/store/clqb5z8wac8klv1cv6vaz6jacgqcckx4-bzip2-1.0.8.drv","["out"]),
("/gnu/store/cna1jjvhbjl7p64g5l6g1avgp0lbm7qm-diffutils-3.8.drv","["out"]),
("/gnu/store/df2zs3w15nrwcvjiik62141k194bvrz3-bash-minimal-5.1.8.drv","["out"]),
("/gnu/store/f0jsn59xvw8b3gd6svga11l2iiaw2qp3-coq-ide-server-8.14.1.drv","["out"]),
("/gnu/store/fpkw40q3m0fijknp7rkz8zc833xj2paj-tar-1.34.drv","["out"]),
("/gnu/store/g1vax3yhdc3y7hjb47386hznl88c6119-ocaml-csexp-1.5.1.drv","["out"]),
("/gnu/store/g7q5k1ishk3sjxn50kvkbxl852n9hmq6-lablgtk-3.1.1.drv","["out"]),
("/gnu/store/j33cnq48zscc455jaf9c3b4g3c2j8ysr-ocaml-4.13.1.drv","["out"]),
("/gnu/store/ki4j4gk8sygzb6hs0p2la3k54h79bfpr-ocaml-result-1.5.drv","["out"]),
("/gnu/store/kjnh1aqx0jl19rpkldhvi3f1xnf5bkrk-ocaml-findlib-1.9.1.drv","["out"]),
("/gnu/store/l9hsz8jq9r8yc7vd1q5wy70fb2kq627d-findutils-4.8.0.drv","["out"]),
("/gnu/store/mrcq30ck8fz04qcl9f2qcjlf4zb2kd96-ocaml-cairo2-0.6.2.drv","["out"]),
("/gnu/store/nncdqbprlswiknf47ywyhpfnpna91da9-sed-4.8.drv","["out"]),
("/gnu/store/p60nasa2nf9h9hfiww04fwf32qsy5qhb-make-4.3.drv","["out"]),
("/gnu/store/p8spimpy5x8h3b675vpqvwrdr3cb3i24-grep-3.6.drv","["out"]),
("/gnu/store/pxla28ww4mxqy53yjb04lr9701qw99d0-coq-core-8.14.1.drv","["out"]),
("/gnu/store/qhbgs272y0dw41f7miwrrg93r7albrp7-coq-core-8.14.1-checkout.drv","["out"]),
("/gnu/store/qqp9a67cwhl6wdpxzyjlq926nm99y4ck-binutils-2.37.drv","["out"]),
("/gnu/store/qqqbwry4miiqiqsf4g6lxasby8906zhb-glibc-utf8-locales-2.33.drv","["out"]),
("/gnu/store/r92rrf17bfwh9ky5fdxfqf9zg74wv8cc-patch-2.7.6.drv","["out"]),
("/gnu/store/sfaiqj3q6p3b6w5myjnvxda58mqgw5b6-guile-3.0.7.drv","["out"]),
("/gnu/store/v4j05w5vm1kvbgqqwcsjhd67z0bijg7n-glibc-2.33.drv","["out","static"]),
("/gnu/store/w3c0118kyl6kbvdzs1yhmczf57l2qjxx-dune-2.9.1.drv","["out"]),
("/gnu/store/x704fq3534v5cwkr0r3smdwvf6c29c8g-coq-8.14.1.drv","["out"]),
("/gnu/store/xwwhbg30xbq5212ir8rzspwdlc3yfr49-xz-5.2.5.drv","["out"]),
("/gnu/store/zs3ybhzil4jqcv63mz1v40y8n045khch-dune-configurator-2.9.1.drv","["out"])
],[
Sources
],
System
"powerpc-linux",
Builder
[
Arguments
],[
Environment variables
)