/gnu/store/yrb1rmm0wf2z3l2yn9f885ckyssfl03j-
coq-8.13.2-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/zirjikb1jm4kg4kyccadgvx6j6j7jirw-
coq-8.13.2-checkout
","r:sha256","0ad192fa315d4d2f7b6e06efbec9f121f670a5b405380adeea9ab67447652097")
],[
Inputs
("
/gnu/store/508zq3n89x4405l9q1vrjfgr1m5481rp-
git-minimal-2.32.0.drv
","["out"]),
("
/gnu/store/9kmzrixw2mf2cv93m6s0fvbwm5k683s0-
guile-json-4.5.2.drv
","["out"]),
("
/gnu/store/bsf1l1s7kpsp0x05c5388a0h9bqfp6j5-
guile-zlib-0.1.0.drv
","["out"]),
("
/gnu/store/g8q07imzb91947n2yjwihj8vra7lcwsn-
gzip-1.10.drv
","["out"]),
("
/gnu/store/i82j596z5a2qsjpc9ssmidc2pzss7x7f-
module-import-compiled.drv
","["out"]),
("
/gnu/store/nj1kchrlgrxdzhriqzs3ngs9280j68c4-
tar-1.32.drv
","["out"]),
("
/gnu/store/riafqmpw094wjq0hvcy2fmlc1qr3r0w3-
gnutls-3.6.15.drv
","["debug","doc","out"]),
("
/gnu/store/yc8d3wi7jx87asbhyci628a9648qpahh-
guile-3.0.2.drv
","["out"])
],[
Sources
"
/gnu/store/7dnf9grs18wlhxzbq94pskrwn73arb8x-
git-download
",
"
/gnu/store/sl1yhkphg38alf3ji9m3x4c20h6yzf7q-
module-import
"
],
System
"i686-linux",
Builder
"
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-
guile-3.0.2
/bin/guile",
[
Arguments
"
--no-auto-compile
",
"
-L
",
"
/gnu/store/sl1yhkphg38alf3ji9m3x4c20h6yzf7q-
module-import
",
"
-L
",
"
/gnu/store/m4crwbknxwsvhqlasjljr3xkh9s6ir85-
guile-json-4.5.2
/share/guile/site/3.0",
"
-L
",
"
/gnu/store/a7h1dqxpbj4zb8bjikwhdabgif5j8lb3-
gnutls-3.6.15
/share/guile/site/3.0",
"
-L
",
"
/gnu/store/s7im0qg3v7b10alai2q3fzvzsg0r9436-
guile-zlib-0.1.0
/share/guile/site/3.0",
"
-C
",
"
/gnu/store/xnqqnwfn5396yglf1sd04376dxd230x7-
module-import-compiled
",
"
-C
",
"
/gnu/store/m4crwbknxwsvhqlasjljr3xkh9s6ir85-
guile-json-4.5.2
/lib/guile/3.0/site-ccache",
"
-C
",
"
/gnu/store/a7h1dqxpbj4zb8bjikwhdabgif5j8lb3-
gnutls-3.6.15
/lib/guile/3.0/site-ccache",
"
-C
",
"
/gnu/store/s7im0qg3v7b10alai2q3fzvzsg0r9436-
guile-zlib-0.1.0
/lib/guile/3.0/site-ccache",
"
/gnu/store/7dnf9grs18wlhxzbq94pskrwn73arb8x-
git-download
"
],[
Environment variables
("git commit","
V8.13.2
")
("git recursive?","
#f
")
("git url","
https://github.com/coq/coq
")
("impureEnvVars","
http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS
")
("out","
/gnu/store/zirjikb1jm4kg4kyccadgvx6j6j7jirw-
coq-8.13.2-checkout
")
("preferLocalBuild","
1
")
]
)