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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-107

%DESC%
Detached debugging symbols for agda

%CSIZE%
17117154

%ISIZE%
102740743

%SHA256SUM%
bab35564f15c17e1756c096624f1df3a30dfb3ccd0bc08c3704bb9fafcc6a0bd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoUP0ACgkQeGxj8zDXy5K5rw/+KHGIhYGyeQqauVLb0CCzHF8+mzNzD89ra9wm58N+6ySCPhAtKVTekOySqF3QqptB03D/IIGtZ/aXy7eplXTtEz/snXZX2LuhqDZdhTmkzBLPbo/LaiodrRz+Cl74/UyKGnsbl/7J+QG4RZOAG+SkEo827fP2Z0orliFIRjeT6Aw/5HNv6j+SxnEnSmZJM7fR+99SeyAG0EW8A8yO3+BEjsPaVj1f+iLyN19oxO8hCga5LdHeWz6fEtEWtej88nXnXDW5okTOHo60Q3UeuwkuUdTXHHvYAntK0MV1EsE8X3KgmsjaIWB6SNGKtIuFZD8TYb9PAE+P8/AWTdELwDfJq/p70r0dmyTbYPp5QrLbcU3Dl1F4TGfyphLYRIYTnb+FmiHryNGbtgqU20ZPTIuGd756LVQijEMpHkcs41LtXgzMwRYDWbt4bueLx8zmJLIRmIT5WCLMpgV00I0GIK15KPp5VXTg6wZfzG7XnDGdsk9sVfLIuIIsH9X4YJC505eVkqQCmO5kMo8Lps2wG4ETWrCEkH8EFUnb7O2B+2mtFpiTUSs0X3w5pVQpeyr11qNnrdDV7i61LPJCbVpmaLQL6aWwbNrbfpElCGl/YGgVK2ywjk9/EBW0Y/TSvTgLDpkONDqg34uJ6RxFVKDG0wPQRGPoBXdPTIGi1uQtsU3PolU=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1760055138

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

%MAKEDEPENDS%
alex
happy
ghc

