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

%NAME%
agda-debug

%BASE%
agda

%VERSION%
2.8.0.2-19

%DESC%
Detached debugging symbols for agda

%CSIZE%
20259404

%ISIZE%
122165036

%SHA256SUM%
45ab8f5d233b0ea7a93ca25138d7e47811fe9e8138f2074a8cbc52bc181114a3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVF8ACgkQeGxj8zDXy5Lo1g//RXCFuqJDIyK1HITrLGKf2rzemiWcOirunTXCR6Avsae6hqaeYBHoSUHJgdDK6RAQz2WFdDFAz6YywL7nER1UTC6mb8vlQ06JYMEQ6h56k4Ertbcr8OEZvo6MmVfeMo0sLarqfyFiwKF3kapSBeHnWWkE+PpOpzU4v43fPFutR1eU9EBVmvGJN52pDhWpT91UadCjkdXNOb3ZEAhy8EvkMA3dvPySKK/LaXgHRLf/Lwg+TY3Tnualwec1B7o29ZM9x9iyv7x2v4MdIkZd8vTN5veWltz8ZcThv1LPGpM86Dz1hj/uj3Lfc7o8LHSTO952aDNOJlGXGOHQ9JIz/uqKijiVtLtH8vk+JlJak+t9YpOkJ2lvlJk7zpxQfdwnkp6ALwIkbsFG0bUMp6cSsf0suxN5wOkdvRdCQKVaIbNKq1LnW3UFTeqiJBmjU5FPkrj/H7ceF8kEAfuX8LvzMrjPT9JmzdpPkNrmtlgJZMzMWka3n4pUDrirouzzgwbgFGBxW/7fx4plg5LgfuLdN3EUFraXqqqF6hPY1itKy7evN0/CZiUIarAvVOj/ojG4n0QspNVfmJXINegWCZpHTKbf9dwO55mUM0pxt+5DUMmt77Y+VJ5lsb0w3jjOjTID/4gz5xMdo4XopWU+A7A2RZBvK9Y83mRovt+ruD/1LPrYgxw=

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

%LICENSE%
custom

%ARCH%
x86_64

%BUILDDATE%
1791709638

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

%MAKEDEPENDS%
ghc
alex
happy
uusi

