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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-80

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

%CSIZE%
221437

%ISIZE%
1187704

%SHA256SUM%
c203eab573f5b262393f6c9256962cf999b03513de77b111a62baa516368fa1b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBZNYACgkQeGxj8zDXy5KNFg//SDuISjBkBdlaiRxWuFiJ20nLUvKclNn3n2xL84qd5DH0YvqxvJ57cTE8RSODCQogmsKTBFK8lRwXPZaROc+JD3uRcSUP6bW9M+FEv0z1jIU9Zl/yonO+LESFcp+EyT+HGa8qcqPzrwLmIcyQN9YFfSFja/ItGmAgNpkuw7yt90YoLnh5xOH4H3lNkDFl+0p5AXGQz9KMO8cHn0UOucLNmSW2z5HTQKVj/hKxpqqIi1k1YR9NuKjZFsryA0mkNma6sSP46FzeVbWPoOoJqPl1gR4ShUXkLTp5ZrAOgWxHqN1SQMUuJuo8mdVkJsvtATkxKz+rEy9JaFqWBuo1gN968vOGpc63LDMx3d4L1IDNurUL1+BlyQL0aSuh4J8if0l0AmOSqHpKghSm7FufkTPcv/IFKP5GnHdXv8RMZNyKhYgubOTp/dhbtDaUF9KdDL4EWZUTTwqHmFoNT6Wrx1CCDGNMgnjqzEe61gZTxbBi2nAuD2gngthrqlVhKYVPOQZMayQleyU3vyMjdDK1aXEmYTW2wM1k9fBUBtJCFIjst5KVZxZoE8RiwXgLNzZ2McssjAZwArrinfaGX+/amq5VqDud45lmMf4n+Pm60vK2p8kcD8Hmk+rIjrHyT1IOZ/AR8OMFBB6Tjw/zpzLjEDxVczqDN2ayoZrJOAPuavUbJbI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791059099

%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

