%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%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh+2N8ACgkQeGxj8zDXy5ICaBAAoIxSe2+IxMLFz34vna7Ws4LI1UWbsWze2UwdgzxnqlZa9gN26KXC07Lr/AqWC7dpOeVGEUPnIZHtZDmB0t36FIUk7KmXd1nO1LehaMXdr6p2riySz8S4gs9mRMCx5/wo8BN2pDMijQjX9LU0NsZkzj0EfgRma0eJYkqj60xr3VnPAAizPFoB8oAYJknzklbS3f7oasC1AvZRj7s+u+yGlcxs2aHfx8rlM4Yv3oLjcQTkLzUGHp8hoAQmZFt1d+5k5QZRanjQrTa1hzN3YBfQBHrXcwLgqiPA9oWTyr39R7DFdFz1LxRZakF3Ov8tF7fp6sGxVj1xJArZe2d3oRgQp6YjheErKmZQpAQ8jwG4IBaleXzNcVLdfVMSDzhBn6mLctZSdR/wOkoFNEU62gfq68ryMtkcpA+ZfMAy0KcIhNicWtmBqArgikPYCIp5ZUW4dwjyhmanszz6rjiY8i/RC3bJ2tfJSHfkDdiALw/0VeSchyfTLSE3eTqObPbgnvQ6YjrBBlJzeVidXl4IhrFNWWBNlSpDYc2Q73OJjs8MlzTuJEypvN0SM+8NpbjIuX3Iad/iYBgiw4/mxv7rxsYatJrsiNBEuB1L9wc97tIdduYmVi95PYD2VXr4ocSf1/M+lc/lCWTurNC8AWXh8uQlBYrmCCK+3RU4jygkZcB3ykI=

%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

