SHA256 (cabal/Agda-2.3.0.1.tar.gz) = 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338
SIZE (cabal/Agda-2.3.0.1.tar.gz) = 612342