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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-114

%DESC%
Detached debugging symbols for agda

%CSIZE%
16247037

%ISIZE%
97918215

%SHA256SUM%
26e06199680799740b977b0aa73618fc27c7c465035bcb9f507fd8a869939417

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljv00ACgkQeGxj8zDXy5L/zA//cob5n7fsZnLpPcum8aUQ/04FPr6JmHuh2IQO6VGnGmSVzjr2qT7wR8bDXuQbqMmArXjDsy9ErY9Bc0znb1iTdyrS1EPO5CTlCZ0vHfblV2tcrLZxRkQiIU6JKCvpFJgG2aL0rzVjqMRMqdRpWAzVUwz00uXYF4AgZx8R/UtGoUCtKBpP5I4PhM1y22bkU8SsbE6Wxn2Vys6J0fkkfgq6HJG2C4Oc6HVPYXKHDqHVFcBvbAq1jjx+8pyrkWLUMOM6Db6lQMYh0Ruj30Nf3+b8SyC004CG+4hLzK8iNkRfeU1v9zPXYoaJcYP9xNaiW3PtUhX/qtx4AEOkYuwaXxbvbbPk5oTQlt79suoXjLEJNjx0QhlUPRTAFSiKfcKD8WWu2OummMB2uM68XhTtglwbHVojpXYUII0GUHObdl4LlmHpyI1yAzLgciW8WfKGYc2ebvlO+FEmpp1JYHTnQN7jB96V6NWy7SZ9iBdXbsccdYigDc6yiNdbq7tS0uCpDJC444G7h0oz6SFDB4XX45snwQGmu4ZD2BcknmDg8YYoWVe6/JO64Zg1o11d2LXtiNyoEZX0s7S5Atb6MLeuBoj+MxXFcNR+Z//PLzoZr27ZadI+tSdehO25sqgFxbqC44szr8F/2CEEuRmvyatevt+KbTFtsYSiewWLHM+Ce9I3tms=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1768144372

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

%MAKEDEPENDS%
alex
happy
ghc

