%FILENAME%
agda-debug-2.8.0-5-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-5

%DESC%
Detached debugging symbols for agda

%CSIZE%
20242329

%ISIZE%
120755314

%SHA256SUM%
785995a3dc11197258914a797fbb12216ea5ceba639a94eba6afb8373146a837

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTLxcACgkQeGxj8zDXy5Ji/A/+PbmpTooJJBNnu/wpgI8ijXTtqtyuG2tUG8aLjjdYbN6vIAFO4e6a7+3hzXjRYf5+Y99LrkigrX3EKJsP7yWL23Uj722tDGWkrW3ANcUBy1nXDuoqq3LiLkNMh6BiiOssuFxaZlJBO8fRMnHMSJbsIHlqn4g7pfaVp/17XnT362aVNe3gtZyHuQBgnrh8L2Ui7dbhu186sckMdJqa4lybL84b0fzuZGG9gNxQ1sdjyjV5CG8VtNjNjYJ2fRRI7Cy7ZKSV0cuBxPOoXw+yo/RHE0tZbxAdxlkw1k6X2Vx5GqWrDviYqkYNKitl/biBr9cu6WZAl5NHCgN/aShqR9j78mBOts6fHHPPxI6c0E7VGZstZ+xrTT3hsS4b+yv2ZaIW7k2atRfa0HMR1PhlLRAS2EB0k3i6KEIn64ZBp9ZYtN+SncYyqwie1BCG+u+89WuG/Q9hZa1AF1Fs5T3c3b3PICTw6BXPdlNtIHJ5wMGbA/jIqILYxIqHWSi/v6zukh3EDGw2aGD4cmdVFyH9akFdSsZskUTcllYo3plGtxIyZ1HJbHghJ/PKGKwVcye2Ag1pmtNj4a8mvYj3p+Gz50iMkra9HylV9HoJVvaw+8a4K/eByUtGhdJ7freLD+n/EGB8SO98uiLbTtVqUz5jLIvLtexxFECMb17y/W9i6Cfhjac=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1788029601

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

