SHA256 (cabal/Agda-2.2.10.tar.gz) = 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae
SIZE (cabal/Agda-2.2.10.tar.gz) = 517723