%FILENAME%
agda-debug-2.8.0.2-20-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-20

%DESC%
Detached debugging symbols for agda

%CSIZE%
20258236

%ISIZE%
121812852

%SHA256SUM%
893b9e7563d277affb6005399e6b623810f8b157e175ba080e04c824fcdb7774

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMo1YACgkQeGxj8zDXy5IzaA/9GOROquK0mcOxKPg/DXz980a0c8TRHfacncWdCD0vXGMAJcMCGsGIVj9JlAj4eVWFIDkrokmbnwp1Ec6W+NgOaFZGWMteoZp/GjiejoE5+c/LXMiD2PpmgaxIQW06/cxer6wd3AswRupa52wz+f/7z1fjd0JFSuYOKyGkqw/N8k+dt78L1mk2XK/zRaV1A11kFjlP8ehV1jRR8RYnrFeDiMjg7pMXnbtRnj8hhTvQfPfWXp/YdrdMUsOVNKYM60LNpROiGzYq2XMGI9dPU9YhB5IOhFujXyQE/RHBmJ03PUi2DNCOeD24Rt+I+qV8KK5gdg/i9UKSj8XDQtJ0SSd3ii/GNoNiM+OFpmut/Uc2tu7OPl6FHVAyRw3uEyoGSObVKB/oJyynz8ut2/dPxrzaekg4YO1UPKKkQQlkvSlxRy4K+e/5W+G5uERImiNNwTPza44xterJZ23gtMcK1cpjefU9v203F8nYZG7ErKXNk0dcBNbJ6Eblo3iJsbyRmloJzqwhWbpuVjQVXMPDoB/0282kg3gw/U4GC++Bq1R0S5FWv66Ly53LnU+lKWl6na0kNvPsveaNgZtmoENOLgw7RMwySr0VG/SUilGcqAvWS53mRFanpA/lwZ2eksXUKa1bBeHQGCf1z9hn6t+JScz8CUPrDpDFJNmGDGfSsawZ9iA=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1791795750

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

