%FILENAME%
agda-stdlib-1.7.1-4-x86_64.pkg.tar.zst

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.1-4

%DESC%
Agda standard libraries

%CSIZE%
101274526

%ISIZE%
132547138

%MD5SUM%
5496dc466a7e3b585bd9ae82a125c639

%SHA256SUM%
b287e1484f4b2acdb267db6bf1a666f112c0fd81c9bedf6d5f8ff705bd261cd4

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmMswB0ACgkQeGxj8zDXy5IAoRAAgwbo9dksqw8oORZdYiQz5WcxN9GQZTvcIiVfwYp94dsv2oGRkMaZFN1p6zrEk9lkSeZNuGUv/7eGXBdpufYzsSA2hLMjeqpUIj4jxYqt1AxJfSoKNlH/h1u3/xEsCRlIWz/1ggHY2YY79Lac+9iXkin281SX507GbdrwlxXcNcxFHleWfa05nHdmaEvKT5hi2sN8CfX1C7Wwyy5q9TkS4x63WeBR/wcqyjGEZDY4Jqwees3N0fcz+6P8Jmqz4IuAPLbsM4JEf2SGw7cjg/eVF3EFypuiBjoMTAfjnxrLG0WB2MFHj4C+qMMFD54fUKLGvRW4v6YpL04duZ+7l3LF7XUpcFzgS2Hx6dZcM+kkkZgJ9HOV4FnTKZPZlN38iylbvJsZwWoCq7LXC2JPUQhwD9hezjM+8icy+hx9J745apOYCziLp7+enk9NYdRd7UbujmctndyksBDoahH6fchXb8M8+jkWmZZ7yo3IKqYrUsBGjRBtzt39U65jiEoy2KmdTusocb03Q8OTPoQzwhqiiwkZhwcj+SRUGq+vH532h0iZLKdtPFfeAtQD36iu6Npd/dCxWCzj5cUXiAu5Qk2xcfICjJjEfd1BuwtRhMbayL2lCKgN9XV3ozeBYLn0wM3GefR+/OLGPJhicspp7NRo7xhddCFFuAKnnqF0QMUDSs4=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1663875542

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

%DEPENDS%
agda=2.6.2.2

%MAKEDEPENDS%
ghc
haskell-filemanip

