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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-6

%DESC%
Detached debugging symbols for agda

%CSIZE%
20238574

%ISIZE%
120755066

%SHA256SUM%
87ea2b837df55f4b40c01a7035d9877e086340540f86184582fc33eef0287365

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUR0oACgkQeGxj8zDXy5K+JhAAmqWRQWuWhwzbmCwy9s5DCqGo8UyFPNRpt7xcVMhYQa7fHAPtvUFi6SDsrG3j2Gc3Skq5qbP8tnM+U9+JC20Qn059Fw42s/5kUz2KWiMb3fPSff9GCCwf7e4psU2QrI78Wcba3zISW/KkTpUvQZTdwAIgvjusVjIChq9aMujqxFIXdaV6H28uqhZ2A3EDXUSwn5fXcdceTSlanA83imwu6k3WlENzfMZLaG2Hiol6hMfJitotn0qPGIaafgXa4dka4oCPP4rkP50iabpvWSxJC5rLOrTrmOojcxI5glvADccoeBdfFlx0AufD7+vwDKyU8gRy4Xk7ZlqqL5aFCs4zxF/Xq9UDB9C8LilEK7LbOVy113HBLJhDsc38hPBlxJvBVy3umXJuI3U4siVqYSntcar6/tPDFTCe56Nf7Sx7ldAqxFvIlhOp36R1BMap/s52YR8XY7LVepOwfhkfTpYjdvGwTqmzR4ooqqUsCw5V4DfCdz8jiMtZWvDBhte05799I+XwEEmrbHfBIiTFY448MDTCstwEM5csun7y6yBdrSDd0DCQMZ6y+gbFLhS7FZWqwu48WyVUgdvQYQSMHNW7UsgkdRlsdyjG3x0cJyDQX3qQ7GCxys+hVJE5G4rs3s+syZXQGR1z/p/GIImK/c2OhZMAlNZv72ZVnStRVxre0t8=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1788101944

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

