/gnu/store/3v9qmi0bdmgp8qlakvf5l41zjphq4dip-agda-1lab-0.0-2.549fdb1-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/6rhngb844gxvb5ybi6cbc8aszkbggzlh-agda-1lab-0.0-2.549fdb1-checkout","r:sha256","12cf67a4d60412b573c76da025ad9f0a62a52f448a70d5ef54f4fa151b929fcc")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
Environment variables
("git commit","549fdb1c948a975e90e70f871993a4a4239aa280")
("git lfs?","#f")
("git recursive?","#f")
("git url","https://github.com/plt-amy/1lab.git")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("out","/gnu/store/6rhngb844gxvb5ybi6cbc8aszkbggzlh-agda-1lab-0.0-2.549fdb1-checkout")
("preferLocalBuild","1")
]
)