/gnu/store/njkksni892p24qk8qm6x20xkvjqwj98l-coq-flocq-3.4.2-checkout.drv

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