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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-111

%DESC%
Detached debugging symbols for agda

%CSIZE%
16239753

%ISIZE%
97909287

%SHA256SUM%
5a4b66857fd8f3b7e47ca50b6f0c52db480ed2e40f5bee65381378a98b1c7385

%PGPSIG%
iQEzBAABCgAdFiEErcih/MFeAdRTEEGelGV6sg8qCSsFAmkLWNoACgkQlGV6sg8qCSsAFwgAhvvScK6ts/8AEUwTfoi435HeSCI4SfQNr3VEVuvvWjLVY6xdnfpMu3FaVcqkvDyKL4NHgnJlVHSe8udDUEUjOXS7yJIlrNw3z0Db6eyt5E2A4BEvAUdljCSnLd8HhmcG7dK1JY+a3lNbJH2MF+7XP6E9j14/d0mmeBPM2IZwcjDDnHgdTPt05ztXcvC9kOlLcXLNYf6X87gj48N6Q4SgeJQBm5QOpZ7n5zhi0ae0yh3BYeGM8OVAVUS28XV1hvxlmG3v+lRDBTv1izJAEaRymc8/xTgwzZn8hDkZD8S3te9P8QJMxYZhkwF4ibRxI4NO0FkuYB8jXMUEcQhi2TMpPQ==

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1762350882

%PACKAGER%
Andreas Radke <andyrtr@archlinux.org>

%MAKEDEPENDS%
alex
happy
ghc

