%FILENAME%
agda-debug-2.6.3-13-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.3-13

%DESC%
Detached debugging symbols for agda

%CSIZE%
5201

%ISIZE%
9064

%MD5SUM%
1ff38a15eccff2d4f28c2d1eae0db2f5

%SHA256SUM%
fea8447aaacf8146fc6604c4e3ab7e0df915ea397b1a9bd3f095c9e22488146b

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHLeYACgkQeGxj8zDXy5JHkQ/9GxskSOp9CfPiWOl3hVaSvYZDpn/x8LBczkWs7qSvXz53QRhJ6zSPWiAksJbZ6DG0fZ2YWBHNt48UWoQbxEF28fqOB6qtpK+ZC6adCSa87ThnpKdmsBXtaJLRNWDo/mSDQaYqs16Nbe5n26FleStggl6mPuGIGTN3kx40A9riTnSZIJbLVwo/xBSEHRpBO7iWWqnVXCST8W3wbhmqegtcIKTL0MwknXEgImdjHzkTi5B/XTq8wjYLABxYhfVh7tfCxZrGwg9FdlEpfdxDpmIk0RJJThC3hVJR/AqyF6C5y37V77FrGC49I5GSUsO4PNVkk+GHCdAxShS/P7iJTYShWfcQXX9MmzAMDJO3vowG6ZKxaoO4Q6DQijW0DtKuwz5HcjuwumMG6rFmvLpPhwdd+FWzjPwRNcxktnp/FOZUwne0jwK0X08pBUY+vCXafEMZT1XIZm08FyWH5lhFqCFoZZSrJj3qHTQuUqiMOixxlbHs84GfMyhNddIgK16VbLTAP+Ijg7uOHTyCS7mXLgWBFkQGkl7OjBZYLRNVlxmzvJXYee72s+dwbJNcJX74FHSAWf92XJ8wz8snJ+g+hsSOm6QuaNulBElcMvQzE4o6ynZ7V+vlVWwohoxwR13pVaXpMGmA6/PV21GoOEerBnts9NWHXhyopQ2duYrSBG28yng=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1686580274

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

%MAKEDEPENDS%
alex
happy
ghc

