SHA256 (cabal/Agda-executable-2.3.0.tar.gz) = b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8
SIZE (cabal/Agda-executable-2.3.0.tar.gz) = 1764