/gnu/store/8z64fv77imm6q83sms3i3rdzry9iipr1-proof-general-4.4-1.1b1083e-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout","r:sha256","12b0b412ed549e1a2875eb9c0411b470381a863b3d1ab72b7f57310d3fd3dede")
],[
Inputs
],[
Sources
],
System
"mips64el-linux",
Builder
[
Arguments
],[
Environment variables
("git commit","1b1083e86e0cddc20ff2f1a6b25c7a7eee2edf02")
("git recursive?","#f")
("git url","https://github.com/ProofGeneral/PG")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("out","/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout")
("preferLocalBuild","1")
]
)