Derive([("out","/gnu/store/3309c63mhx79484vwc4n5d8py9rim88m-Agda-2.6.2.1.tar.gz","sha256","3c4146539e1f2561a05896e3c18a7d0262d98a28f5c5adcc8cce8d8c9d3cbc0d")],[],["/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors","/gnu/store/hdprrnsaa40vl1k63hnq7l1f012jzq2y-mirrors","/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-content-addressed-mirrors"],"armhf-linux","builtin:download",[],[("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\"")])