/gnu/store/ym4afayq3qhr0qrx0hk93b8df79i6gzg-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
"i686-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")
]
)