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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-175

%DESC%
Detached debugging symbols for agda

%CSIZE%
18482285

%ISIZE%
110728826

%SHA256SUM%
2aecf58eb3a08c6e423dad3c46889e8c8d8281d5c194696da5ca921a53e47027

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7YT0ACgkQeGxj8zDXy5Jd6hAAuZ04ydiADgoOf54qlh9fWmEV6gWGCEx35gYuNMa2cUzrttk5OvIrmzsU8Kug4U4Qkqa0KnNbOKQf06BEUKTsvTiU9xeFQfu9/xfDdg+xl0mdVAjrsDgnZ0W5NUbDTFNLG50f4KdVJ81MmEsZ/apIaOSnZSbUcyoLScZAOMbJJ2n8+YQL67VklW+GYp4nxhiFVOdQ37iOKg7LpuvOScUfhAg7sYluxtvx7lhJIe2hTwjrFeJqFzvmslLv69VYGvtpqgKj+5o3M0X9fjoRH7K2vHlMX09V/T8C05F83rGK/UnU3ZfRxSh6SWkLC02Se0mRXJgwrNfykfRhdHq0LRHFD3bcsYZ+yUHcQp0/UJuLIceCVkQd2Ii5N7IE8ar9iRkb/h3rpvMx6sy0PDfVTP5iwe/qwOgP2KLu8zYsElJL+97HpEovhLgOt1XPptJ4HcqvjvpmgqFmlUHfnTQRZc2bjpXnzuJ9Abbb8frkY9Jq2q9M7TMuZHRRVaYzO4LtZsiWU1t1PqmVfOSal5gActdRkOqn8TFyCtIM9PJm1pFPi0u2JW7tTfOfsCVRWCysGhm5z5VeM6ROSx4+H3A+OxwJzPnRFNBX6pT4mi6lNZoKx01na79gzTDGg6urFNSE7GrDP/QWRORdBvKCzbiS8+f1La7ujlAZL4cnPICefx7g388=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1786470307

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

%MAKEDEPENDS%
alex
happy
ghc
uusi

