/gnu/store/hb24wf6xakhrdphbwr67384d7yxa7y38-z3-4.8.9-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/4hk8vbjc1ramcig6wzjfipzkhw2d5axr-z3-4.8.9-checkout","r:sha256","bdf3fd19774a7d743cfaaf7b80419b838560840d6c543d4fcb6d880602fecbc2")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
Environment variables
("git commit","z3-4.8.9")
("git recursive?","#f")
("git url","https://github.com/Z3Prover/z3")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("out","/gnu/store/4hk8vbjc1ramcig6wzjfipzkhw2d5axr-z3-4.8.9-checkout")
("preferLocalBuild","1")
]
)