%FILENAME%
agda-debug-2.6.4.3-144-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-144

%DESC%
Detached debugging symbols for agda

%CSIZE%
18483076

%ISIZE%
110746727

%SHA256SUM%
3b82b57e46d26bdf1e89f2235892c4958e8d47692f818ebfbac9a73a0dc649ec

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8QnUACgkQeGxj8zDXy5KGfxAAnrmZfHMRqOrSi2do3M/+t0jRCvG2kuxrDbOpue98Jcc0glSbIFyq3d7CGoEkZerwus3TWRz1RN8dC7eU30CZQn2UkSnJ0GyTDFEOE0y+9fuLEIotVCLeH3Ue79ie+WqgN8Sfrf09XA7CcZ5lTWCH0HRJWbeBVdvFtipoH1Q2L9i3dxaP2qbVuwfRT11eYzuP2iscyHQhGhWwl+ZTRoOmt4RgGc2hNInqF2GdAelydWdHt4Z6Tp1TwijSYET/Itlq/ejjNz5JHeu6BB8ayg6dtw1WhMT6mar+ta1hTP6oi5wrxZX2v/RmLKTBtX2pG5oQ7fwkMH62jZwVaek5do3jX/4/SvpWKUX6NIt1+HI3R8mFqoPBx5hz8+Yhxv3861MyDW0C1JAGzyPegq4notSLiGSLPTB3jKzXyM7/J6IsiJD7GH7G9xG+NJn4omFw7TRXg1+Xc8h4seEocdDUUxJm4sOSTyp8HMGPcBpzvvdsl9dVxONMkzyTBBzic0j6LNbZ4C9Vlmf/XEQJm99mR9293/C3/wqllMw7xE24L3xBh9MvLE0uM/0zd6l8TQaWbPcD+TWxh9dv0i3bdtvy7K0YvnMmCWjJIgqIUx9ijC/PmJGyMMxyUksYTeCvkPegcPqnK3iHV3zZaJJWTwTFFUfV1n6Gj+UbAt4No3yIeSfzu7E=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1778139372

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

%MAKEDEPENDS%
alex
happy
ghc

