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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-152

%DESC%
Detached debugging symbols for agda

%CSIZE%
18483447

%ISIZE%
111069975

%SHA256SUM%
b653d35a68f30a9b90fd892ae008c54fa0d4797845c011bc0082556449856708

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmofFvAACgkQeGxj8zDXy5KGYw//RKGDHwJJqVotKN0eR3LryKUQv9G1y7YPbGJGz97sdmC+oZEOBq9udkRrcU5uZCpLxFP9umT2RiKRSZzFz8ZVRuZNg3ril/Ju/OSzMd3HgvH7xSf3vbCZCqOY2+0bcxP4NFKbU5++W3Uq7z86kjKug8c8dBCePahZ5HYKsJvl0yx3l3nMvNX8ieI8IJOSMpmnsy5NH9s7RnMTtjs6NkVisDydxtgc2aGjvTRNCUv1kQp3TL/Z+ZxdXLMdDbva1htV8Nu6PvJS37IcJj4DcVeMSSsWzN/UF67kObueRzX+Pe9miC5S0N5uu6w5u9Hp9icfS3uazOtdT5p6MCa+OtyXkOpPoHmTC6poMUM0cZjjJVrEAT7BixcAAnhaJYUwxnhoelfDUWABmYMD7KfM+Us2glT8ATKxuH9J1WNH4hSR5ylmmAnLsJMfgcIywLe2py7XKEyVilS5qm+mycSCP4/hxK+k1P+3IlIt1UqsGInhgKoSQEKsfh1XTiMp5hzVsj8kU88CLVcHqBinTPpxdloltmzURIjMDyIh/uNQdx06WOkDE/mTEf91MhIQHosuFDIeRUcoesair/fKUGD0AUExIxMNf2zXKOBgdCkxiPvrSCarH8MnkfM+ymWBCdCAzg3w0grm5/Yza4+jHAN3DySIGtO28eBkH44kkfgonWKbYVg=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1780421502

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

%MAKEDEPENDS%
alex
happy
ghc

