/gnu/store/9lqbbvv3ndjxd10qy10dv5f3wi3vyywf-coq-coquelicot-3.4.1-checkout.drv

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