TIMESTAMP = 1499623372
SHA256 (cabal/agda-agda-stdlib-v0.13_GH0.tar.gz) = e7cffc2b8b168c3584b6d1e760d2b49850835444e4777caa69eb29b3677ef8bb
SIZE (cabal/agda-agda-stdlib-v0.13_GH0.tar.gz) = 264701
