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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-10

%DESC%
Detached debugging symbols for agda

%CSIZE%
20256838

%ISIZE%
121107330

%SHA256SUM%
62d907bdadd746200ddb648a370bdd1950b72262bc2ecd96906607a91c15a09f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8tgACgkQeGxj8zDXy5Ixrg//TjD11fRrFS1Brn/3LhJJeWiLP3ky1eziww30C5z5/ffmUiX1MkVUHPvq24BO9/0+e9bbPA55k93r5pPGHBRpzyzkzzh9zdDM4E4T6BtBYtBB7r9BLQF+99c3iCJHvPMly2x3fLFU2SdwTE3kUnYboT7fGmL6mNR/yCfJBYKZG7esBSfeQJ6TiKoQn58O9uVmGwgE1uWXbqtdZAnf+xwRoQdPtvYoxVE+KqPQCx5UTAbPKWnFYQ948QgCDQF3zJCFZFSUrsxHkSYNe3nnxYLyLMFCoj/I5hp/WM1W0rxEUVjzP3ixOEwvLYTdUUayZuDcxUZV7EKM/j4+nHcHpsfIZyA+FT9nCOlHXBiMMAKSiwqt7EmroxEjzUf1Z/e1HSoqbANKhy9n3SgwckOhdV7piPmPGFnrcgV1y9Uc+PdkwRd1Wmdv/OZsxim/g4Ifb5dwhQMzYXcVQZKf8+ew4eYZDN+dAP8FT5QcDldbWntE+Wa3yHga8P7s28Q2SCiauGp5vJ7xFcaP7EbijHjA/qIdzz7xKV26+DoEnax5vBbHFoebRUF7YAjAbp7oEP6SQurjOWbRhK8cCORrMX/XuZetEe32dEJhbhyWEe5oS5I9GA7vA+X4BmQjdJBCLPe4hH5KApSunenknWzlz0l2+lY4AXaICU6s1VKLI9/XuB1utQA=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1789522228

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

