/gnu/store/s8np3v7l4z3z677k0cxmjzzbqhmjdkw4-coq-gappa-1.4.6.drv

Derive(
[
Outputs
],[
Inputs
("/gnu/store/04d07abd2ziwx5nqfqb91capdw29giwd-binutils-2.34.drv","["out"]),
("/gnu/store/0kq90bnmk974wa4zr647ikady8yrsalq-grep-3.4.drv","["out"]),
("/gnu/store/25y2hc00ysn6fw9pf64abbv1nki0mcbw-which-2.21.drv","["out"]),
("/gnu/store/40xpi5ik9r3hd8d9zbybsh8fzw3p31sr-mpfr-4.0.2.drv","["out"]),
("/gnu/store/51cv84jyyrwpfakdn6214bs6126mfv48-bash-minimal-5.0.16.drv","["out"]),
("/gnu/store/568sqp7a80h21brp9yvrgrxvqgws8qvl-linux-libre-headers-5.4.20.drv","["out"]),
("/gnu/store/68fw4l7hzp3r291657j5yflp5xhh9qyh-coq-flocq-3.3.1.drv","["out"]),
("/gnu/store/82q18pcsqfi6rdkwa3hmwqjhc9l4wrii-ld-wrapper-0.drv","["out"]),
("/gnu/store/8q5zfqdinkyskn8bbplzk3l2hq8iv78m-gcc-7.5.0.drv","["out"]),
("/gnu/store/8r3pjwhyj6ckw5kk4p9pjin9vgj5ykim-autoconf-2.69.drv","["out"]),
("/gnu/store/9gdhq5d2mmgcv5cxhy01sylahjfjn0z4-bison-3.5.3.drv","["out"]),
("/gnu/store/a9zy68rz4z5in395r4mmybhmn9gfvx1h-gzip-1.10.drv","["out"]),
("/gnu/store/alqjwvlzppnzd4vbmr1drp62mh4327ym-coq-8.13.2.drv","["out"]),
("/gnu/store/b0syji3mdp78sz1a4q8s3mnd8hdbkp0h-guile-3.0.2.drv","["out"]),
("/gnu/store/byhdsb31dnkhd1cs72dzi0nikl40y9rx-file-5.38.drv","["out"]),
("/gnu/store/cgkv3p9siiqasxps2w26rfl0ylbrijx4-gmp-6.2.0.drv","["out"]),
("/gnu/store/gwbynq1iiijmcv8z1a2c4dmlbq5i6idd-findutils-4.7.0.drv","["out"]),
("/gnu/store/h36j9szfbm8kaf6mar1gajnjs2ys47ai-automake-1.16.2.drv","["out"]),
("/gnu/store/h48b5jqg0pxb6y3ik6zwm393q7iraq0q-module-import-compiled.drv","["out"]),
("/gnu/store/hxkaggf2v8mm1a16whxkv5v9nzcpqqn4-boost-1.72.0.drv","["out"]),
("/gnu/store/k43m6gi372wzwz0xir1axms8vp2jyv1c-glibc-2.31.drv","["out","static"]),
("/gnu/store/k64lfvxzlz53bbxsbz1wzr9z6d7cxg5w-coreutils-8.32.drv","["out"]),
("/gnu/store/kak8wvrxxgl686jxf88vrpw0fbblnvwc-gawk-5.0.1.drv","["out"]),
("/gnu/store/lmyz9p3w69b29q5bbfa3xvk9cpw5z4an-glibc-utf8-locales-2.31.drv","["out"]),
("/gnu/store/m7wf6v3glxmnpzb0r0wknf99yh721a5g-coq-gappa-1.4.6-checkout.drv","["out"]),
("/gnu/store/ma9y2wxpah1hp9ay408x4w8pc77k8cgf-xz-5.2.4.drv","["out"]),
("/gnu/store/mvbgjnj3a9si5p2bxfa5h4zq0hxfw2iy-camlp5-7.13.drv","["out"]),
("/gnu/store/ndw95kvvp1r9nk4wgrbaym3l6ndbbyvn-tar-1.32.drv","["out"]),
("/gnu/store/njs5phyg1c511hd01fjwa7jlq4vqmxxd-diffutils-3.7.drv","["out"]),
("/gnu/store/nkga7plvc5f0csfkrypr1kpgw6yg37az-bzip2-1.0.8.drv","["out"]),
("/gnu/store/qcnzwhpcfyk94z2ck2k5xfyh9gm1490s-patch-2.7.6.drv","["out"]),
("/gnu/store/r4vxd8xsq56y7ygbpb0dfn25k7rid8rg-sed-4.8.drv","["out"]),
("/gnu/store/r96vhzyliwqspf5idzq3m5k56cclxzg7-m4-1.4.18.drv","["out"]),
("/gnu/store/s5irmdhaqfpa6932c2ldrp5gyycncara-flex-2.6.4.drv","["out"]),
("/gnu/store/v6zi0xbj8hr93mranbcgsjrhdlnrzg1d-ocaml-zarith-1.12.drv","["out"]),
("/gnu/store/v8nxwbdz9f2qynry0jysrj4gcibx0kdr-make-4.3.drv","["out"]),
("/gnu/store/vdcbgx2cvbdycwjwhvkk8hh53a6p2h7z-ocaml-4.11.1.drv","["out"])
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
Environment variables
)