/gnu/store/9k271xzmd9irrbhbjwq6h51wqf7kr9xp-
proof-general-4.4-1.1b1083e-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-
proof-general-4.4-1.1b1083e-checkout
","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")
],[
Inputs
("
/gnu/store/3chdxv2shmdbmp8sjqmikr69pc4y2spj-
guile-json-4.5.2.drv
","["out"]),
("
/gnu/store/747ja95llhiml92sp3q2nk04fks12d01-
gzip-1.10.drv
","["out"]),
("
/gnu/store/981qm5al7sdx0ymaklwd98m0nzm5xba0-
module-import-compiled.drv
","["out"]),
("
/gnu/store/a82hiqy9rlb88blqyhb24zb0124wh1af-
tar-1.34.drv
","["out"]),
("
/gnu/store/b3vil0kn9ffcisjxvq8w9zgvkkkqgv0k-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/d2hby058v9pas2iiml5kjj623sw7jqq1-
guile-zlib-0.1.0.drv
","["out"]),
("
/gnu/store/d9lbr0rsdrpm56ycakgkyfzyiw73avph-
git-minimal-2.34.0.drv
","["out"]),
("
/gnu/store/dxc4vk5018jr2sj6vsjh1i7m6sky8fd9-
gnutls-3.7.2.drv
","["debug","doc","out"])
],[
Sources
"
/gnu/store/wvwjz9iqimaif8b40vss6rpc1f47761n-
git-download
",
"
/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-
module-import
"
],
System
"powerpc-linux",
Builder
"
/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-
module-import
",
"
-L
",
"
/gnu/store/h25abk28d5yvcyznjibchxzjyn8fm3pw-
guile-json-4.5.2
/share/guile/site/3.0",
"
-L
",
"
/gnu/store/iwi49jr66kpjzsv2c89lf2szgn5hh854-
gnutls-3.7.2
/share/guile/site/3.0",
"
-L
",
"
/gnu/store/0xya6bs8czz4p3d9hz6h463f88sa1np0-
guile-zlib-0.1.0
/share/guile/site/3.0",
"
-C
",
"
/gnu/store/xrzq6zwsqhpy16gv9qfr234axwdnchch-
module-import-compiled
",
"
-C
",
"
/gnu/store/h25abk28d5yvcyznjibchxzjyn8fm3pw-
guile-json-4.5.2
/lib/guile/3.0/site-ccache",
"
-C
",
"
/gnu/store/iwi49jr66kpjzsv2c89lf2szgn5hh854-
gnutls-3.7.2
/lib/guile/3.0/site-ccache",
"
-C
",
"
/gnu/store/0xya6bs8czz4p3d9hz6h463f88sa1np0-
guile-zlib-0.1.0
/lib/guile/3.0/site-ccache",
"
/gnu/store/wvwjz9iqimaif8b40vss6rpc1f47761n-
git-download
"
],[
Environment variables
("git commit","
1b1083e86e0cddc20ff2f1a6b25c7a7eee2edf02
")
("git recursive?","
#f
")
("git url","
https://github.com/ProofGeneral/PG
")
("impureEnvVars","
http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS
")
("out","
/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-
proof-general-4.4-1.1b1083e-checkout
")
("preferLocalBuild","
1
")
]
)