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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.3-3

%DESC%
Agda standard libraries

%CSIZE%
118950795

%ISIZE%
152383697

%SHA256SUM%
41f05487876a680849b3427b15aaf1e68dcd127094d75a83a843e624b6cf28fa

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOj8ACgkQrx0hme8KPM/fcQ/+Krhj199FzaJ/fp1X6jCdVDzg7mRs5i+S6Sh85vNDVjYLeXfqLQMNP0wPjaFIW5Sjrt6lCkOVGPXyYw7v5/0kH6gp4PTv+voykecmui9mNd9xN5AP2hxfK8pc61hpJBVYI2M2JFluftRnpm2NLlDenJ9pDwritP71ARkv20nMtBKOVvdyzTWZPpfcpg03b6qeuAdkMxvdEHmcQ2RL/mha7Cj1jFUAGUH41QuZA4n4PRqy7G8ZBQhmGl0fG+ns0MpiwxALR1QqamD7dcIUxchwzluCFZ5MZ5Sh17ehWKNf30as+WYk8rvqTfkzDGZi8CNpc/VZwLHCbmyGBLRfqh++npEDaihzWSJ3ZEy3ZCqIcQIPZK+GYbOz+T+e0YEm+9Rl5Fk2rngr1eJWN8+uKB7gaWcnKz25cOXT6rgZbAKWPSGqeE5qiLdk46T1op4GJ5QftrRX6wQQKTQWjlUOyzhBlTQkXNm4G9ZSfBYewY2RuNsMvVhBOxUL8BvYxaebZFz20kp7CzxS1+//TkAk2Y4Vq7IZTAgWybcN5o/IZXvQK4pciOWXNRjeh7Zb23sbZVIk8Rtv1oeRmqO0hF0CR2HeA0hmQt5kHCpDfx4t7H2zagCymeZrwYgDQ2UAiPKOsket4h4WKAfJP60KB5+AAC2vbypLDeR8QDLYh6O3jj0V+1g=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1723145140

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

%DEPENDS%
agda=2.6.4.1

%MAKEDEPENDS%
ghc
haskell-filemanip

