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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-82

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

%CSIZE%
221579

%ISIZE%
1187700

%SHA256SUM%
2dee5fc2b73766d26ffe380d2467176deeaf03df391cb6f048a3d15ff1bc64a2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCVxcACgkQeGxj8zDXy5IzFxAAhi5LRkj2VObGvoYv//5S0poF3iNnZYQl933Ll34sON4Ic6LGh1YxUYzKpbvdnmiKRegnIlXRLNb7+PhBs3h3xFYPRiyu3g29CN9kGN9e7w+sZqZYk+H9WqZO2gLkcywXPtj+F71bDV5RNLETzAoLL4P34VfpmJrHkZyUXrh76AnaGoFcKHQ9RuvOXxfXeNMIzb67xery1gFhQZOUUDQ21PtH7ne+Gj6WbJQ4vWIwyrYigqWex3lNuOD3WS/QSzcSbQip1Nenw2ZRE2t6LqjozOagoFafeM1DYhTCxPsykOSncZIWY2lIx1bixe2cGsHtMwgVXIc7uNRdO4I37Ahz8W11vTajQVYIRu2Xkklye3I2aENU3G1BDy/pAw6hoT+ZTL9UlW/21NmssMNbVh0Q5RtvMUtQ96hxjtLnlK1jmAFqqJN6uRCVAZNuo5j0PcP7PTjS2kfuiWIMv9ZsyOqM5+D4Th9q2syF/BYSUEuJfTzxkf+CyN61pRq+29Ob0OizXlvB/aW8pGB3qMnnKQ963zPp6YCHgzPXGXlSIeVFyPiov+vxXHq1SW3KwBSIaq2Fb2dltkRWOEz/i+qeO8/axinKheOv5ohN/XIk4qX56KnWdYqDUYC1FH7g9fubwXBVxfv6AVg9lzvLoaKXCVT4IG2TPS6p1X59MCiASTnzOGw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791121152

%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

