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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-28

%DESC%
Detached debugging symbols for agda

%CSIZE%
17068130

%ISIZE%
102468905

%SHA256SUM%
1d4f359672ff20cf756125fce3e2f8f9c320b71660216f3ce42c08e80a145712

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHrtYACgkQeGxj8zDXy5Iw7w/9HQYFElYl7XqlsqL2WfHPPz8ZX6JTyGgxt5YeEFNiQXzqy2xhqI+mxmi3SJmE43Tjpo/fQsuODbYCDGBxxOGCcLH5UJqAd+3S3BNeUzBU/zpWk6sAZICM8A97VARho+9da1R8mURuvyECIt1jK2a9b4JdPpxcdKUAwXcXntNz16jRLR2VHXn9kqS32vsEKXiJF+yy2gnovxS0QkLdl41EexjkDO0df7HmPLcg5zROjUgoXfXTcJWqM8FY+KcPA3Hmi7OkiQ1oLFmoGcxKvREW4Zsg9MI+TmlTSVOakBk4DDpx/omRjLb9Xc+DXeI5BXJ/eN6aPqzEx4Twa/eVPl5O8moOqbasyj8tTOYroPZnEuUBb6PbQSJ6LX1ndlK2wafbFBWA9e6SY3YdishsEnhWnXMS7Mi840Ivg6/itQ5b7hzsT87ASC5CwdNX95VfXQntdp//x/Sef3GMeljx3nLw9rm0/rtwRQCRTa3DjpMyhyC02IxevAMrbpc4zoqwtfM1hOZPPwgXa9iSqvGp59lMs+4lOBOVHZsuukzSY+pvopkf5a7paEnLDEjRWn/FsvqnjOKdny+6qbVx8MbZHl3wRotLBOr1LJMLazG8nAT4epAqNGwD3v5WT1vdKnjmMbl+hVIzcMsmOnUv01O5Py0+B3odeTFe+zxaq4EDEqGzjVA=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1753722166

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

%MAKEDEPENDS%
alex
happy
ghc

