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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.6.4.3-141

%DESC%
Detached debugging symbols for agda

%CSIZE%
18858879

%ISIZE%
111070255

%SHA256SUM%
bc8c1fabadf7058595189ceac1230fba315ed04a7b8ad8a88ac133b85f35116f

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1777444673

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%MAKEDEPENDS%
alex
happy
ghc

