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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-59

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

%CSIZE%
221502

%ISIZE%
1187695

%SHA256SUM%
74aeb61ce41c029c190f92d61cd6dd91c74cb8d1bd1cbe685b0079728a9ae38f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpCswcACgkQeGxj8zDXy5KPahAAtNmvBjWo6WJq5xgZ/HgLW5+e1XA5IpZiUTdx2aMLM/IwWbCkz3mlsM1+P84pp6gZ4fc2S1g8F0dfEX5NSswHsxI2SCpP77SNErs7I2Eht4qeK4JpGAKj46GgVWyhNJ6SHeeguoGT5ZMP7l2+gHanjzU7TIgomqa9L+Mk2FEUApww2pGyFQ1oe7l1qWmKVpCpHP2Bm2OZrHmfGuZu4fo1fXSowpmBNH1aIfhyQo6nR1UTE5rxEnq5Me0e2N7dH7G5pUpXAYE7T+5wJtL9mmGjtuQpqeExDJdgiQKv6YPNrHG6KF3cInHceIiqN2YyKQieY12z7mRJ5EaV7SDWH5Vsf2H96NsmYY33PY6IWHOmP2augksTRVLErx0DvCvMb3xxbnblVze0IwHHasVp5lT7g0/385J4OFxPW5Jah119zkmYDx/wXgykIPMdJHebgNQnDlx+YBATRdwVQqiwGxYQ+Ozg/n0ABISv785W1aHG2PbotH0p48p+aYGuBjpSB5z/iOJCxMVOZBdB7ZEMz5ymlTO1H1CDI0hQmY87LkdR4CdtsueqOQOan2HFnQ+CuNcn1WIdL881KfFGQB/U0eZW7Fx8A+D6ko4sPCRX9MlRUwqottnzjEGRPjcSND9PeZ4kqOedVYZ5y94xsqD01Cv5Hn6VR9vi9F7qrpaHnnWAWPk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782756085

%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

