/gnu/store/r0y2pw97da3ar6phvyn1vacf6gbmfpl2-
coq-8.17.1-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/7h5d2mzhkr18rhwp95hakhc5lh85rqwf-
coq-8.17.1-checkout
","r:sha256","c3607d51724aa812471bcc4603e7c6c643ae174ba7ac40cea40844807f84e63d")
],[
Inputs
],[
Sources
],
System
"riscv64-linux",
Builder
builtin:git-download,
[
Arguments
],[
Environment variables
("commit","
V8.17.1
")
("impureEnvVars","
http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS
")
("out","
/gnu/store/7h5d2mzhkr18rhwp95hakhc5lh85rqwf-
coq-8.17.1-checkout
")
("preferLocalBuild","
1
")
("recursive?","
#f
")
("url","
"https://github.com/coq/coq"
")
]
)