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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.3-1

%DESC%
Agda standard libraries

%CSIZE%
118818115

%ISIZE%
152092695

%MD5SUM%
cca38756642ac38106e3336e800e2a8c

%SHA256SUM%
3a7467dfa7a7bc74fc546b7d1fe91d5a3274f3c8e4b5caf0fbc36596de11557a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmVfqCoACgkQeGxj8zDXy5L72hAAogZWw5iwvGlRqCzSfi1TcFo6vXFNsL00B54GQSN9B45Us3fNOCG9utJXe2T3ByzBYlNGnsybp2Vbi6yHUO1HVNgNeEmPWLbdtLeXY7LYoP22WKoWerKUpES30wz1i+K3u0ObS2uiAE8ce5jMPz+C4lE8t4k2sVznUcDQm+IEDHZVbU/VAs+h2CYvSBEYN5Pa/seHCftz6VcZ+aAxcheumlBdzmd99qTU/DoSwemKKLgWKU2NTmYUbR7dCdu/2qfHdj15YUG7SKA8kkDPL3OJlP1GXQHZbCLEFgnu3R56fwFaD8GJXjggKW19695PI778NI+otujf8iCEd9GIvrBcwRvldlhJJknPZa+nMniPDLZ4s8UPg584h9EUTR0MjLf4k+8h39XblGlTy19aJDi7K49BBnCMaqExJ0m8l3uke/6jnWXN+GndyXNkhnZ+EWz6yny0ecbeo27C/kaUaumLKEV6E1DJN2PMuS0Xh5MhObj1vrAK11vIJ+lfHp5qPYC25Rv30ACkmgxUHvKbW5NLS+5srQpO7fZLywKld452n+AFdkLX6jQz5lZpdD/l1elMctENEVgrPrSF9iR4jt+Y+DmCtC3Z6eUUFFkLQr3OMOCKDjuFQCg5MjPryLebA59kZ8HmEeQ6UQhp+aBxCqKNTadlpWWXNw4G+de4E7BL25c=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1700767178

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

%DEPENDS%
agda=2.6.4

%MAKEDEPENDS%
ghc
haskell-filemanip

