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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-67

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

%CSIZE%
221664

%ISIZE%
1187715

%SHA256SUM%
6cf29b16cc72f73b8f4e2be06ac9a61a9e037a14e9ea34a6865f2492c43e5f68

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTNVsACgkQeGxj8zDXy5LGkg//YUZEJQuNJFLBmzY1nmKEbYc3UkrJjyW5iCau0Lzow4aOyz3Z+x8MF57oos7v5nZkNecoBDVgDeFmXdMn2OsUfp9FBW/sFaHpKfV4kDQwUBIeUl0IcpJiidYAOzDy6j76bTyD35Xk+piSE3ijit5ZNNZ3XakQNwkAS9vlEpdlN3135iVfS0wNieN8gzBnrysAebT8+vY4d1bt/Ee8CBTYQfVi2F9pnaCz9Pl8P9jz1VS8ruQ1wKmMjjBj/2yZeUribTb/AG+DepKHleM5ozMuiaJ1bIcI2qzK8HnIRB+CzT+h3BZKV8x8HK9IIv2OdnjNifJJw7odEWOXkrs7fA8tFBBF1A7Ar1kCmw4DKGw1M+fZr5bqyHeE5+eC+PRx3bVLK5JXuy9hHuEkTzYTF+nlgvTvuWl4FpZ0MVq6v+WPMrSSwDe7Fz4imLt9QOPLdp6zSpsPq3PMttwzAK8ffvmN9wmB9ZBIrHb84hIhFBbivcns1kmnTmWaiWGFvaCl8bM3xYd+IEALDPlIyjXOu175Nhz93Q+tSNqKdH2FMi/tSTO85WKplA/S6t1pnpiUJeiz8ZRiEszzaaimmCfsdLfXP1FRVnUF+7cJjMW1NsGZMUg61/I//Sdvr/FaaTfHX7Vac9Ee6bsY6QguSxAGGbwp3RlJYfFpcJwZ5Ja+yTrSIt0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788032314

%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

