/gnu/store/6fwjk7kh8d76dsl4ivq37m506iaqajf1-agda-ial-1.5.0-checkout.drv

Derive(
[
Outputs
("out","/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout","r:sha256","0fdcd6e743e1c231150ec2a3c8e0eb4fd80451a7bcb2118e637a7d6bb6d19136")
],[
Inputs
],[
Sources
],
System
"armhf-linux",
Builder
[
Arguments
],[
Environment variables
("git commit","v1.5.0")
("git recursive?","#f")
("git url","https://github.com/cedille/ial")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("out","/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout")
("preferLocalBuild","1")
]
)