%FILENAME%
agda-debug-2.6.4-17-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4-17

%DESC%
Detached debugging symbols for agda

%CSIZE%
5253

%ISIZE%
9064

%MD5SUM%
55218658a2ee5a858ff5c27af37bcdb8

%SHA256SUM%
f2203be52e8102195cf1676a591336ac46e06283d8b5aadf00daf0c37706a288

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoESQACgkQrx0hme8KPM8CYBAAzjd4ojfylysRbS4Yp5TlcMWn+680lk7PWz9BkEubUVLFRHCMMFSsLAS8JU4C6V6/2lhJtmgP9kmXP22uuUBqHd4dew5zukCPz7ojTLPhJJ5CfAOnRs7coifNFqK5iE1BhPJGMsb5FgiDuAovwKztEJ6wxOdmN8fCed/wmyd0LOAv5KW6qkuSSxSfSj8tpcuz3TMYcKrAnrieSHUHI3bus/56r+SmN+1hO0REzUBugUAfxzbjz0X6/TXvpKuicx8l2JImF4styrOyLau+81t5a9Tn4TT09NkIYLPFFmbNitWa3xJpyKL92iRGa6nONfQVIlWootJ9vV2/M4wyz8ddmlOsG2cAD4MkPKy7CELNRSwA4BL54dWzjkDUbdPMto/TSzgGGuJjXAFq1p4WdaGDoRmZL1gogt0vEU64fCc06+fU9g1yZbccf5om1licmeFZC3B2ZMkQ5NHPSoW8/SrrBCGO5Wdxpfc1Sc0e4gVDhMHgKWW56KX/UoXRNNwri90cBu1BkZbfVAzB44xIN2AfWqgwFT4mDKPkqNw85/6FqWCdiJ4NDebI1w6YYYGyw0wxVzBdR6b+mD9rYUqKt/keFxMNZlgo5MdEMbf1zWK5HPD3qhHHC5a0Tf6cuoajFfRAvASZD6a+7qWab9vzicDG84V/rP/+liC4wuybVp21klQ=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1707848290

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

%MAKEDEPENDS%
uusi
alex
happy
ghc

