/gnu/store/7fwlkac01p3gbinpjvrq1q69y536g4h9-coq-8.13.2-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/zirjikb1jm4kg4kyccadgvx6j6j7jirw-coq-8.13.2-checkout","r:sha256","0ad192fa315d4d2f7b6e06efbec9f121f670a5b405380adeea9ab67447652097")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
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")
]
)