/gnu/store/0iaws8l2wqdfbcp42vwns3h49dkfinmy-
coq-core-8.15.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/1pydnrk6amvsn90fzimxrknpvnwdi1ac-
coq-core-8.15.1
","","#f")
],[
Inputs
("
/gnu/store/0n1jws87085bwj44jbc0xqmlvn5pzp4n-
gmp-6.2.1.drv
","["out"]),
("
/gnu/store/10dilsc48p7fsfjnwxr31px8f60hgdvx-
which-2.21.drv
","["out"]),
("
/gnu/store/24cvgfxrg8frj0n8f6afn4fj2d97i4cx-
dune-3.1.1.drv
","["out"]),
("
/gnu/store/2s15jlj037as8w3lrcvsv4ld5gzkfab0-
grep-3.6.drv
","["out"]),
("
/gnu/store/2zk59j4lir75fcampd43x4gp9638ky1k-
coq-core-8.15.1-checkout.drv
","["out"]),
("
/gnu/store/43b9qlndzprwdgs3pm7kiniba8ngls46-
binutils-2.37.drv
","["out"]),
("
/gnu/store/4gr15pnisnw0yvlhp7568wardbs1z3bh-
module-import-compiled.drv
","["out"]),
("
/gnu/store/53chyl5jndpb017l2svk65qzv9wxsh14-
gcc-10.3.0.drv
","["out"]),
("
/gnu/store/57n2w8qgfpj3d3ab5f6q2yanjjii75ch-
findutils-4.8.0.drv
","["out"]),
("
/gnu/store/7izczvhvzh760yj7367h7sf4pn3iiv2b-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/7pn5sbjlrpybv9ip2m6fbshhckym0by4-
glibc-2.33.drv
","["out","static"]),
("
/gnu/store/7vnql8i8z3b7q9xkp28wdxd632sxjbbb-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/9a1381fqwrm5c7clf4kyyfj3r7rj1vgp-
ocaml-stdlib-shims-0.3.0.drv
","["out"]),
("
/gnu/store/b0ma6l61ad4dfb3030sl1ngvdlicc523-
glibc-utf8-locales-2.33.drv
","["out"]),
("
/gnu/store/b2b48bn2rzwdj5166g9s9m85fsaa5kl5-
ocaml-ocplib-endian-1.2.drv
","["out"]),
("
/gnu/store/b6w7qqsmqqmpa8xy7y22dbks8g1mrrz5-
tar-1.34.drv
","["out"]),
("
/gnu/store/cpdlbmsj50m4wqz53zgasas9l8ya6r7x-
gzip-1.10.drv
","["out"]),
("
/gnu/store/d1ksm2iab8j5jm88lvp87wyfgad0wpvy-
ocaml-4.14.0.drv
","["out"]),
("
/gnu/store/djh9scqk7pgn0vpb6vi9l8hxssdxsmiw-
bash-minimal-5.1.8.drv
","["out"]),
("
/gnu/store/fd2bkfa515jk81p7mngmn752112g15l8-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/hdk7hvz5bhlq2n4pb1s0ahrawqhvrdnx-
file-5.39.drv
","["out"]),
("
/gnu/store/jwdx5qrv4nf46m8x5rqkifbdk92yb9hq-
ocaml-ounit2-2.2.6.drv
","["out"]),
("
/gnu/store/jyk6s6jmj7i79ydxpclr7wql4ivvvp8y-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/kmfx1bbrcxca8z7hdm8h9zzylh325hsx-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/lif2g3ydpmmy69z9sfqzj9h32y2y577q-
ocaml-mmap-1.2.0.drv
","["out"]),
("
/gnu/store/naiqvhiqagv3g4dh800k0rzy9fyv11ir-
gawk-5.1.0.drv
","["out"]),
("
/gnu/store/nqwh0rsbaxd38gv43ricndkahhl3xqcn-
ocaml-lwt-5.5.0.drv
","["out"]),
("
/gnu/store/pgf7a19pd13ymxvqwpi4ism08rjydqz2-
make-4.3.drv
","["out"]),
("
/gnu/store/qbqgamcpwgs2sw8lcr6pxl5y38fpyz0d-
sed-4.8.drv
","["out"]),
("
/gnu/store/qmsbxbgb758h6f7018snxlwn69w9w9i4-
diffutils-3.8.drv
","["out"]),
("
/gnu/store/s8fapyn6krsy5712bwgplv03gy7yssij-
ocaml-bigarray-compat-1.1.0.drv
","["out"]),
("
/gnu/store/spapqrn2j6a5mc7w13xiw8136y4brv7w-
xz-5.2.5.drv
","["out"]),
("
/gnu/store/v1x9i2ggmi35w8gblyhmi1994f670kqq-
ocaml-zarith-1.12.drv
","["out"]),
("
/gnu/store/vpk4hzd2pbnxfpdbhn23cw00wg508ppg-
ocaml-seq-0.1.drv
","["out"]),
("
/gnu/store/vxmay97znpb0ry3qrqb5f8r7wvhhbfxy-
libev-4.33.drv
","["out"]),
("
/gnu/store/w2g7q9rvga56699vh8ypsfdg6gphznk4-
ocaml-csexp-1.5.1.drv
","["out"]),
("
/gnu/store/whxjha2l6bljvn97x231shsrlzi8pfff-
ocaml-findlib-1.9.3.drv
","["out"]),
("
/gnu/store/xfh4965w2amrsl7x0h3dslrhndzn5bbz-
linux-libre-headers-5.10.35.drv
","["out"]),
("
/gnu/store/xyp5x1z3ynq6ip7fv1qc26c21l7p6rl0-
dune-configurator-3.1.1.drv
","["out"]),
("
/gnu/store/zam35azs7r61v3q935qh6yk3wci7zg7k-
ocaml-result-1.5.drv
","["out"])
],[
Sources
"
/gnu/store/gcf3zcrsln4icc11z2w9dxxsigscnz1g-
module-import
",
"
/gnu/store/ln8iiql4bi40klwc77zqc0zy8sw3byv0-
coq-core-8.15.1-builder
"
],
System
"x86_64-linux",
Builder
"
/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/gcf3zcrsln4icc11z2w9dxxsigscnz1g-
module-import
",
"
-C
",
"
/gnu/store/qcki7rny7zmayqnx1x0gcchx7qps2b6h-
module-import-compiled
",
"
/gnu/store/ln8iiql4bi40klwc77zqc0zy8sw3byv0-
coq-core-8.15.1-builder
"
],[
Environment variables
("out","
/gnu/store/1pydnrk6amvsn90fzimxrknpvnwdi1ac-
coq-core-8.15.1
")
]
)