aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda/distinfo
blob: 687707bdb460915d6043b2ed14195b4761bb12fe (plain) (blame)
1
2
3
TIMESTAMP = 1545834764
SHA256 (cabal/Agda-2.5.4.2.tar.gz) = f645add8a47a35da3f37757204fa9c80aeb0993d628fc2057fa343e92e579b1f
SIZE (cabal/Agda-2.5.4.2.tar.gz) = 1988621