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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.1-1

%DESC%
Agda standard libraries

%CSIZE%
101254700

%ISIZE%
132536935

%MD5SUM%
86960d4cd83dc2260f60012feab1c6ac

%SHA256SUM%
12867b79a79448a8375af2ff7d0f062afcf08b12cb7b661b2ebff48ce3baa2cd

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHjTPQACgkQeGxj8zDXy5KRmw/+IoqQBemUIhba4r+tun2pRlfbiQfzk+TqsbJvAnm4cwIdRQTGDn+9VMf7+zdPmH1anb+InJ079AFY0tN9nqDYauNMlKjivT4DqdzFK0gPyfE5njajpE8DzpjWIwohb5eqzF1wKthpoPgQFhhn01RfAEdCTysYctHgWAEh4qy+2rhYebsK2NrxAHJNutaZ6gbGsbT3Oqx4JuXC5JyR477zdoUFPaoPTFQzu2jKh2+9BtOh8QxCbcrMnXhqD0x2HKoj6Vmf1fiP8zf/uhwNaKdoxEA8tOunx6lVK05E4bnqRQsibaCiqgwqIBPUFKHJOljqojYO2VTmG736p7Mq2UUC1bM94ZKlQv3ZBTAL/sD8U9j5PyB575+xWAB5+Km96ypkrutJXvOzr9DUF4pfxIEK5+0o8ddSqnz06kssa4tnf/1mev0kgFelI+U3RLUCsHdupbIDbxmGz79uYp9NtYJCvw5kpyWGPY2IJ2h5eixwud4domiF5HbHbtLPZ9/o154Akr2W83D4J2d1WfT0AmoONzOtc0VKNbyEHDvn9BBRR8RRojaBHGHKrC2u8XqiHjwwpuSYiNgMEKQrJY/e+zIRyQlc+CUX3xzxilNViw6ChmeAz9L0BWPXofnNJX0TVlFIquBHg4VkUP6F1y4G4hpYOG7ldDkKWOiE8wqXjjBo+94=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1642284386

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

%DEPENDS%
agda=2.6.2

%MAKEDEPENDS%
ghc
haskell-filemanip

