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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0-3

%DESC%
Detached debugging symbols for agda

%CSIZE%
20271912

%ISIZE%
120755378

%SHA256SUM%
4ebdf0fb022a649de124f8f0439fc8c0371c06d4d772e566aab26614d027d95a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSkAwACgkQeGxj8zDXy5I2hhAAn7H8VRsXSr47Vxm3P0yUh/0f68KSLL84M+HduV90Sohb/4bBi0LYhlGTkwenZIEVgwrF3g70w2K3uIQBght574n8MKWWBeATB0e227IRcN//0sdMLslsFNLskQ3NvTeb7bN5GI9V0Or8W7oAAPeoCAFG4m+TVdbKSOWOobGQaCGw3iManBQiK08QmwOqTJjqwFDh2zEFf8zPOhSULUeMhrNI/kMpK8iArHRQhBhPIRIvSwmf3Xan75hxyjd786eyT8OhS4OIhOjdbpBfegW31/FvRuaP9lynTk4OF7Aw5HD3WX7IXaZwMBaYYuNXL9YSjwMNyZdlg7Umppe6dhYfB95QroSftDnmk8v1ZDwx1zBRF2372nWel4L0NXgUgBoBN64zt3T3gsTzEk8kKDyr891/onGjS65esRM6GyzfdMJASbSh0tTotiqUfNAG2jveQv8A6WEuhG46Xcgi8q/cP7Ct8F+xLIonmWRylF03Z3VJ4wVlAPATHcIrcNX4QEYJJMihjnQWTrUpwAfCbzWMuicjRKvwIPnz7iYK5rqlycaf6ab6W1pRR3lVStzo+EAuJ06mGr9+9kxOHaMLAWnKKYxQCN72lXQ4Lk/qcw8QH8CeN+4P61KyNRuF8szUn4pVog36p4zZA+kkbTwV+2cUh8Mfwkhlmw9llW1idNRq9a4=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1787989580

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

