/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-
coq-for-coqtail-8.17.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-
coq-for-coqtail-8.17.1
","","")
],[
Inputs
("
/gnu/store/4n60irarmjqb62dr8gyxnpmyb33mkyrr-
ocaml-ocplib-endian-1.2.drv
","["out"]),
("
/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-
coq-ide-server-8.17.1.drv
","["out"]),
("
/gnu/store/5384gqjl5vp7gsmqhl7d7v9lfcpvdw6h-
ocaml-stdlib-shims-0.3.0.drv
","["out"]),
("
/gnu/store/5vs608fns2p83nib1y95g118h09hbqhk-
ocaml-result-1.5.drv
","["out"]),
("
/gnu/store/dc766j3lk0xayiji16d096s1c8l6446v-
which-2.21.drv
","["out"]),
("
/gnu/store/dl9iphzpwl1cz1p7hyb3p66inqr9cf7n-
ocaml-mmap-1.2.0.drv
","["out"]),
("
/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-
coq-8.17.1.drv
","["out"]),
("
/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-
ocaml-lwt-5.6.1.drv
","["out"]),
("
/gnu/store/gn6vdxfb507hf19gr21cj47n56k95fkh-
ocaml-seq-0.1.drv
","["out"]),
("
/gnu/store/h3p7r7q1d725gv7m75l2pv30dny8pg6q-
guile-3.0.9.drv
","["out"]),
("
/gnu/store/kbylj3qr5llnsl037plgivk6g0nsa1k7-
libev-4.33.drv
","["out"]),
("
/gnu/store/kqjynvnlj7w8zqyybmg9kqdvc9bm7kz2-
ocaml-bigarray-compat-1.1.0.drv
","["out"]),
("
/gnu/store/ma2has3gv6qmnac0qcywg0j5vn79ka9v-
module-import-compiled.drv
","["out"]),
("
/gnu/store/yj6qcgryrdrfid22ravjv8192d40wc9f-
ocaml-ounit2-2.2.6.drv
","["out"])
],[
Sources
"
/gnu/store/7i8170wq7p14l4f1ka731prnwy2x3dyi-
module-import
",
"
/gnu/store/i6wyb1nq5md81c0vw3y204xwf0mmvzgb-
coq-for-coqtail-8.17.1-builder
"
],
System
"i686-linux",
Builder
"
/gnu/store/33nvcq7kmv79i1lrf89qq5ill0bmcq7n-
guile-3.0.9
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/7i8170wq7p14l4f1ka731prnwy2x3dyi-
module-import
",
"
-C
",
"
/gnu/store/d1vbhdlm6sckydlnk1al1b5nl4lrx4yq-
module-import-compiled
",
"
/gnu/store/i6wyb1nq5md81c0vw3y204xwf0mmvzgb-
coq-for-coqtail-8.17.1-builder
"
],[
Environment variables
("out","
/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-
coq-for-coqtail-8.17.1
")
]
)