%FILENAME%
haskell-tamarin-prover-term-debug-1.10.0-59-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-59

%DESC%
Detached debugging symbols for haskell-tamarin-prover-term

%CSIZE%
606959

%ISIZE%
3448046

%SHA256SUM%
5ea11f7a505ab06f789bf794a6d3f3d677f58a8789566321dec4044859ecfef8

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkkUACgkQrx0hme8KPM8Owg/+IIJe+eVsaz9+TOLxW2Q4uSbCfOlxV2wDTclEfpqPf/oaE9anVDtevCOHvmUByEQ4+rAaZ3ZJ44yk8t6rSr6bU3xgvgqEhotFkaxfi5wK7faInTUbw/4p/K0MMIRZN3DTHU6VbzqQvbrkIk53dtZKv1r9qN/Y8MACA5CgFZNtU69JPz0mCy5ueanYe9J6UeUAeV6nq7tUItl4vkUU68v4z9P2ruMALB5RXQVfBFf5v61ldMgosZOoOt0szOHlbZYrmTRLFT8jtfc6vO19C3ttXka0HiYkQ3HtQr0oFmzpXmaRi7INHI0ZM9Riz+HsiJLMSLbAqhht1KVB+VxIQP6o4/GUdKUyHT3a+HBNajh52wENT0dOkx6v62kY6lWRKyXQiwCA6VxfuN4mGSAYnEJCEpSZQPAUTO9hwNIvJ9jYfuA0x+Xbjkutjzp+kWQT4ztg2lruAYKGto75o6c94pTXeIXbROWRqA1JH+3ej1ypmzb7XHVs8ZYEo7Ga1kvdWtq0/9DmMwdKabfAqNr8UHQtPGWahWfUG79ENOCPv/9WXQ91GYFD9/rNkBGwWmq2ZlgdZFSAHQY7BZQPxJgB5uWel32fsq83E0W+4J7C1hWp+OZFu23E8cWlf1i01EO3UJZu1I/gyM4BT7wZ6asHNF9sjgeI0tage+xWHQnJj7iU+Io=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753723856

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

%MAKEDEPENDS%
ghc

