%FILENAME%
agda-debug-2.8.0.2-30-x86_64.pkg.tar.zst

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-30

%DESC%
Detached debugging symbols for agda

%CSIZE%
20261161

%ISIZE%
121812966

%SHA256SUM%
9e7548b188f623df708c9c46390ab8d84bf6a40a97d29c727d53aff89d7cc3cf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrcZhcACgkQeGxj8zDXy5JuEhAAswbsPcYRfPgK6FOelFnjNOWpgm8TRu4Pqbp5mCkKWD4kS/AzfXphy+hDMtHiiwb5ZU4+8UVSlLnMIagAxQpmq50xLWDDgLLii/xp7juU+SYmuaob9bv900chb2bABClQBPyb8f7it8Qll74Qy8KC0xNhcBJwu+0K/O2L/i4swUOPyn4D36F32M/WhajKMxrV81jtecglKx/X8l4PI2D1VFwMtnLUnUBkVhBz1ue8/cjwF0PGEAlSNSwiMBY9XSrRPUwDmvuB4rEu/yaK7NwOpHbDVt4vQKMAMSSBYj4MzUJ4k4Vk9YjxeMULOfSnXBPnoV7BBKtxpdlBzZaFsIVScUpWGxHZnXF6PBIwy+e+/WCIZW19n5QbRGSz6UsmtdIPwX/39ufx3JEdlaI7MRqAkoGeLC2A3FQrwpEfPGOVmor3ca4XsIKCAhf05rPEXqJsBGxjFIgmNmz4GPfxkgOM+GU15wbkQ9CCKo5ZOyYkn+x8h+hLE3NgBSoDTTTcDwyrsAk8Wf2UOwfOsK9KwP/sTiYpZAHy4eGFUAxZddyouk19UQ0I6oUytHaHnTmAKJSU3QXo//M3rkb3Ly95ZNJl3dG2UdCsujnaL5+Yn1iiWgCe7zucyjS8Dxg/+SSRHrllLjS6lUFefFapSKUEV4DKWwYCH7jX4v00JEaIPgqf88s=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1792828530

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

