/gnu/store/a70sx9lxaxr4c5nvdl454b77dimjgdcm-
coq-core-8.15.1-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/pcbzijfz7n0gfiph5xmgrh4ky8nxqs3w-
coq-core-8.15.1-checkout
","","#f")
],[
Inputs
("
/gnu/store/7f2ixz7dwaqd40an74qz3212ayiqgafy-
xz-5.2.5.drv
","["out"]),
("
/gnu/store/7mmbq6sw4a0fhb5kkhdp2rgakrm7m8xz-
patch-2.7.6.drv
","["out"]),
("
/gnu/store/9sjy1hgvjvh48p99xrid6q13jvdia6r2-
glibc-utf8-locales-2.33.drv
","["out"]),
("
/gnu/store/rdx4p3kf5qvqa3h6hd7han846mg46ijx-
tar-1.34.drv
","["out"]),
("
/gnu/store/scflq9szl5ss9hrbrcq1rdi48vgmwgxf-
module-import-compiled.drv
","["out"]),
("
/gnu/store/x0kv7q0is2dc0ravma73nfzzbljjy8x2-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/zaf08fzy4yvfyxspl83nqk822zvzv0f2-
coq-core-8.15.1-checkout.drv
","["out"])
],[
Sources
"
/gnu/store/4680s0cwi8mrbn47lqvj5yj57a2055k5-
coq-fix-envvars.patch
",
"
/gnu/store/h5xlg16asnhz7zzn70p1gcmx65h0psg5-
coq-core-8.15.1-checkout-builder
",
"
/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-
module-import
"
],
System
"i586-gnu",
Builder
"
/gnu/store/inb5f91sznk8w2ykzzzhpmxnqdh0hsci-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-
module-import
",
"
-C
",
"
/gnu/store/dbx1k8aavcjlh9d9w827n2zg1hdmykhd-
module-import-compiled
",
"
/gnu/store/h5xlg16asnhz7zzn70p1gcmx65h0psg5-
coq-core-8.15.1-checkout-builder
"
],[
Environment variables
("guix properties","
((type . origin) (patches . 1))
")
("out","
/gnu/store/pcbzijfz7n0gfiph5xmgrh4ky8nxqs3w-
coq-core-8.15.1-checkout
")
]
)