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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-53

%DESC%
Library for export of processes in the Sapic calculus to the Proverif calculus

%CSIZE%
221405

%ISIZE%
1187710

%SHA256SUM%
e99e3498fa64dd415e5e32696ecc77edcaa525136cb767706ec97b3b7b4aac9c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo7yE4ACgkQeGxj8zDXy5L/2RAAuKTnrlgbO7Ace7OzqCjI0LWBBAQBIU0X6NdYLbSHRJAtlOiz3w+sa3A12Jkpo1LWIa5SxJ0j88NEmgFsY0D1fcXtulh6rC0Q3vzH+N8e4wz+0MysbXy1E6iiNvxFiwtzIsEFNa74hYeg68IVHT0FY9CzeZH9cxGEk5LwqF7pkxk71ZEE9iTOqqPda2WP0790lui2x5s9XUIWWcfu/CoZKfxK3SWLc8CuWPlMw8CqBsLEwHFbaqRwycaqZuKsQo/FsiaVdm72FdVm78cX7ZLHKFLdIDke0UI8g98gBPHi7oYSwNfA/T31o+mvjL+rYRxkgzfijkW/1d5SZDpdiUM4wdl3OBwx/v/3Fh1sbNh3SmZCilH6S85xVqlWvWzCBhjYxrmOlSW2H9wIlgBH/mdMQIaX1hQbwIsRjH4mXtsuAhXMUyALe3iy/vn1FrqJRGvbHVjspqylN60s4lGj7aEp/Q1wHt7GFG7xukOhBfSlUJ51arO46uhQYhjntD5JGsS42QSAli4xZ9cLN2QIFdaRx7tMhPCLo0bMtW62u7BfcTbtYdRAeUsVUC7Bz9w0STBq0WTuo5eVkGcim5jalGY3SblQvqzrxRsoD6gs7nDcrTUM4Mxi6PPJkW1sW90xlbONfWw73jN2DfntiqZVuMDsbc3Jz+ihCG+Gi6V/nox9B8c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782302769

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

%DEPENDS%
ghc-libs
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

