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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-8

%DESC%
Detached debugging symbols for agda

%CSIZE%
20270911

%ISIZE%
122869700

%SHA256SUM%
fb255f716a4fae025c3566ed7a8a4fe8120e87cf1285d65e505d817f717748b7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXOQACgkQeGxj8zDXy5L7Ug/8CmPJJHok6AYDTixSLahXj7Q0/cwUTxD/cMe7ZXY8MVk7d4SmvWxxOSn+51+G43ucxXYW/O/89S1H9g2H4ZsQeo7l3Vc/ltNy7yl6UaCHQ/LmPAhEIcDhhAPVKsI9mX2Mx/fA0aFyDEoiNuDW+iZWK2qu1hyTzTdGLLBU7KCZW4YSZQRUxgj3L5mPajfZMjJ/dka8dsqZLrU1nWkrcojf+Rj/hZkvgMwTm7Yeeu7baRHnmOcj99Em6RA5DdW+eA2O2nFoSzc24A/fZT3NUIzSCfzX36x6lHrXalGtO7aPRLNKlnvZBrtHwF18blzxZiGPR1ZSWHnD1lWC0NStxiLeLynqoaoaEu9/WDU68d8jKXpgeCl8WlDB3T9+7nXe00/SrnsKrPK1P8WTYwrpC986PNwCWaf9fnOFG3cci2XGVTTpF2Uod9f+/L/+nsTM4/h8DgtiO0pRdwOUqwl8WeCj6OCwLrBjI3nRDHgogrTYxnCXFILrjehtKNpRNHg5LZdnsFKB9VyvCjmTL1S7c11acmMMfOeSUwmuxsBcztCTb1ReFdadnF7ibRDFo9xz4q3hSgRtwDziLOJmaFvZukoygLEKQFZFIByvYrHD0glZFRl/TWB1A6l8t7oN5sL6zOxqPAYqZu08FZuDUBAcx+PgSTABmREnAgERHw83OUqJCrk=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1790991166

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

