/gnu/store/yvi2rq736dr3k0f6lv4qnl0rqf0zzcmm-coq-coquelicot-3.1.0-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/jh2m5wyp835rh090g312hmxkvh2sbvq7-coq-coquelicot-3.1.0-checkout","r:sha256","550a434a95fab359339f85300d625de7a775bc312c9de84a7667886055bfe357")
],[
Inputs
],[
Sources
],
System
"i686-linux",
Builder
[
Arguments
],[
Environment variables
("git commit","coquelicot-3.1.0")
("git recursive?","#f")
("git url","https://gitlab.inria.fr/coquelicot/coquelicot.git")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("out","/gnu/store/jh2m5wyp835rh090g312hmxkvh2sbvq7-coq-coquelicot-3.1.0-checkout")
("preferLocalBuild","1")
]
)