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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-56

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

%CSIZE%
221667

%ISIZE%
1187698

%SHA256SUM%
2e953be8f956f06a6afef58974a88fb2f4cb7653d6081a392a7d72b177b9899a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo+L6QACgkQeGxj8zDXy5KPww//RudTDsKLPaPxHoH+X/uieXNIuFfetjooX+SCEsQtEplxsFspqbe2yZe5/0wa//KzmsJxQ7DQ67vEydUGIPx31PU0mAKL2lAhxJMuVecVhEKWc1si1MU6pTS/rXpTOIEhLmcXfDFxWS99jKgLIgyeHF0xsEp9dzF8Do/37sepWUICW7FxgKOT35IUJfAOErd/5zGvcRLqKxOqlmMxOL34ylS4RenC/i5hnIaYi9+4tCn0RT8cMaEFPZAVRUcy0H+wcol+Bh5TocF7eTIpg+0sD5bcz9TxDdJqZi2Kyp3IAVaoRRYLQ8ZQePWvhgw0rsA6BYbv9kPY7F4fJbQ+QfC2N7LP6T415Liw2T+ruqn/DxYdMTUeptdN+vyZwd5Wqlari5NVGuDIVBcIr6oyUAkS27x2vODC5BGcEMb+Ib4UBCxB5zSeA0ZyEJL3Sa5Gpn3LrKsrayDFM3ZK5ngzCYvI1JtNHkq9X+acVrT8Nj8s2Fz+SUGtvr1WiA/s52j7edEI4GZFUOvVK29n9Ikg0sGsVXuN65DOkwuJLeIdA57aPfQ5ilBId+mt33s3y7UwQDhzlInRjsSElwTmF0/KsJDlqIK6HuzX7fP7WwSxq5eHxXf4jJUjvbAH8YlurFHfu24DlOBXWKHymP7+2YlvW5cXuPN1qSZXUkUvVgNf8TZMAk4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782460272

%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

