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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-108

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

%CSIZE%
199249

%ISIZE%
1072197

%MD5SUM%
1f582c5c5359f53e823226ab97cdfb7a

%SHA256SUM%
36a1e27e7b5cf6f0221c7da1e3114d36c8d5f3a488d496774c98ebf807d488d7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjBzDgACgkQeGxj8zDXy5I/tQ/7Bq0zMthRMdurBXbr0Tw+iAHwNoELfqPzloTAN8sDLnScq03908WXPre1lPNtOD8dNNlnMQXWeVA4/o3+v0K5xH9irCEnW/Sa9xeuxrRysMS/2dh72etoup6+YfXk9ZSJg+xL1QPHjjjU1a9U27jxZYi1Ro8Kut35nZSOZE9gx2EbiO4xcORXgNG+snCC4b4xLXtXLQSCWcNzxSOt9vLzxtGWTkg3jYvMD06iq8Bv9qDEjYJNoBBjg5kWcJNY/d4AyE1MKdWUZrJ46qTbRRmdO0G6BcF67NT89e54GlFDx7pPe8gOd24ZxG26RzjJP20tmVMdMTGCRvnpWEFYfFqGzqjmul6JjnDZsTF2jLS2nHQHQVzQtSs4lb6aFMYWlwcBrFMKppfuXDCD+nNoLoOM9P5qKpjLm9yEnwyy7kBnL9zLcM5jKMl65sPRRjt3Ny/YdwYBbvowkywQuLiE9sK5qpr3ZPv3qTUG/9SdjzFVyHqZ/NXzdcrydSTHiHhIig5qWst10gZDLlS7CXOqq8VnTOAZ7kXlRMCwRBIB1Q4I+Nj65cvsc89EdPpE880qaDthNCJwqDhRrUFUtIxhZl0PR2+ITdWHGm5oMR3oZZTALb0e8eGAmpSzL+LmV1ZUxIgDEoeo6lDSlaJZFcxSoh1YE5Q/fLoMNRFX4B0XrzZ0wB0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1757531156

%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

