Derive([("out","/gnu/store/yklvzg1r51d5bbbldzqvsz777yxn1py5-Agda-2.6.2.2.tar.gz","sha256","e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a")],[],["/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors","/gnu/store/ckxc05iflc8jagdxwh4z1cxc23mb6i6q-mirrors","/gnu/store/wg1yp2vx8gb7qmcgyibqnwblahpp4bjg-content-addressed-mirrors"],"riscv64-linux","builtin:download",[],[("content-addressed-mirrors","/gnu/store/wg1yp2vx8gb7qmcgyibqnwblahpp4bjg-content-addressed-mirrors"),("disarchive-mirrors","/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("mirrors","/gnu/store/ckxc05iflc8jagdxwh4z1cxc23mb6i6q-mirrors"),("out","/gnu/store/yklvzg1r51d5bbbldzqvsz777yxn1py5-Agda-2.6.2.2.tar.gz"),("preferLocalBuild","1"),("url","\"https://hackage.haskell.org/package/Agda/Agda-2.6.2.2.tar.gz\"")])