/gnu/store/3q1afa2cbmq840maf7h71jz4x3sj4dfd-
coq-8.14.1.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/wm6jpyj2d3lbzd5aj3w3dcxx5bi44qvl-
coq-8.14.1
","","#f")
],[
Inputs
("
/gnu/store/15b67a57y2psql8hzgmcyz2rn9868lv6-
ocaml-csexp-1.5.1.drv
","["out"]),
("
/gnu/store/1y05rx6k4f3kv63h96zsipn7rbgj71zd-
dune-2.9.1.drv
","["out"]),
("
/gnu/store/1zcr255w8la3p3sbmg1lybk4ci7pwdqn-
linux-libre-headers-5.10.35.drv
","["out"]),
("
/gnu/store/24bbyxq198gr6h8mng017yygb0c9131g-
gawk-5.1.0.drv
","["out"]),
("
/gnu/store/37gcz6i49v0ky04cj4jc7g8y7vcnwhcl-
bzip2-1.0.8.drv
","["out"]),
("
/gnu/store/3sqsv3cqgqfkwr5hrvxyshliwgdizk21-
coq-core-8.14.1.drv
","["out"]),
("
/gnu/store/48az7g90baly2q0ii40sxscs39s3x8i6-
diffutils-3.8.drv
","["out"]),
("
/gnu/store/5d3gzfnaff9zy8av5grlaqqfww96sf0r-
ld-wrapper-0.drv
","["out"]),
("
/gnu/store/5k6sj3w29qxj1pbpwgi79rf5913vvz0a-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/6h79i5qyxq3hkhamw9cc5i2q06kih1na-
bash-minimal-5.1.8.drv
","["out"]),
("
/gnu/store/8i0dnwaz7cz1kjj19mj5h19i0dawgvkm-
coq-stdlib-8.14.1.drv
","["out"]),
("
/gnu/store/8ijky4mz9nrsfsbra0ycwwg28d34b2k9-
grep-3.6.drv
","["out"]),
("
/gnu/store/8sxsjagqx4kj1r7fqyf2cqbnkg36px11-
findutils-4.8.0.drv
","["out"]),
("
/gnu/store/9jp3m8xciyfkg7p5qw48fmz0a0yvbw7y-
xz-5.2.5.drv
","["out"]),
("
/gnu/store/ah7w4an3f4j9hqjplcrk7b4vwz6gdpas-
glibc-2.33.drv
","["out","static"]),
("
/gnu/store/aqdla1awj6z4d28p01vcwklqy6jzwam8-
make-4.3.drv
","["out"]),
("
/gnu/store/b0hajgsnlzsfsdxkl9w3hy2fxnrlgb4i-
module-import-compiled.drv
","["out"]),
("
/gnu/store/dz3x0aw6bzkc0j3y6na8f7lfrlbvl3sc-
sed-4.8.drv
","["out"]),
("
/gnu/store/hbaq838cb00qacvg8p83ms0sg8xp62qd-
ocaml-zarith-1.12.drv
","["out"]),
("
/gnu/store/jyz5ya2r9f35k3a35bzjm3cr4hcgij53-
binutils-2.37.drv
","["out"]),
("
/gnu/store/k79fw1rnclmw31xyp41fkgrs85r3l5pq-
tar-1.34.drv
","["out"]),
("
/gnu/store/kss3acdlsicf79sdp4d7vj4xq5g6zlgi-
file-5.39.drv
","["out"]),
("
/gnu/store/m0nbbk3vgl637ibrz7z72r5v0dkswpi2-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/pdycsb7mnry8dwsdm7vy57izsd38his4-
gmp-6.2.1.drv
","["out"]),
("
/gnu/store/qbvja07lah7dlr3q9w93f5pwb4wy04zx-
gzip-1.10.drv
","["out"]),
("
/gnu/store/rnpli1zbqnrgg9a0w7h1z9am3rk64a7d-
coreutils-8.32.drv
","["out"]),
("
/gnu/store/rxf3gvlyacnc78r3xs7zjf1qsv9zw7k0-
ocaml-result-1.5.drv
","["out"]),
("
/gnu/store/sla7lfwaxx3xkhsypp9jqk0j1mkmkq87-
coq-core-8.14.1-checkout.drv
","["out"]),
("
/gnu/store/x4wx5k7ia2in3jkyx8sy51rsrasgg7s0-
dune-configurator-2.9.1.drv
","["out"]),
("
/gnu/store/xpwy8vpvpm478idpr8c7bawb0jvcl3kr-
gcc-10.3.0.drv
","["out"]),
("
/gnu/store/y23155if827d3q1sivzxvx2lfn3l0d38-
ocaml-findlib-1.9.1.drv
","["out"]),
("
/gnu/store/yg78jjmys900giz61idxf9s0h141kb0b-
ocaml-4.13.1.drv
","["out"]),
("
/gnu/store/zh2adxhwgvqn8dddxc793mkwmfrdv9x1-
glibc-utf8-locales-2.33.drv
","["out"])
],[
Sources
"
/gnu/store/khzs6h4g9ac5fb9ypq0qni9ckd1knq4q-
coq-8.14.1-builder
",
"
/gnu/store/rxic67vricy379j36i7awhw5c6ihfa21-
module-import
"
],
System
"x86_64-linux",
Builder
"
/gnu/store/fidl08nms5v63lkqv627zibxpd85zxqb-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/rxic67vricy379j36i7awhw5c6ihfa21-
module-import
",
"
-C
",
"
/gnu/store/gacnq83wk1jn3frfi7bsz0f2rl3df4k1-
module-import-compiled
",
"
/gnu/store/khzs6h4g9ac5fb9ypq0qni9ckd1knq4q-
coq-8.14.1-builder
"
],[
Environment variables
("out","
/gnu/store/wm6jpyj2d3lbzd5aj3w3dcxx5bi44qvl-
coq-8.14.1
")
]
)