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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-25

%DESC%
Detached debugging symbols for agda

%CSIZE%
20246326

%ISIZE%
121812782

%SHA256SUM%
826861b1313e34361da31c795d026544ec8ff7909a83f7fc38d7d3dfeb22137a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVSmAACgkQeGxj8zDXy5ItIg//eKi7MkFgzTx++PhudE1x6RZpkCwtVvc+/CWpfkGnTdCLSF6JUQ7rlldkOAQi3SCn0ZDZoWQwf+fT4/iS7jxneW98Guer2OtNRZ/0cvpJt6CrYcKpMvzURgVsHFjtCiwdw5a9gzB+rxN44Y2huYcWfKNlmJsRLcTsmwCBzvMQn5UwKWkBZKlgqtiC8rtWPmAgiYIpapsXSkXUASLVNgrKJJHRx837LZBuj8pmOBOvMnn9Dsdz6dBbHIZ0kml2H6YJ0Ix0e25K9awRfHikkOX07mXcp68Y5K2HNvHo8Uuq3NWNxdDnMvqr5NrZNM5rEXtsJ38YzKKblxvkbGydqbGnTDY8WcOsdC+xZ9P+XcnaRTNLTumJwFu9i7GYpp+BK4I47EmKfj+rxHz378/mJewVSMrNzxJYW1CjtjENkpPWTbdEu4gvyrNSX71UHsItw+m5TObS5yNIf+plehBGi5OwI5oM9474CxVLSZbl0pUgzi7Lt2ZqO3+f94Qh49Tg7FxqCpaeuROzjELmF1KB7BZT/CbV1MI3tD8jnuOfS83yF230O6MfwyfX4L/Ga+4WT7X6YdEwpX15WS5yWFH7lpdWhSktr0ExAsymPhwGPfVU0PvymSz/gZIx/FJ6qaPJ/wHipFFdUtKvEVH4YFPL0d6m1dcY0LUV5Uy55SQKFDikqmw=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792362731

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

