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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-70

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

%CSIZE%
221675

%ISIZE%
1187677

%SHA256SUM%
f3fd0f39febe00eb7fb36c6b6359ce65f1affbf26f4604315cf2cfa66fd71d27

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqde14ACgkQeGxj8zDXy5KfMQ/+PuQ8nppuZTyDPkaLTowJUbxNbrWSHjkkzuKrH9tEuijbi5/s2wB6cTm/8HpRE/HvjioAlD0avNQj7JUj9ycmXYn1n/I9T0vWHAUaIAsjSHlB7Ogx5oaJp2vo/lFbPACkF7/8OhN7JpyEf5NVGxfZAHAwrYunlUBv3oXXGTBLc+/xWvmjIGq0kppS9+zZEQJOi3WNJvMVtt9eMvdmDHnmUzjEO16Kc8WC7aj5VRhII91EhV2UxHwlG4n7kXrjCW5Q3ebT6O3NzX5DtiKzJqq7T9BgH/DC2iEQSPLtq15rJRNZ4bfbD6WzEEb/9kI83uMuSFxni5k7Lc76xzJ+vExmAoxKWrPANNEjiWPVDQYtyipKz0Mb6lmgppBmySuoD7SC/36npd8dWcNKUeghPPSv/iGre9dmnFlZMXDUygR0gJmT/1y3haAJVFCwJ1JBlAEIUtiCnRo94L4w1sUNBYFwejwvfAYun/GxD7H9+1WXPy3c59CX5qmaTL/RqnDHakwA0rV79+b+XDWZEsi0w/ocB2bDl2W78IwnlrmeWIc3I1qKrkGQ7yZFLoQWjUjinXbLHmekBuMmMt3YWaNusItQBV4JH893ufFb0vOUiO0Scf95c14CwEWBFQ3pSewqHI3MPt4Dn51j8Ktth+B9qVmY52yzBIoHNvyMK627zSS9vMI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788705579

%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

