%FILENAME%
agda-debug-2.8.0.2-7-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-7

%DESC%
Detached debugging symbols for agda

%CSIZE%
20241492

%ISIZE%
121108276

%SHA256SUM%
628d19087f28005e9b8d6161cf11063e4c67588c6f029c56196da839c38054c1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/E0IACgkQeGxj8zDXy5ICuQ//ZW2300673KMUpVjrJkPY3mV/Y300dizdaJCVdePgkBemWpNYg+tntTD2yuH6P6Qm/3h77LFYTs7M6tqpeXtXHTVfy33wUJtwvnewAcSuTS72FnxEMfwTZ97QQy79Au2MU7Ghh6P1ag1GwJKBO7n58UxjzLP5JmjFxf5SLwHNZXu5ovgpETYnf85lppNi57BRkTXMpeVj16vwlqrvZm5dlhETK5FlY2scpz3RtsONiCE1KDPCIA/TpRUkQKobLJlcz8SofooJPFpJudYG/Pb8XeRT7ReWtMhHOqhPTfJke6Mmu+DCISjbUudpK+0m0QWYu4BVytWlyRFJ8SVlEpzcS+NyCN2V0lbohOJ/VD5mQe3RTRf0u5bQMbtrJIZlcCYr8z4RijyR4RAaL1zII+txi1Ua6tbNgjEn9zjFvEpxtfbs89RPfM+UkjCFt/ZsOo2OitQF77I+fJWa/fMIyQOvLkjI8vh7e/X4E+99gsSN0W9GUCEhCaKx+vJu10OcZkKwjlEBphrjKZMLHFhn6fjPRqT0gAg/73PWWfzXjMrR/2K4gwMixzYOqca9x80aEh1T+e0w4dAj6gXvSoSi9ysPOwG1kOKbt/1CncRy4gBhm2FYkxHRhfDm9cEhsKjiLNxZhgGu/uCrlWe6L9yj4klCSJy6+DINEc9wovZ05qOLukI=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1790906726

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

