%FILENAME%
agda-stdlib-2.0-1-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
2.0-1

%DESC%
Agda standard libraries

%CSIZE%
138632411

%ISIZE%
178086674

%SHA256SUM%
d49a09a91fe6a8bf548d9d618d6157f8e72f247dcbddcf9a210470b6b7a15273

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkTIACgkQrx0hme8KPM9QRxAAqTZlWhfvmjt4EFa6HyXj8S90ONoyvEBDUAHaVggEDyS4WJg9+Ger1iG4jkYRMCSJUBF5uLTi47br4MYjTW9nrkWAxt9OZ8YXZoTvhiJma4cT0unTJ5Eh25mI82zc/8POG8jlRlq5c/crvH1di/qL6dPvoK2kUPm4CGI818IWqxVJmuH4nq/BfzXkbecmsJSDk1sSG451rggNlq9kDY+KmMYJaYd70yluVt6YTe4KvHk5T6H+4/p6YMdHhyGgsy5mizssWL8ebrSS6ogs2k9u7HIKhhaArRAuhAwMzgRUFS5Ia6gKkQrctbTriGjqNkd6spqtzLkoWng9LOg5//LLxuDTqD6bl0Y5nnH00jkeM1XF3rYwopbh+7Oz7zWVMHB5M02eglECVcX5cMsMNmxNCejT7pHxLGieHokxiUr5oXEV7YjmXtmuPdp6MeFw2NlaFez4OHSy4GBejJSSJ2u+uLdy17mg4hQf+Jn9k79whOJoUqcfZoJFPdZyN150P9VGH9vu9IdkKqePMdYcXKnEdBmigj8hyfm1mu69jmJMslRVDxGMoq/TvdcD4bwupxX3FObecY+yH43gP66mL1dTTiTVyBLY9WEha6Yurs/UVV6Yv5/GvjcUXgjKM4RVdPoFA31iitjBnQtgK3VVULuOMJxgmu8hmYfr9q++vxen5+w=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1753143022

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
agda=2.6.4.3

%MAKEDEPENDS%
git
ghc
haskell-filemanip

