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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-24

%DESC%
Detached debugging symbols for agda

%CSIZE%
20258193

%ISIZE%
121812988

%SHA256SUM%
bceab8f6d9e459c510f3f32865a2094f889851545c8f37e0aa91dec9319764a5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTZO4ACgkQeGxj8zDXy5Le1Q/+NN81QGhWpoNhTVq+HXJ0y5oMr3TtAQGiqSWLegl7GNp0ZmuYGDgCrx+KO4M2965+GnnBhJZsisZaWvxL3UqjbSJj8tepTZ89ajG9Puj2jWQE8xPDBErh9fpHUg3ShbeKeYokXX5dcJ9DariK6yn+va35jfTo3Z/EqWFKiv2TYwr8RdM+mYHkj/i9f3eaK0pCubL1k9hRZoTtPfcDAe5GTYALalZHJUZhGZFWEIpFszUNyrHPfrFoEF+TvcinOqW2LAY73tBgSN+drNNG8HoQQD+5xHc3m0msWcbkYIvlt+M7C2A85MczAe5piaMDb9t3QB/h2EVcMFnyIdt68Y+77swXAxAxm09IC2twqIN/kzfnCvEsPDzLczc88076VFDZ5N/GtrGmJ5/ONpO8+0TBXbzcq25TN26LD7451r50tjlxINeh+WSAosQvUq4B5iz2y1GPL0Rm2uxxQJ3XvqEwu7Gg48YTkWdoOFQEzTVXLSfEsPSmhsy01jH69UUBi9wZe7GzoNFgvAiXTTfQ5yOIA0PFGYEVjm7xUc4NNO27hecFlAXmtdwWjBmXpJLRovBBsy0+L+/QQTKANnzoWiggQHUHowUXVhIDi2rhwDcbmHz/4m2zXtRYca3re62DMReqLPunrnLIy1OK35RDq79PlM/a9utKoOjXy6catawziYI=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792238495

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

