/gnu/store/4r300l2d2cj2xwlzcgsyylvhpxhix7kg-
coq-core-8.14.1-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/76s1a4j27xw5id5q0blp72sbd0hqpmqz-
coq-core-8.14.1-checkout
","","#f")
],[
Inputs
("
/gnu/store/5h77fpl3mpfpc2mgsz7jqrd1k64l9rxd-
module-import-compiled.drv
","["out"]),
("
/gnu/store/dzbdalkd4bpqld9pfbm7bbpnbj3ar74q-
xz-5.2.5.drv
","["out"]),
("
/gnu/store/f2bih67x1l1k39j9390r9yw3yj7p4gzc-
tar-1.34.drv
","["out"]),
("
/gnu/store/ic38wdvbd07ihj4mf3f23dhf9cccdna5-
coq-core-8.14.1-checkout.drv
","["out"]),
("
/gnu/store/jcvr8pxrbg8dh0cwf4qp29lwqrrk9hrl-
glibc-utf8-locales-2.33.drv
","["out"]),
("
/gnu/store/jzqi4f3rlqfgc3dgpr5b9miryy9zw9hl-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/n1kwc86a063ybi4dxjn41273k1rsvb08-
guile-3.0.7.drv
","["out"])
],[
Sources
"
/gnu/store/01azbk0ryvc76j6k794nas200dgdw37f-
coq-fix-envvars.patch
",
"
/gnu/store/4j2xcm5s0hvmpjm8fdbmb02ipvr6wyxn-
module-import
",
"
/gnu/store/aly00z6ik7akns0n4bjcph7679axfjms-
coq-core-8.14.1-checkout-builder
"
],
System
"aarch64-linux",
Builder
"
/gnu/store/hii8vfc898aha0x3qdss12dk9gzimnsj-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/4j2xcm5s0hvmpjm8fdbmb02ipvr6wyxn-
module-import
",
"
-C
",
"
/gnu/store/vz6pjn03z0aj8snsmf7b6wbgifllsvqd-
module-import-compiled
",
"
/gnu/store/aly00z6ik7akns0n4bjcph7679axfjms-
coq-core-8.14.1-checkout-builder
"
],[
Environment variables
("guix properties","
((type . origin) (patches . 1))
")
("out","
/gnu/store/76s1a4j27xw5id5q0blp72sbd0hqpmqz-
coq-core-8.14.1-checkout
")
]
)