/gnu/store/m6k1n34lnalh981q5j2y6qrhdjmavpxz-coq-interval-4.3.0-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/yr9l6npk52645gvygv20xb9hi8l1iba6-coq-interval-4.3.0-checkout","r:sha256","d5e25fa5782d1c0b95f32dd3980600c228985fb7b045401cd391c2cf4e681bcb")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
Environment variables
("git commit","interval-4.3.0")
("git recursive?","#f")
("git url","https://gitlab.inria.fr/coqinterval/interval.git")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("out","/gnu/store/yr9l6npk52645gvygv20xb9hi8l1iba6-coq-interval-4.3.0-checkout")
("preferLocalBuild","1")
]
)