%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-62-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-62

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

%CSIZE%
638507

%ISIZE%
3725065

%SHA256SUM%
197c89034cbafcd1d70b85d1d4f2e95c1caf0067749ebfd6c8fd1f7834842a37

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4AgACgkQrx0hme8KPM+BSw//Z8DPvSrNYkbNvybbUXi5f+0J/hEjxAQ3eCv1zT93N0g0dlk5plPPPesSGSLpdz0svctmbxFHTna6JRiaH+kUftWeST5M7mAM+9nLvLE39kv8OUhdY40e1GQvJHkEOBxh6wHWg+KJioKVnQYS3B57SQpWyzmmzjMNwqPGqgL0DyRwk2+cPS5A4xL54u6Op9XKGoBMzv6kxwedqi+KZWbwVcFopz1wGTzCy4aGR3ZvAk6GwKVIJToQarF3ORzHjX21nbRbLoBycu+hOkuG8QrNYTh9u6MC9jbXBqT7G20x6I9FL4L+X0qZOHKj21mspm+JqsN8y/HyYsAutlTdYvAxOlAXcJ6UfNyGYsvkvRwdA40hUlqyijXKCuBDn8Pe/Y8l3utOGnv6YZ0dRYLiG8n2771jzWvD/o2Tj/cJAyouO0BeaQv6NVOSLM3iwt3OlhePMiXYg+T3+t28yY4RXEF8BFHqD6SHHc4wT9n60ajjLuAuhrHpdswXovMfS28BVk1z4kToVddBSJ9OSvuWWcxLicBNw369eLWcFnhLGgMXv23VSb/dvNhBzb7CgcGjjptuH+Xd5/JWi5EhaguxT/hBnG8qvaONDrkRYpjUAx8yWz7l2z+2NA139geipCsOvBysOVfoIWrLfEsBHOq+xfxAQA/WkKeeDIQJ7slwblg1DmI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045334

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

%MAKEDEPENDS%
ghc

