/gnu/store/jz2hx47xc6h5xx70kp24d2b4h2ys83gz-z3-4.8.4-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/qrjm74plfabfngi3dz26khdzsfwgkcgj-z3-4.8.4-checkout","r:sha256","d6bf503bf8e3d75ae5600f6e984e3cb01935a4ee8d810f3df85cf35d2a7e9104")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
Environment variables
("git commit","z3-4.8.4")
("git recursive?","#f")
("git url","https://github.com/Z3Prover/z3")
("out","/gnu/store/qrjm74plfabfngi3dz26khdzsfwgkcgj-z3-4.8.4-checkout")
("preferLocalBuild","1")
]
)