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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-153

%DESC%
Detached debugging symbols for agda

%CSIZE%
18487213

%ISIZE%
110746879

%SHA256SUM%
8eb3c348f58353952baec4051630312d0beccca68b0ea2bd03eb0e68f4c2508c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmouz1UACgkQeGxj8zDXy5IRow/+N49M4pZFWtAPUUbmDsA34m+tN1gHtXiL+FeqPCXg/IYPqppCe5ufcQZrE0oG4OaXEtJdJvcxEjZnyb1hMcQnu8qp793FkfYi6fKWsYbDKzp2d8OHKvMWjDrHOHue356WkQ03n6mi6LYhSa/04rZvGtmLqy5HVtyLqqJPvVFzgprIo8LMfeYmOp/Su7s4ZujFSH2Dk6ThDoD35rSbmAFkW1i1U+UNVo6J3WGta1izeKJELrvAIhW6cGXSx2571IJLIaTlE6OTUR2cmyhD4i27PwUol1QBtx/jV0nLCLLrhLDGCuCkW+eJ7P0heEtGuMDoWWRuYq4c8NSxaRkYHoZF7yDQLyHICvJbxowM8G/eXBgZIoJ4+2/QuqIzuOViAr9XB/e2fDYb17SHcJezQqcp5Z+k42z7O4/sRRYi5xoLLZOJDnEWKpMD+lbM1ol5zMIB3cX+CCRubvoRj9/zOgvP4eFvo0cP8Lw4MF5mF2hv5El94zwMCidiTn+Y8oxJ2YUHUPZ7QHYgWVNQEDK/9T4J3hRwN+M5W8U6tCULGoq7gppn7LtzfOyGpFNR9xPHfnxtMBhKAEAnkkfTyfTf7rmRJtcQQhN4sW1Cos0Asq2s4aL0Q5mBD4jeLLl2tgExF83IZ/qN92wCPNjPQvU3eBB2+kfhbQ0seSiApBbMxPRBWeQ=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1781451896

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

%MAKEDEPENDS%
alex
happy
ghc

