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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-8

%DESC%
Detached debugging symbols for agda

%CSIZE%
20232856

%ISIZE%
120403130

%SHA256SUM%
7f2fda3374ec1e311f4198771d4cb8f3ec1c68f7c0df1d63f5ee1746c60bcc33

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqWvhIACgkQeGxj8zDXy5IdAA/9HHa/jmWeRvifeCXqA/9m0JZTyO2xGmX3HRdeRxYcUq3ba5+86MiqkPg7/wvDNqdogNAOeHnnvUeq4AqWbhiPEeG6zHSYIqbLBBMtHbNzGOGlwtx654Dp/3yftILIjMq6HrJmwaIjsaz3nFZfno5gfBScXxXnu6hgHcnXX4b+Ftx02gJw/7BXsUgexlnRbBpDij7Ct90vZ7G6vYIAay9iSYRQtSGD2xAg7WhzXzgeWtDS/WvUA8xF3dJbktaa8ghU+YMPbkUw6uzZn4zgohLBm7EStQ/CdKlydEj1qcbo2uPOmkPvj6YtZ4pLH95XnwD1kb1jBt41TSFhLeIkQh7t1dJoG8J/V0IYHcBJdGjwoe/IzbPHcOQQAKESQkOlhqkNxiZ8gbTDYB8dWBTKbEZMG7xIZeYhb4JA269O5USNeTISDNXiNzYc/aQ4SZSsz9VNwDwv3ZYtTDVlWx+wH3gf55vE3CP3lLQlDHsyDVH6lhkvQajmGQcmBYt0Qva526s3PUJ14D7pbZILHrEy3p0UycBNyDgygz/m7WkMDfR0S4SruvvuFp9jbo65WeDZWnveDk5mH9UxhNVMUztu3jX1V6Wg8JTSRzIxbRZpTz9TFnE0voNyhhfHM1SlKxiYQVXtYwzfgGY5HVTYN+WMDH+Z6kQ+yRMIbxzdFKp6dmq4ilc=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1788263491

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

