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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-174

%DESC%
Detached debugging symbols for agda

%CSIZE%
18481567

%ISIZE%
111051698

%SHA256SUM%
71dcaa2a78735077a77016b6273e21874113f96fc8982cf24a49e5c6d34aa375

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn388ACgkQrx0hme8KPM9PCA/+NZipoFwp3/qUEZoALITNuEmMYSr47uvt7e4ReliLs8Fngepk4SkHlig0kK8DFpF02UmQ/og3Nx3HlAnZ/zJpND5lSa6jf4yjW/Bs2NHw59g1KyGMjXwy9OVaPyIluOeMAmI1LVDOJZyy2lVyVFNO1wan3ciT7+deBC6dEHZUkXr7+VeOOt50O61DpjqJXrRSSYLR0LTbS7Jf+QhD1Mg1TiPxAccw4MOW9szNJdHUIEmKLaXgwIH8ZcQ39uf/pI+iv9hr91cD2/vTcpjQ1PUqQita29LpCzawmeN3YzMTbNa6S18NvW+bsns2xofw87dF1Cg+lbSn7jUiGw2eCAatG/Uh/v6OUBxFnZwN6KJHeNoPFwJqmJycWkEqK+skEoRLhzQIemv9ZmlBY7PKFnILkhifEwSG05dp+LY2ZkFj0ZlAE0xPPAFMYuKCV0JEkuTXYKuW7eJNlog/bxOigALzzVeGA0cBDKplM3wo6uAZRcDZ4C6LVSFJFkB5QPrUzQmThlrdmPLo1mCc4S8EkkVIAK2kYcCzfnUZ5yvTzIL4WGji2C0DRrgwljDG3MMP/BMbo282WEWEjsKd89EBN592AZPNL6QB5iJlrNN7S9i+h/UUNGWlyw7CQL/1/uum1+5WRMlhGPz/5ZXRHtB+SsgOwkTaDsoPUMs38vl2lXWePdc=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1783044191

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

%MAKEDEPENDS%
alex
happy
ghc
uusi

