SHA256 (cabal/agda-agda-stdlib-v0.9_GH0.tar.gz) = 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717
SIZE (cabal/agda-agda-stdlib-v0.9_GH0.tar.gz) = 248895