%FILENAME%
agda-debug-2.6.4.3-112-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-112

%DESC%
Detached debugging symbols for agda

%CSIZE%
16243813

%ISIZE%
97909255

%SHA256SUM%
33dfe4fef4fd60d116bdfea1a4983d4027dd165b77c6a041cf8eaf98cba120a5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkssYkACgkQeGxj8zDXy5JqJhAAin12i3dIN0LObkev60rrVxzYetKpaQQ95Rk9ShorPiPhM3cNM15WzDiiewGMbMTeelxBMbpgInXGPRyMyNqraouX0vvjNQDwZd4b+KV2zQKKehJyLvD27lrGY5EHCS2mupZcA1C4BAIYOVNSGKAd7x8zGtxTXVioPkQQZSqalsS+HOvT0HWYzQySZsskwTuGUtgGzoS4jEKoBNQ+s71UflVqzjq+nLGgtTqkWZ4OIEUhZ3tDzQaNcgqLGzut+Gi54KlSPImkkFheNwOWGMnm6/KnG5F2gWKv6wmJVU6rv9pmmEuCVHVDSfQnpqcOfYCPPjOxzeoZ5nEibahuh3H3ZK4jTwQ49zYwlkQrZe4oELywweMWQSxBZYEIqm4QKgPmb4KK6+24gxadYXPt6rCBu6gl3WVldtH0tW3gY/WPdOE9wFDuLUz/shZgxp7RtINiYKrnzFiruLg5tx0Swm72e27LDSKP6wVucanCwct/9nq2JkvWbyDpN5N8BmWOKpp+VoQTgJHUxhuYD9B067+4RQGXs4mUL9UZIzjSM/Sl4wsYDSyqXNnqJFnqYdMydoPV2YHEJ8Ckz8S/qQ9LInAJmus4Ua7+vmsodFJJdiaCDkFvr2nurUjIjxStKOlQIP+it8TQcn1arROKSvcskcYoYYakUGIrogO1DPD1n4DnM2U=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1764536319

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

%MAKEDEPENDS%
alex
happy
ghc

