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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-84

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

%CSIZE%
221410

%ISIZE%
1187679

%SHA256SUM%
fa7bff1565b8ca1d76379c1dbe107b6a561bbaa811efd5c93a331470b03afe37

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEFJsACgkQeGxj8zDXy5JwVQ//eOO20IyvsnMqKfzEr9PJTe5BxEipEdYqHHVyBmktDh6OS8EPcBU+eWd1dWk9Nbl/y9nFsAEXCs8zDNIxe24gqBtL7fORDz4bF/tv4YSKQHrZWQHrLoi44ZkpvzO6AH1iXlfp8IuGqbgCLkgbQN70wP7Eh4zYCgaaw5YAxzbGUu6RsffcDSSkBxOpGs1KKR9kir973sfa2IwB7lKD1NaO92QjBNnPPeveqIcQXri2BfDr8MJwJtBzfTbz2WfUZ+7iB4eD29bVEoaOJS6ciElOfulmuqWzOKAftG5plUOtrwJmnyyFNIarEeAxal9TtAa1qL4jXqSSsuW61vZdlBvCgGXXjQd+aBHIf0GYqwQf4r3jS0bGQ+BHYc8fbjC4srKEyz/MaropAJ2iXj0+csh+mugbL6rLsW4iiKvkoychWdtT3Q7iOPbuLXZz93SIzwBU07R8H9Tbewl9xz1yRz6mv6MZCcwwHpJpME5PJVeFkEvQSEfWkUHOnDQShUfoxaPR8BSpZUP1/4gc+ZOPhJDO15Nw8ff2s+/MrnWOIM/64ryz6kvaLFtao+Yw3B0b2C5K0bh3OncQ/ginmwPKiLJ2WnNIUFGOhTaBHnfsF2DgNYYrfangGtmglgpw7gclRy2+aaBdvW8NXElCO0LBRhEet5TtQX821C2qcI1w2DdPW3o=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791235201

%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

