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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-110

%DESC%
Detached debugging symbols for agda

%CSIZE%
16227299

%ISIZE%
97909287

%SHA256SUM%
007435d1b479493af8542c0266888d8caaffb82e00cdfcb8b26bc8c45a412b47

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwMtEACgkQeGxj8zDXy5JVBRAAup132JKsxbwo//1v2gEqd2dYsDv2SJqpB+2y+ETfAa+2i4BRe0mN44ZRI2vZ0hBhFzd8pGYlz94HXFkH2xvo1PpUVwVNnNM/+oYgWV/GepXIjOx373E1ZQhz7YHwCSFuZ7NEHS0t3vHuqPFrJWSJlEQXYt8MFgO99FbJuVpOqtE+mA9eWZr90ULMPdtO7jUBd6PfLsPtXbugF+WXR5nO0lo3+ZbqaUZtlQCaTGop6f7FfRpNgOp+FmoiMlxGvJ3oJX6W8kGF11jaoswjK8bRqijDiTWcc85U0/dxbnMMumFF9swl3CRMTzgPXKtgc31Jnm3i3La/GWd0q6AdXbPjf5CNfvLawe0SwCMkHET5Yegp/RmM8NGWl45+SA75vzz5hsPL/ohQRYHl2s4IHSXjoqc33jB9/eHsIN/zDgc/KSC77VsWSpeN3eAKZARLr/5YgyVoEq8a4rKSTEv+Q7g1Gcvm/A1SVCsDgqtEXwlY7oid+kwNFN/TQ7iCc1G2HohcfEXcrzsaDqBforopIoLrhqKjaFddM0ByrNP/dRW5rK/KDdnXWwhqUpp6xQPytCy8V/Bq0rXdcuiI0hDme2E+osKwZiSRbKyvWh+4rc1oVS5gA0rDwaLeVd3TV4X1mpvFLTJo+IXL/ClbRIm0I3GEWffMCAO24qmt3pAXtICpCf4=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1760571728

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

%MAKEDEPENDS%
alex
happy
ghc

