%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-89-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-89

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

%CSIZE%
266794

%ISIZE%
1212837

%SHA256SUM%
424dbd9df2e7e9f1ca19c4d8e52bce668c8f2ca2bf715e346455b59e48601bda

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMpYwACgkQeGxj8zDXy5KNmw//SuBCy6FlYK+SnGC3kfoIgi0dX4J1VVPt5K4aG0zc3vVHEr8pCjspDewvzqb+XOpSajEv7SUY/NZISxJZX3Dct4kMpUWR6NtPueFeELxxIZ7ElP6Kv9lHm3H8SxXHcxFDBrD091g9OBKpvXOyr6j+aan65QDhLE7Kto+LbpizkdcrcFBM7HuRLyLfLwXg3zgax9bkRL+KpFxDpmvypS6r7b3WWYxMrxiwMOKAkmcIg/F7RcfjAhyw4T+b+Z13i/Z9h8x2nlMuYcF8XdmDOdFMn/Lxuy8ITqVPWpdpoz3wOd/lAzI65hKUPFo36xB3n1Cr1DFF76r4WIEDXJ4JJ8s61yB64V9KhH14G+kr5BxvowAJDTemBfygOyeyNAYmWoet+XP5JHYTR3VDvjLPx+K+iR3ZDGzsJo9O7Pyz3kp2SerIwJTmB4ia2Spj38LQcUq16SyvVMX+iwW7GN9DUcVzozo5w0R9HqXosqjfuLHfT4QaqFa6natphPcJWEtzDw0rIVbeXFxQV9GEb7utIbriL9L44hyUr+sniYecN+YPKI+cIlsCE7/pWB/IWAPqUtzzUu3LcwxGo8UPKT+82kU5tX49P5SlymJsOLWJsna5G7TArQncyfJ5+cJtCP8jtNw6HmvD126qP/6AGK/aWnmlNM5guo1Zz3V0u7tnfE+/g0c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791796598

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

%MAKEDEPENDS%
ghc
uusi

