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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.5-1

%DESC%
Agda standard libraries

%CSIZE%
88713426

%ISIZE%
115511865

%MD5SUM%
88afcac1cdabcae7b0270c41ec9c4cab

%SHA256SUM%
afc74d6bcbce3ee639686aac3a397ea235954848a4de869cf016064eda281387

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBD5KsACgkQeGxj8zDXy5K7MxAAr2DLhgYOPQ+fkBvh+HWGYsKbK4gILqvQP+KVCT2RFhxOkDmqNatgiBF0RD+eusaELIMiZ3JvESHCR/Yz4aEmrCTLxO0Ajn5kEC4f7pb8CaQH7xGMwPnhHzGvP9bJsrSicsizWWYoMKB/IcqZ5t84jOYYYxO2GIScHonCd+IlF40A3zeywBtoiAFMWejCnB7RIdTmG8CeJ17O/yHxtxQG0hjSU/6uJ5vrF86p7/cu7AaY47nLf7FtB1vG8Eq4rdWL/pTFx7jkF5Gw8q1kWwXtJRCSYrkE7/IPWPDu8z2P/3ca+n8WCesU6TCyrM+15Niu2F9cybbaWrmg+LC6euv+f4B5Z9tx49nrfD+ia+gqkWTM2hO48Po98mALl34UQypL1Cf2LPzGP++PcVTBWM+bW7KkBSUjgp2EGTYS+cV55g2onUpY2m9ezbBHM949/q9ZV0hGhG5mug/QCT/P9lqiY8A9irq/JdQGIMHYgSvZmqsleH7C/zUE+/1wIlgR6Ck0oXuPbF7bbOf1i2tR5R4xpWa+zeRgxry7iFMLfjUoi8hUYVLW23f8onJZnfKr5FQVpv1d4YJWz6PBovlLIrLVLFsqn7Ftf7TCxXhJaHdPQBr2Q8SX5oWtWhjfCChIUE90mbnt7ZUh0q0I8OqLoX6eUevs4laCZJ2p+JrpTZvvCEs=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1615061257

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

%DEPENDS%
agda=2.6.1.3

%MAKEDEPENDS%
ghc
haskell-filemanip

