SHA256 (cabal/Agda-executable-2.2.10.tar.gz) = c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a
SIZE (cabal/Agda-executable-2.2.10.tar.gz) = 1788