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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-154

%DESC%
Detached debugging symbols for agda

%CSIZE%
18487075

%ISIZE%
111393370

%SHA256SUM%
64aa141976c00bf605c4f522949e04658ab8b9f9452e489aa4d1af859fc31ce3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozyq8ACgkQeGxj8zDXy5Jnfg//RiV1Uae79eqL2daPE+F++P6mdNzGtZtY0KnXAcQjV1bB6QnNJhVixvSJTpnyHlNfEz4BgI5lfDHbd2WJqZ8/hhdU6rLex3IVfQ9HIKWISuWiaR9Or9IqdXiwHvoWB2K8ncialO3q37MNqQBBFnaqaN/UO9G6X6F0lyUjpdzUqnSfJ37sGOUqUH+PP+4bVMu9wh6cCh8zneItl9v8LjoeXXAUqe6UPrtK84ISLBEdineXVNOqySUQsBgK3v2g9mkNrm1HA7e/mhALj9jTW4ZVwGWCviR8dg4OUs9gbMGk1BkjVbr0rSbTETyKDdmWq4RlN4kiPoN0MUtMlzUP5ilKvtQMmdrWwscRyJP6FEHWIlIQg6uD8vwR/HChC/eipQx+ONncehWVGWNvqDExecGq73+cAn5+ov2Z1UkClhaPLMWfxNxDOtVp9SnBOVCsk8RrRMFwD66L/uylauGzohmADSubbt48bBs2aSmGxeKZG6vS/DuipN+tn3R0dn0RfpxA3oHk5lKcih3pmog7l0SqNArxbdYDtZGoPUkA7guJlSNA7bCof2mnbBWoLMTVwgAhvspOCLLF17U1LV3OrmJorIoxrjVsbCeLfOberDRc1cy+Bx+ALbrY5RatDAvWRCfhG+NG/GlnqNkGjwdhtPd4MzaslIZCdr2FxP0cJN9CQzU=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1781778850

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

%MAKEDEPENDS%
alex
happy
ghc

