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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-174

%DESC%
Detached debugging symbols for agda

%CSIZE%
18481567

%ISIZE%
111051698

%SHA256SUM%
71dcaa2a78735077a77016b6273e21874113f96fc8982cf24a49e5c6d34aa375

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHGcIACgkQeGxj8zDXy5Ku2g//Y8Jfjswkxb5HIzJw6aLnSkC7yvIN1JxAYzF7laHVb1AN82B4cB0lFyQmGCUH3n3zrofdL/AF6Uhg1Glu0pUVefqSeid0hKS6duTnYPg8SWSunErNCx3Xwyh4glLrxBGMKwjLmPpDra1f1P5oYv+V7LJUEZHLtPCApGs5VM5gNhj6uAMbjeZZsck8sicQ/eLfrRf7b6osLsJEm95GlFXgcgiiZib42UXdLB215dUGWeZbwCz4kZ4mY0SZ+40FRd7gpkppBBR3dXeEHrFVf8duwLSj4sg93iudHsNOjKhOuJ1M1tjQTsYbJF/2kj+mQrOhwy2n3tK9v6KyQUwX1Y7vCqIkXNq7LMcloKnYd7e+8idADXwtiRjSPEmDEJzgM3Rgrqs925QcYT1gpZg6io1qLy/nMUr76GuTYpPJKrJtqrLpmb8LrErPuO03umE+J1tA4ljLChKGGghkUJOg58qujvh+nHOk5vsDuH0BwQ98b5WgHRWy9ms7ePMYCukQvZmX+Xjs7djF3NO1/PmHDtM0A1MGWxPbx0viEhrRo7YOCtrnpyKvNOM7L/UjUC0J+6bzyKbBWW3XDxO7pj116KWFE2nGtmFgW7oFNcH5K9MAx6KuWXmjWQ/HH5NVW5tmICHSc+w1yPZx6y43v6kXQJ1/AP17HSuoE+/A0k8ZjQ2ck7I=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1783044191

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

%MAKEDEPENDS%
alex
happy
ghc
uusi

