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

%NAME%
agda-stdlib

%BASE%
agda-stdlib

%VERSION%
1.7.2-3

%DESC%
Agda standard libraries

%CSIZE%
119008488

%ISIZE%
153071285

%MD5SUM%
3dbe16312b305eaff466f2059b4db79f

%SHA256SUM%
5023d38a17fcbf653a64c6b0c9c8b57336e8619202cf221b8dc6d62a3d5a1a0b

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmRaCFMACgkQeGxj8zDXy5J8Tg/+O6VOrdIK9UMtG15gyykOctHoLqp2Tx0b4Trk16FSMKkYXnmRel9I8CqMXM0ITKaBr5vg8DmkyAWSsQwjTbBNO4GPFjw9PQuR8oGbgd7WpAULpTfsZaZRx/fuflioPtUnFfYMJ0rhhHUry6B4aeFmaklaj6yzBawYBw2uAqa98A3NpHFY0wCMGArNsXYEj8DxgWV5YyIjDkPqihNtXb8iX9xvHIIY8JFcLERh7/WfuTMMHOrhfTYbaI3vEsaOpiFuTiGsGJSjNmHnNtMNgKTEOSVpYXBOZprhOtPANPk5VnbNhbzAvjjCKkSkeWXB4hLESu6VtvYSxIFQovJS5jnViEXlrU0lgd0jhhFWX4GjTlpLEh8ix5MCyo0eUD696OHZ2F14bQ/1AufFk4H46JlrB/BgsD7mPamsX6z8zigWuls/O5PTEZTab3RDkoJEI4PmeVUs4Va42ZnZaKrKyjOxgZPDneO2jXg2q7lwd4RyUscrSBEfCd9R3vm++rwCdtgXNYL29opjwvzj6yPSH2/33oztSIxo+K7ndDb/RJfTEe6waggZhOe3W+r1DfgwthFbpjfRcWE/8wsV7ycomO5QJ/rrkDOnij+2X6tf8hF3O83Gyy9CLM51o1eiMS2FArdy8F1xkXC3bs+c74+4cB2pKnrR6X4aplWDIrIdTVDN4YE=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1683619030

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

%DEPENDS%
agda=2.6.3

%MAKEDEPENDS%
ghc
haskell-filemanip

