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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-127

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

%CSIZE%
199123

%ISIZE%
1072171

%MD5SUM%
f673ead9ddc622ffaa5f086e6c556e17

%SHA256SUM%
684869a9a1cd3a01f1b5fa4686956d71cc55a04c059f0c74beb0c088a6cf6ff6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjYOakACgkQeGxj8zDXy5L+TQ//XZ/no9FcuX1FuZ/JT/kzmT36Iib9LkK5TllgzgOMYLJaBeq56MW8brMHY0PU/dJdWD2rDeGYh5Kn/fCe/VKTVM0A9+88NnXpb7uLGJNZfAwooHd4GSx0bA/cMCVOyWxw9B7w8DTX5Try11eivCvHE43bfFi3QMf2s6tozNGHT1Azo228pSERkgSGZ2OWyfLkmlimTuybGhcA5n2jmfghMpPMw7PV/u8Q1y97YvdW1eQGNMpFDpTiLrXBdiWXIdd2Tkv2EtM4/GpmELaQB4PAivvp3Hy7v51VvJnRqmeAo7Ugc9V6WWewhw2yKfMcixy8YR0lIfKeXvYuzUXEJADAOciddiUqTJgPs47QI6ZxyghkGi+Bmr5UZpFiSF/atJdicawWdaluBiSYi/0uhZW03RGmL2xKFgEBGgKd7bFnqool9CWmckm5Bk24scfarcoZ36XAxk3ukDOd2COhbgxV6yuBdtjZGjROuQoTje5MWpE55rUSR3Gg7SnPJsqkJ04ghoRxSBJ1cwvA7h8KoASLuoaHmSMduqwCd56WSyW6AbQEvHS6NWd8t8A7sakCfXCGN/u9S5rKhBKoqz+i4B/FeZAwHQ/U0M5/+gUxQS47T69F+AKo7dviheeY1pTj3W4z5MpcMaWlp1ClPLIOe0yPgQy6fREQsDckPqd3gl2dNh4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759000966

%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

