%FILENAME%
agda-stdlib-1.7.2-3-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.2-3

%DESC%
Agda standard libraries

%CSIZE%
119008488

%ISIZE%
153071285

%MD5SUM%
3dbe16312b305eaff466f2059b4db79f

%SHA256SUM%
5023d38a17fcbf653a64c6b0c9c8b57336e8619202cf221b8dc6d62a3d5a1a0b

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoIACgkQrx0hme8KPM9crQ/9GThoDJ8S0BBjsymDNsD1fd8R9Ys2LU1W03P3H0EZ6OjXW5QMRcITz0xOl3LodRtC6AAwYRXM0jy7u4PVBnRX71fc35RhS5fTPZ5+YjfuwcCMy927P6K2rviK2TWQalhzIDkjV0h+NxQb7cP3tWF/dfkKSF1f9YPYv1RUJ+IQ2l0aLOy9t0NVz2MHjlLZPs15/10yG2dV/P9KYaBjIhlyT+mX1+gkxzBiANcJ/8IULJzXgYNHiut7KRa9qfJlBD1J09guicK3qsMDHej/AIzcw4JaCKiOTv/5mw29a4PKmGJCp1fdTLV7o97vRN0/9tfeUCFyKURxmpKblYc/3gntsaVRqHOhLQDLClyODyyay5ed3z0P6SgsSl7g4XafN6aFcpXwW+Dsn7LaU8NY6NeeXhVqyFuTroKdQJ+Q+hqSeKQB4rCiFfpH2Z+l8ahCXAVm5dp8+LXiFh43aRZ5vfctg/5Hs1mHKfJw0wnignd6OTrdAQoIiZuAP5CjXbq7qxg57D/Zkgt9k0W4+wezgyHsakolhZ5yvr/KxNOcYenPGs4bO2Aw6yDMu1PbufUDGyPt/RsyqxjSYM2aglFXXhuG1UBkziHVooWwMOcxa37kwERMk9Qe943VGly3afvCblTzLuda6Xsw79V5hmPdc3JvlFvnvm/kn2W9SZFzqlj1/1M=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1683619030

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

%DEPENDS%
agda=2.6.3

%MAKEDEPENDS%
ghc
haskell-filemanip

