%FILENAME%
agda-debug-2.6.3-13-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.3-13

%DESC%
Detached debugging symbols for agda

%CSIZE%
5201

%ISIZE%
9064

%MD5SUM%
1ff38a15eccff2d4f28c2d1eae0db2f5

%SHA256SUM%
fea8447aaacf8146fc6604c4e3ab7e0df915ea397b1a9bd3f095c9e22488146b

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIYACgkQrx0hme8KPM9mJw//STL4rkhZ4dBe6rj5gRB24dkKqCWXVnqvWtSbKeGR8BnOWavu2/htB1rLioMyfyZz/PDScwvuhAyI3+YezYpZ508UNSBfmtqUFyeciqURd8c7MXgZ8bENCbBPtZ7Ns+BVhHbrKAZw2sOODyHkwJrCl2PKimLLTGgzXU9jyGqtB3hjGp5EyamObjkp7lXdni5xec3fBjqVo/KWjsgeEgfhv8OnyBHSNPVdw3681HiOQSMwWX67OGjt0qBosRoNpN5GM2CQmxQEVLI8IMKETBSjLYrPNiRL4AdNiZ794nrf46w/vHEUYo7mL1BoRAZO0hrpN9sXGWUe3d+aIiPj6fs9+8ZL5EvDAoSoPvoUlc3Pb4v4rUT8+Zzq87IrSGQyWQKkze1bcLbSqojmuQQKj9Ekl5+f9ocgKviiTNWpuI1680FhKwVDi0tmdbxEUi7JB2US6GDNUuqKZMdEQgQmGiH2Uo8r3AVaCXkv+89ffeCqjzNEkzq+zwpqCqrwlWZA0vjkm/PrPO7LDcWLBbUjOSGWxUnAsHW/1srW2wNx6ieQ2gCNxaXiOWvnEnd/JE3PrJ6HQdWuoUqQxHHwM65V0Wosb6hEj+7CTc+Cq+wY0nz9VJJTIZzYSyst8Ho+gyzDE6DvZ5zLLilbB2lCl8T8HWQE3Z6VxjJIUpH/KjD2tCwfbyk=

%URL%
https://wiki.portal.chalmers.se/agda/

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1686580274

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

%MAKEDEPENDS%
alex
happy
ghc

