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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-87

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

%CSIZE%
639075

%ISIZE%
3714897

%SHA256SUM%
c0b159a3b30cc7ba6755699689d06e3261172f8fba48b5288cddc6ba17010f99

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKqCEACgkQeGxj8zDXy5LWpw//UC7xhCFC81O6Q6vqPnWGnU3ohmUhpO6jvnu41X6bAik481Xo9i+oprBLoFjPkMfUo9GnP/eLMAjwi0U9bwJ3GiVoESIvQjeJBYsOf4m1S78UkRC+eb7zQe+BV0zgACWQvVpURIK4iuy9I5UT0OxfE9nlgUwrMFswIq1EPJku/bvVSirVA6JkY1JJ4fJxZJmZugovVzLdVAEyuPU89G0qSYiuPaD1eh24Rlckfm4v9Fe7TJWd/1L1Rl6S8Ifz7cyl9IpuWIrLWFsgyymusBbh0ELcZIUMeOSZBPrFzGdttE8BNWZdtVGwVmr+2hF1NeSQ9LEIiTkm1FlH7Yl5c2X3/QokgESCwzVEnmzateP4H6OUJlkKXoD1jBUE1Jz97JoVHreA8rSu8WK/urX4ar9bGxGpeUm/FMIS6YgW7tr/LAvC4gH7W6ioeXCVc0u0LPrqegE8GzRhRBq/H6Aai2bNP9Bj+6B6r+OAjPf0YmEjrbo1GJH43el18FFmqyOW0oxSH5aDTkc3+rDUIMnwg54s5YO6bBBsDW6+3tefTAVKM0TwEQ12TB8Ql5Em2/roU05OjlaisJ17xdM8TU9dLl1C4ZstH3Ct+nOPI7lcu7fpOdVJv/EFnk+clivarY508iBDKBcYpiJBPcaFQX+2hJAiUsNYAotFE1GlNvHEWuXudEQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791666176

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

%MAKEDEPENDS%
ghc

