%FILENAME%
agda-debug-2.6.4-17-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4-17

%DESC%
Detached debugging symbols for agda

%CSIZE%
5253

%ISIZE%
9064

%MD5SUM%
55218658a2ee5a858ff5c27af37bcdb8

%SHA256SUM%
f2203be52e8102195cf1676a591336ac46e06283d8b5aadf00daf0c37706a288

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXLuIsACgkQeGxj8zDXy5JkwBAAns8F+j7htpC+L+oNgmEdmZgpmmL6qYOrcamaq4VtFvxw3denBLut0UiuXukW5EJCvOd+0+ss4rJrgonnDwkk3LxMYexi5boNLejYQ+HccRFgkMye8TBq7CdHGEJZp2WcFBAs9/BOMQ33gINgEVT3VMEbQsUo55KMxIp7NNG01dm0UZQsVSO3eFwqT5B0NAji7FsG+NPFTJuyZnAmw0NnBIX1Bv1DfQsvDfMKJqmmlq2TcT57P5GdaYuQhOVsfAUY5MJWbNFjbg0l9L4gHNRa06P3XzsHEpsDPGxc2bXKvDMqlplkWEmDLWG9kitR8JjwnLVxYJmjoiUjidhIECJ0qEG3oXg1TKvmJnE5mzCQjj1ablxkmu7uvNC029P7XZ2LSX8x+ZOzGkmqQgenl3spmUnOyzI2+RVrETTNBIqy487847vyWxwxVEASN7SWqsaoYEcp1A8M/pvBfHxofGXY1TPQymuf+NyFpZjyo1deHA2dVTP7tuRU0clQH80qZEoMTHQ1JBZlLyXujBOt7qfQUXW9L7hHfdhFeFixvYX2KbcdU93ZtzyiBBbGfRdDhZ+1Lqt8iKYq+CuLFK1qiz0gz3sEZwILo9AI+h+WPgE1Ik3NcsdATIpAxlO+WqZ2FFuCxDlKV6XsPzxxrkHcRnQY0uPZ+jkRhorxnhRh2whBAmg=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1707848290

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

%MAKEDEPENDS%
uusi
alex
happy
ghc

