%FILENAME%
agda-stdlib-1.7-1.0-pentium4.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7-1.0

%DESC%
Agda standard libraries

%CSIZE%
101262457

%ISIZE%
132538908

%MD5SUM%
b4782335cd1a0dc5ef58628fe42b843d

%SHA256SUM%
65af0d73cd0c69d85684342414faddcc85b493f73dfdda5d1791fa238eed505a

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmDhjsAACgkQyOj1oK+bp+f5oQf/YHkGpc4GuYFy2SHeGqkVk2hvvquQoW6NhLFy+UcNNihpNbt5P5nm79i8vIC5G4yRiZnZU7NRPaQhTkn/E8DOOiMVx/jnuDw6I086Flk+8dwGkY0AMfLhhu3+qRu1v/7ajC0mG+MQ94UIiCGntZJp2AuNryJwh2eDl1amzrk8knRwG9MTTUZtlLa8CeJMIkT8A5NdSBXsfFnC4W/GSEeaI/ttgmY/tTrfp8UCZWud4p00Zd/g0GBCGK7W3Yh4p4x9pSXlGn9eRIBhfmjuhWZFqCUKkm7IGI2x9zAWj5/X/xjgKx6JteLG5LDpkeg/E+h2I+jkVToFAMlZ6okAT1v+eA==

%URL%
https://github.com/agda/agda-stdlib

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1625393864

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
agda=2.6.2

%MAKEDEPENDS%
ghc
haskell-filemanip

