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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-31

%DESC%
Detached debugging symbols for agda

%CSIZE%
20247830

%ISIZE%
122164790

%SHA256SUM%
c65c67d0a9a32b2fe2a37673ca93a72bb71aff0428f864893fd062b038677c5b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrn2A8ACgkQeGxj8zDXy5KWdA/9E5SIHf/jwthmvKiDW0C1Oo0ZG1gL2JEPcfMjhdsLNgp5yKdREJlA862u/jcTEIHv6Xevr//WtdaaRcH6/4uGNEgLLkBOWKlJUnRNC6B9yCjSOoxNTb8m0SZNn1LWEjZDooS2aUM8eHW4dt7n6sPJ7U4mPztHMDf16nkxV8FQOGDKSkt0InEpV95CX2QE88Mc4ALS2RVF0FxHkHr/PE481v+apdcCMljH656pMnwPpBXEl8bI7SSwWBd8jHkA1iIUxAbF9zw1gHgIIy46d1JxQOEYLEGFYUP0xr6BAyv+M1eqZt6gvIuaaINrfKDuIL3ibzH0HWA6Z6LYcU517fVXe9wduQ1ibuRa0h30e5FpNOnjmLUDIDnM/HGf10jHUcIy78WnvovGMpJH6vior8jR4W0gYnup75cE3O3yFLxJIu2G9tettRbOhu5L61yegxYDUthkGlDahIG7xc1p+lKW3dhH82St75WIGFigb9kRa5ZMLuTX8fviHUgyrvYPNaLQ3/+spOa72MjDWXDL2mrWPYlrslV7WP1d++ezNtVDBNAYU3YRhhdpH6JeUHpAO9fa2JBqjCYeyoqe6ZA287ZMoINYmq6Qw+el8FzQyrX0IubZE7F7l0IkV/n51vjYXHKA5QvVm6oTx7ThsVMwu9Psr+SX3HKEXxmDbuI3kOPGit0=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1793577902

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

