SHA256 (cabal/Agda-2.3.0.tar.gz) = 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc
SIZE (cabal/Agda-2.3.0.tar.gz) = 608029
