/gnu/store/p84ic4qy92vqwmwfk4nc29p4d1qqy550-
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/71wgmmk0fbs0ynnda9hdfcmqx17ycsm7-
guile-zlib-0.1.0.drv
","["out"]),
("
/gnu/store/b5519pc72d8gf9jhnjpy61gjmv808i2b-
gnutls-3.7.2.drv
","["debug","doc","out"]),
("
/gnu/store/jbsz98bhmplfgky58bgf0amwq0jf3ha2-
git-minimal-2.35.1.drv
","["out"]),
("
/gnu/store/mp078nbbfxsayk3276379wlddqv2skca-
guile-json-4.5.2.drv
","["out"]),
("
/gnu/store/qlrhgcy8ghvllhw13z9h607hhdflhzb4-
tar-1.34.drv
","["out"]),
("
/gnu/store/r1kaqk7w9pv8akhylqj01zdshmk966j8-
gzip-1.10.drv
","["out"]),
("
/gnu/store/r2fpmg5izqgcsgdzdadhhv27r7sfd2fq-
guile-3.0.7.drv
","["out"]),
("
/gnu/store/xh03zlhq5lg6k8zp0cp6w4dj7k97hfxr-
module-import-compiled.drv
","["out"])
],[
Sources
"
/gnu/store/idl69yanfnh4fdy5zad3fy518nzvzsaz-
git-download
",
"
/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-
module-import
"
],
System
"riscv64-linux",
Builder
"
/gnu/store/m8bfw3z558lfk3h0n5xpsqbv9m6ls2r0-
guile-3.0.7
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/zirrppwib75vs438zf2s3wb08gdqxr76-
module-import
",
"
-L
",
"
/gnu/store/sg4n7wajk9siq5bxyc4f5zk9jxp87isz-
guile-json-4.5.2
/share/guile/site/3.0",
"
-L
",
"
/gnu/store/cww0bxgi8k708saq256wgi1ns15gj1i8-
gnutls-3.7.2
/share/guile/site/3.0",
"
-L
",
"
/gnu/store/ik4j7p2gqka1kcnm631iiakizr6y7cwa-
guile-zlib-0.1.0
/share/guile/site/3.0",
"
-C
",
"
/gnu/store/z7bfql6pgjgawvir0aka03i2kxgrdq6z-
module-import-compiled
",
"
-C
",
"
/gnu/store/sg4n7wajk9siq5bxyc4f5zk9jxp87isz-
guile-json-4.5.2
/lib/guile/3.0/site-ccache",
"
-C
",
"
/gnu/store/cww0bxgi8k708saq256wgi1ns15gj1i8-
gnutls-3.7.2
/lib/guile/3.0/site-ccache",
"
-C
",
"
/gnu/store/ik4j7p2gqka1kcnm631iiakizr6y7cwa-
guile-zlib-0.1.0
/lib/guile/3.0/site-ccache",
"
/gnu/store/idl69yanfnh4fdy5zad3fy518nzvzsaz-
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
")
]
)