/gnu/store/6nxcp0qr4zhgaad8mz1gh4pwigh65qnk-
coq-core-8.15.1-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/ly1714sr5a39v7lmnlwbki9psxq8siwd-
coq-core-8.15.1-checkout
","","#f")
],[
Inputs
("
/gnu/store/5qc842g6lm63r8wr59yb5kqqm7sqq2s6-
coq-core-8.15.1-checkout.drv
","["out"]),
("
/gnu/store/6d1ya9a8ap708h90ij26n4y0r1yl358m-
glibc-utf8-locales-2.33.drv
","["out"]),
("
/gnu/store/7jhyzvb01pq08nin9dnyqn7hl24kx24i-
module-import-compiled.drv
","["out"]),
("
/gnu/store/bngjs6y282gbayp523x6ykrmj5wznfxg-
xz-5.2.5.drv
","["out"]),
("
/gnu/store/bwvcn7p6kk4c6xjh5rw9li9r8slvibdw-
tar-1.34.drv
","["out"]),
("
/gnu/store/g6vhkrbpyfrlh1w9xd176dvqc5ay71wk-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/pxhw1w3ja39aznkadjvamzi2xnspky95-
patch-2.7.6.drv
","["out"])
],[
Sources
"
/gnu/store/3m39gsz2xg38mc8cdxzzn9262zq3l4ql-
coq-core-8.15.1-checkout-builder
",
"
/gnu/store/4680s0cwi8mrbn47lqvj5yj57a2055k5-
coq-fix-envvars.patch
",
"
/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-
module-import
"
],
System
"mips64el-linux",
Builder
"
/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/pgj8653w17hsapbd1srlvd44rlnhbx8n-
module-import
",
"
-C
",
"
/gnu/store/2ix9d73pf23frma5cz00bsirwkx6h6bx-
module-import-compiled
",
"
/gnu/store/3m39gsz2xg38mc8cdxzzn9262zq3l4ql-
coq-core-8.15.1-checkout-builder
"
],[
Environment variables
("guix properties","
((type . origin) (patches . 1))
")
("out","
/gnu/store/ly1714sr5a39v7lmnlwbki9psxq8siwd-
coq-core-8.15.1-checkout
")
]
)