%FILENAME%
agda-debug-2.8.0-9-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-9

%DESC%
Detached debugging symbols for agda

%CSIZE%
20247886

%ISIZE%
121107234

%SHA256SUM%
2600d74e575f8514f009bfbbe50a8534c51dffc4b515b199e08296e977739439

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdcuUACgkQeGxj8zDXy5LHhA/7B7MseOYliXHLwed+xtqoI5hLLzM883u3tGKiyQKpB4VpEkHeosyH2GLJcJCA1Qz+A7rFwsg3BBRVQ5S8bD1mNWLpLSfNTQ+C+i2Fm+SaDJxpa+GEMlU/iv32sPzGtRhSicPMWvan0KICnGKXWxamkEQZhTV02GUuzcGNUhGAvjBX7U6HIqbCcE0HD7P173KYWELBTk9Df0XNPgc+L4cLGBCST2k66e3ZtvsbKiAvZyK1y/X80Iz6bI0r4GPHxlbVEyBrm5IdKL5kY2afWqxsSvPTW+swMHfGutAMtkgUi7D6YVCU8BlYgCNFORp1QHuKJySINQQH69BgtdOB2QUBgXcKuM+i+kRjH5qb+3bmTcNp1uHZXSwfE6tVSaVJSkbXRUopzTyLVCx3zseotkBuG8O4eZtw7GUtvjmjhHEJTY/tp6I4JdYrqV7H2yBunbf6WilAek+Px4W3Wh2YO4ncaWhnf6GSNCINm3THzvlu0U47OWoUiz/nykClo0zsTpkvkD5lGTYhqoRcjY3v4Uh/7WLRxjIOJdTet3qgR3MHX+SSzovYkvHgQKi5WrCAneiiUl3DeLWOOr4t4MgWJUuoIT/wocBYorbZo2JPCowMDi9U2gzokQHuKp90UbuVsaepWP4GfxXkSRLZMFXqzAZWyoJnWCT6e/1F1iOkUBG2Scc=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1788703022

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

