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

Inputs

File name
/gnu/store/09v5jx2dmrm62l8y7xvdhlx9cr0sj386-ld-wrapper-0.drv
/gnu/store/0d7q272kph6m1haxsrz3w6hg5b86f2m8-guile-3.0.7.drv
/gnu/store/46drv929wn5vfwcvaqqm00nlm08mcd3l-glibc-2.33.drv
/gnu/store/5641gd5hc2ch5ky9d3nc7h48xq87fxia-gawk-5.1.0.drv
/gnu/store/5g967iidpbfkd35w3rqjn1s6rbfz90yg-findutils-4.8.0.drv
/gnu/store/5v8z2vf2f27b5riz815kk3p4g2hcs5dh-coq-core-8.14.1-checkout.drv
/gnu/store/71c2axqhpd4ljjjasv3bkl2pyih4md75-make-4.3.drv
/gnu/store/98nfrv7vpiy1r2kl5grmkvxnakdrgdxs-file-5.39.drv
/gnu/store/bca1gf6pcmjjwaa6hilm3m2k56r23sk0-patch-2.7.6.drv
/gnu/store/bgk4q2mg021b7shgrvp1wv424rqx1rpi-ocaml-cairo2-0.6.2.drv
/gnu/store/bl32j6bkzqlzq232m70dyv06ysip444p-coq-ide-server-8.14.1.drv
/gnu/store/bmqz6qrabrsys7kswyp0vi93vqg6wa0r-coq-core-8.14.1.drv
/gnu/store/bvvqi69m8pdz0md4qd1imc725z2gs5nb-module-import-compiled.drv
/gnu/store/c1lg408jyp7h5i90i6g0w4qjcd0fmai6-ocaml-4.13.1.drv
/gnu/store/chds50v8sz74gl3qqshg5cdci4d6s0v2-diffutils-3.8.drv
/gnu/store/d9gc3b7fxg00mxvpwyibslflqi835cxh-dune-2.9.1.drv
/gnu/store/dr4q7gs7qhqzd1l8x6laq17ymkvsq7wk-lablgtk-3.1.1.drv
/gnu/store/fzsf0blrzvn1qv71z17c66mnlfgcwkqb-binutils-2.37.drv
/gnu/store/i3ydlxqha0rz5gq08ph8j6gqmwf93hkg-coq-8.14.1.drv
/gnu/store/isp9kn9if5pjlkkp87l08mcvkh7p0472-glibc-utf8-locales-2.33.drv
/gnu/store/iypzw00n6fnr4gjz3wb7d1l9l1rkfzsm-sed-4.8.drv
/gnu/store/j6s9kpy60rf1nqf9jr4rb7bc28v8xfg2-ocaml-result-1.5.drv
/gnu/store/jwbxw29r67a94gcq60l4nhcyr55lz7zp-dune-configurator-2.9.1.drv
/gnu/store/kw2akzcsbydlrjm81ydj4zjp18w7qpcd-xz-5.2.5.drv
/gnu/store/l1x07x2lxfxgmcym316s0bccgjh7kca8-ocaml-csexp-1.5.1.drv
/gnu/store/lc1dxy4yld0y1ccswjyfd49sl5b2qf3z-coq-stdlib-8.14.1.drv
/gnu/store/mkyymfq95y6fls9zlvc8kzr42sgyxy81-bash-minimal-5.1.8.drv
/gnu/store/p9kdszbsk9xiwi3vbzzwhy6b4ink4yms-tar-1.34.drv
/gnu/store/picw2zhfnhja65l82dwx6nkybwd29a73-coreutils-8.32.drv
/gnu/store/piwqybvacpixwl277cbnx2a4k8c3y9fi-bzip2-1.0.8.drv
/gnu/store/rajffv221yl4dpds02nh2ip501176hb6-ocaml-findlib-1.9.1.drv
/gnu/store/vf6qszn3yci2mpvj5mbg9q9wj8y6qmbh-grep-3.6.drv
/gnu/store/xadflgmbv74l1r9wv2m2v3f27laj1xq8-linux-libre-headers-5.10.35.drv
/gnu/store/z0726j7z6x7jh1in2hxdc3i1n4hz7ym7-gzip-1.10.drv
/gnu/store/zhjzgfswhw8ngb3a65k29nd8wyzvbq13-gcc-10.3.0.drv