/gnu/store/m2f2l4l23bdrp9dpvafz9jxg195373d6-camlp5-7.13-checkout.drv

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