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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-28

%DESC%
Detached debugging symbols for agda

%CSIZE%
17068130

%ISIZE%
102468905

%SHA256SUM%
1d4f359672ff20cf756125fce3e2f8f9c320b71660216f3ce42c08e80a145712

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkhUACgkQrx0hme8KPM+8zQ//fNJO3CVXA0BMKnCZMyu/iAdddWmC428E/yI4VfaS9IhDWhmaOanPeVfH6ItIOoKPxer/SXCqw0/aL/steW366Ib9YgOEeBwr93AEO7s7gVhKs8uFDMvAV05TyuIMtIQpvPKsEyv5PLeMHAjf0o1oo6u3UnLpk9b6WalT1pRDsphlPSqAVcwLrWjPbVSreW2ZY8M1kMhMi3QcuNYVLoLMsWrFAL/RboRB6xIIaScO9VASScdywz/PRPNeAOEfkpDnENtLx4CD7L9VjYUzopu7Nd3nkvipSg8TKWdB5eU0fZoTrKPGf3OpK3+C0ymPPKuW9B9X/hBCHFq3Q89xcz5bwR3ww+gSNTp6QzXsxOsdP8kq7BC5n6vKjOzek70uE5pJsY03tOW/Sifyr9cCr2Y6cvwjZguwBruAM8UIsSlWHg/az52tTkpXvOpK+9mvy+i8cKwQglcX4GeLHicB62Y068+zkiJ4vtwovS9JG3wo7oIuckRCf6E+aWaan/kg1se/8uVyRQN+MgpOdvBu9NJvPr+M5ZmhiIFwgIN/VbZR9oy4fSo7OMB7hfvRZsTqSb53GBO+fsnTMhFjpgHNmgqVniyVrBYk6qWPLafoTDjswTPPbtXZlc4OAcfrdK3OBTXgyUq+luyID8ePjPOmwX2db6E0WTjn/2TayA2M13MYUZs=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1753722166

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

%MAKEDEPENDS%
alex
happy
ghc

