TIMESTAMP = 1500999185
SHA256 (cabal/Agda-2.5.2.tar.gz) = d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439
SIZE (cabal/Agda-2.5.2.tar.gz) = 1240885