%FILENAME%
haskell-tamarin-prover-sapic-debug-1.10.0-137-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-137

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

%CSIZE%
275151

%ISIZE%
1343302

%SHA256SUM%
89faafe3f7776007f82fadca34bf7ef2e3ad654fd5f655464ec93b87581d1b1d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVTUACgkQeGxj8zDXy5KAAw/9GZFwy8b2FoUnGvl6pf0LbdzK2ZCmGfZVFKOKxaxOw3YB+W+ktFdEOER3HxdpDuecVHWYcqWNl/tjSB1rBtLE/QgLm74bWL65m6nw4dxSIWuvBXz6Gjt3F4hcETui3eA5Bw5CeVr+GiECTwDQ5zqa8W8TtUfDIFMbuFe543NQsNb/iPTsUVBseflOJgBq5BZMjsq6truVGoo73+HsbnxsVnpykn2bpzF4lBTj3rBbolCWX7cqrvq76EnYzuRKcSEP37EjnYmjhZ0TEBW48PhkI/CGuvxpxr4GG2PZZLLJrlHhHrdhXic9d5CD1NiVJrERQz30OI/CB1sXa2+Udw+sid29TLccWpprQD2ZbK7Oq1LBZ2LEm+forwihahxyzbJrsW4NP6VAD7Xh/Y4OJGx9LG/VLtE2O7M2sfkzRVIvwzLLyR0QZIsOMpQ8PpiW9qEq3eVbaXBwSXMHx2C9DlPwqQykffSyRr9xmzIB6GHMxHc+YflBOozRrV4qtnfvGGLoEKFMr1TxKPehnXuK611bMQi8zuvm6boUoj9MyLQFtICTzZhwv8FbTNL5Qnwag6lsFhzrCedaDXN9QtA873Th4g5w/dT7V6GtERGuib6leX7r1DrVL403e9ZxqUduJprhDSeZoQHkzScL3BdTcd6SIW8ypKR9SyDxoyc3L1p4obE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056597

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

%MAKEDEPENDS%
ghc
uusi

