/gnu/store/1r8mrx5cb87wnx1fipgh1mxgjnryb95x-Agda-2.6.2.1.tar.gz.drv

Derive(
[
Outputs
("out","/gnu/store/3309c63mhx79484vwc4n5d8py9rim88m-Agda-2.6.2.1.tar.gz","sha256","3c4146539e1f2561a05896e3c18a7d0262d98a28f5c5adcc8cce8d8c9d3cbc0d")
],[
Inputs
],[
Sources
],
System
"armhf-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-content-addressed-mirrors")
("disarchive-mirrors","/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("mirrors","/gnu/store/hdprrnsaa40vl1k63hnq7l1f012jzq2y-mirrors")
("out","/gnu/store/3309c63mhx79484vwc4n5d8py9rim88m-Agda-2.6.2.1.tar.gz")
("preferLocalBuild","1")
("url",""https://hackage.haskell.org/package/Agda/Agda-2.6.2.1.tar.gz"")
]
)