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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-2

%DESC%
Detached debugging symbols for agda

%CSIZE%
20234900

%ISIZE%
121107914

%SHA256SUM%
1e28ebfd160da020738b1843d849335e9c630b22408e7683b32afd3775627e08

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqADloACgkQeGxj8zDXy5KXbxAAs0szNiBFZal93jKfVs1g4tIa0roUWFq1wVD2jIwcwIs5uWzIaREx1fc13scEQUVMQWEIfKMWfkLq6wgvUaaAQ6DQMd7yokuZ2oClLjmfcGKyvpryfODyjelOIPNSyfqnL75WGu72wbvxUqmM/uleEZjJ1KlGUz4ILNerFKz7qqDe5Y2ePtbiXp7uVmSWHniLvIYl+dJRcTmVYBmv8kMB25NN2iV2vZdToJwJO7PdFp+377t4vVhElLrZX5IAodtjpIIF7Cp0/eEtEOsRswtQE1T5P8HLPAeHSPAbYuSWb815MEwoEC67qynNXzWBNid/niucQ8UcUf32myxaPMen/9nTTs8saOW8hJLNQHxR4qBERDpblpQnyOtumUtJZuBzvvlIkdVKuqaSen0NmqXIgzT4nXq1R9OWE2GosQxxQ7WzYliqp8jYTLLqh0MCde3x5hdPpP5PZZRvz2h9exPavkbH2tvA+bAXCC35hKKMnReI5hIBW1amh7kqSSRXW2sS0fdTQFeKSsr7DZ/0Z+OPb5QkDIK+WCq60rU8QSdngihpedWB0+p+4uaG6/mITrskgZTMgHTRapXJfnGxOeih3aPSZ5EfUS421H8Qnge/ux4rizquXGIk5KL1JykCaza1z2Gi4LaU01bTq6Cb1WkEwDEO3XFwE3CtNJVJYh/peX4=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1786776486

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

