%FILENAME%
haskell-tamarin-prover-utils-debug-1.10.0-136-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-136

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

%CSIZE%
184825

%ISIZE%
1025647

%SHA256SUM%
f9f9ad573f1c2ae97a67db4ffe6c79332faa8a6ea5a8a944000969036d37fc92

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoUzAACgkQeGxj8zDXy5I3bw/+PrVOnZJwxci/VUCaFvBTqvtmr0kHdOviYD1geIfcvOVQAdPOtb6CxvbZRY/IZfiH2jzItohKH32ua4A5FAtuiowuTbtsXdnojvgY9xm/0X1+wmtL3Fz2kZoI495oFKVZUvCePFesxC2VXfa+DQmcQeWO3sgaPaWOl7QXsdfq3rLfIz/YZ+m9JN3K/VkCJ/EjQmaNTzf+cm00wjGG/VRdu8zwNY6zs3deNIhyJ09lXRMAuFEgQhWmryEXnhgU2g6kSRGno664z3KME/ahhiu2Gv5rNIsI2onP9GTlyQ2JcijJpBVRBZMbs5Wx2gGYVeEoYPcfpoFN/LufLis5ghBHxrqBVKHozoUewc0Ec9GuvhBhdPxhGVY3z7WMaad6vBKSviq68JsMAsy2Do42v6bPzHn9pMbRDjPB/BLU2I7wlQjAeS97yBsxZEEWQPfwIpbjOzlM05XERYFwkQhkn7bUlASjRpJh9Jw71upW7dNQcChBH/K30VXxZ/3FinDjMmMuKcWe/rtxicreUzWREYUm/B32zKhTUPf8QbekqVEMNyDVILuPSUBrG9J2yyRRZ6JTpoJ2kRIZIY8ZgscKbyHZycq2cvs46dQ1reQrd4MEFOss75drsWC8zolgF/UiG3j1i4VgfxhXmP8uAIiWvjB2t2sOrCPVpLL72hZAuYTVZKI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056047

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

%MAKEDEPENDS%
ghc

