%FILENAME%
haskell-tamarin-prover-export-debug-1.10.0-60-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-60

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

%CSIZE%
236707

%ISIZE%
1085184

%SHA256SUM%
055d67de2b81dcb4cdc780c0a734132b8f2045394092cb8472bae9bd5f00ec80

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkkUACgkQrx0hme8KPM96AxAAkYyx3KMdpvdopxkcVF4nLzD6c2UbP69g2XNrlMawkZOuhY5MlI1JMFXIJCsPVRNOWQm7Hq1OAYg4y0nY9EahYNxTTfjxP24MlOejcX1zzbJSoCt9VkZzyOURLoYyYf6Aw88MbjbGVkj/FDjW12uCsjYqR4BCk+bn721Q2/Yw4XDZldFvidfvgU52sYz6HL1pU0cBHL61W8FMUZh0fkzqPnBq4LrFiIcIUSNisgWyFXO+dKj8kd7yswiWoSvTeQgIoMapavIbF6K2m8rLBsDQ0YHFIqbp5/gHhdDR0MsQhLXiloSXun2ZYMwnnxp5ngv7CV8tHPxZLNMgYBZI2IoWOH5eFGDe8r6ObEcsyhYagoPgYyggWuUcFoqS1DdGgdGvU/kf2/zMnbfjRrJ2Ly+wgIQlbpdhEZ/pqm6+PCAAeJA79hapKGPgMdiQ78VlBAf3AUD7Tva9Xl+68SS3nCkA3o41n0bN/NQ8CuNp6z8PkHOuhE1F0DaVvm8xsTmoYPIWKxZI8OyXFNXn7LHTrStv4Qs1TGBE1qUNiwfA4J93AewBxDAjYokCVxAa/VLijvarNemfTR3qS2PU538ORHq/TAowvKtOqULpSQ5FmVXy2boMFXp7VYTAWMICTEdb87idC7pRlfVBv1MYWmRvwgRMEO0pbBqEwmvw+4O9lJ0aQ9E=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753725042

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

%MAKEDEPENDS%
ghc
uusi

