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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-85

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

%CSIZE%
221302

%ISIZE%
1187696

%SHA256SUM%
5b5dc098eec74c4368acdc5c782a04b7805774578c7a657fea0487c97b890dba

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF9xIACgkQeGxj8zDXy5IvhRAAtHEGTek9KRTFAS15dXTnunXR+2tcf8vuUDzmkyMetH4I7Modb4pzHwONdcdgiptBEi7Q42uc2Tqmdj6DeUtMxM1AKNU02yS0cjMKuNyDVAZcrrSK0v+THm23ge/LIEgxc2bCsTy4dMOt1Ld1HVpTBgxj/2V5HyfLkSU5rJyAQPg5tKKo3duNsD0Dj5ZjLNvV0zkIOTtOTTtFTfjQ7bWRvQsNUbiPSn1r5xOopdoReLfEAYdfftzjzMMm/EKi6mxq7ZPp3DXpuoSSX1Aa9Uha0Kd8y3vZcZco6KbhgQ3h7PrOQhe9LUmun/hzHinP77h40qWC7qrbewOBrVXcAi2uTbYjexly6RuCjbaZvUPzvNFaGrW2EElELIpd81wi+AtYLhOHcXqKPrz12g3+FJ9abu1SFVHbN/YsnBoJl9uvJwDvVareiHxiGERitPED9qDOerSsE8VRpYkzcMwa286eefyVSaTnTgE8J5NXkxfmkHUWQRu1oROdIZ5vdYj/jIcKA7NYDTiolzpLgSVIvg5kTOXF5CdB6eoOXqceOCb5miLcm28OFDoRgvbfP72YhgdiwYs0zfbdVp5Xu6PMk48eN3NxCSR1Gr/u2Q9+5oM9+xSoE2R/x1s3/hT47PIZ0NqQoO0OhDon0GODm8mJacce6H4r5ExfCr3DklZpTiIGT+4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791358710

%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

