/gnu/store/qhbgs272y0dw41f7miwrrg93r7albrp7-
coq-core-8.14.1-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/iqa2hqn1v788lbdljnv2bfpjisbn5z2s-
coq-core-8.14.1-checkout
","","#f")
],[
Inputs
("
/gnu/store/ap3vz7f1s3mfcr1dqxnddflcmf9qfz2r-
coq-core-8.14.1-checkout.drv
","["out"]),
("
/gnu/store/fpkw40q3m0fijknp7rkz8zc833xj2paj-
tar-1.34.drv
","["out"]),
("
/gnu/store/qqqbwry4miiqiqsf4g6lxasby8906zhb-
glibc-utf8-locales-2.33.drv
","["out"]),
("
/gnu/store/r92rrf17bfwh9ky5fdxfqf9zg74wv8cc-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/sfaiqj3q6p3b6w5myjnvxda58mqgw5b6-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/vdwwriji7zrkcjha0zda7c74prhqi03a-
module-import-compiled.drv
","["out"]),
("
/gnu/store/xwwhbg30xbq5212ir8rzspwdlc3yfr49-
xz-5.2.5.drv
","["out"])
],[
Sources
"
/gnu/store/01azbk0ryvc76j6k794nas200dgdw37f-
coq-fix-envvars.patch
",
"
/gnu/store/4j2xcm5s0hvmpjm8fdbmb02ipvr6wyxn-
module-import
",
"
/gnu/store/sy921850hqjq9fq0nm08ac7qqgfz31x0-
coq-core-8.14.1-checkout-builder
"
],
System
"powerpc-linux",
Builder
"
/gnu/store/dzngf7zg9qx119zr20xp0j7mg5fypwb8-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/4j2xcm5s0hvmpjm8fdbmb02ipvr6wyxn-
module-import
",
"
-C
",
"
/gnu/store/3ry8zkwxrchi30l9zhi9s5bxfn5sklxk-
module-import-compiled
",
"
/gnu/store/sy921850hqjq9fq0nm08ac7qqgfz31x0-
coq-core-8.14.1-checkout-builder
"
],[
Environment variables
("guix properties","
((type . origin) (patches . 1))
")
("out","
/gnu/store/iqa2hqn1v788lbdljnv2bfpjisbn5z2s-
coq-core-8.14.1-checkout
")
]
)