Derive([("out","/gnu/store/4xiwcnn4vzd9nkac1kkfz0ql5vjs5gqz-Agda-2.5.4.2.tar.gz","sha256","f645add8a47a35da3f37757204fa9c80aeb0993d628fc2057fa343e92e579b1f")],[],["/gnu/store/7f1alh9qj2h0wwy2220npgnmw6pbrkwx-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"],"x86_64-linux","builtin:download",[],[("content-addressed-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("mirrors","/gnu/store/7f1alh9qj2h0wwy2220npgnmw6pbrkwx-mirrors"),("out","/gnu/store/4xiwcnn4vzd9nkac1kkfz0ql5vjs5gqz-Agda-2.5.4.2.tar.gz"),("preferLocalBuild","1"),("url","\"https://hackage.haskell.org/package/Agda/Agda-2.5.4.2.tar.gz\"")])