Derive([("out","/gnu/store/hlm4vrv5vnaj0fv7ihqy7lqz3c09ndqb-Agda-2.6.0.1.tar.gz","sha256","7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8")],[],["/gnu/store/m5fvbh8f0qg8jz5fy0y0lk2n84khqcc2-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/m5fvbh8f0qg8jz5fy0y0lk2n84khqcc2-mirrors"),("out","/gnu/store/hlm4vrv5vnaj0fv7ihqy7lqz3c09ndqb-Agda-2.6.0.1.tar.gz"),("preferLocalBuild","1"),("url","\"https://hackage.haskell.org/package/Agda/Agda-2.6.0.1.tar.gz\"")])