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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-67

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

%CSIZE%
199202

%ISIZE%
1072203

%MD5SUM%
ef28723ea17985a7eead2b10c48ca1cc

%SHA256SUM%
f6da475979d2508bc7450791d39b5860d0032276dd3b74a88a562ddd139dfca8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiSQZMACgkQeGxj8zDXy5KuExAArzjM2p0rUh+40nsN+I/yirXDy9DwdJM1FIwfW+TKr1lfOFtIH8uEY15LUDmzOy1uXbU8McTT+f1AaRks+irSypSN1pSnqpUPJKnP00CwR60/I7DhLqINdri+QYZ2fskipxfcPw0Ht1pDGgBuZWsJeqBHwbkxt+svdFbMYC7kAjbxoQ+F+uTV7IEU0m52C7KO1efrAi0dPJ5Hiy4EyYMQhyr9zDBAr8lWxMPnbi+BZaTETv3mge5oSCW7mqjYm0Vm5rOPLRuMoim/61XM3MjGBgZkQsWh8ZtkKxu7ING8SgVB5DvWoBot2VIj4bu9dNLkwRGFfu+I2GrFIMZsvwS8eqNLO0SbKL94ztYURyv/ZLVtUurz0WqC/SODRtUvWWMsCp+37+/hLTYAONINVMT4g/JX+iXE+pilL64zOKI/xsXAx3c+nugZpF/sP15IG+JOebUpNpIOYvxITtSvDYVhJghEV/w/F9hAcSbokYPxVJ1AIBQr7CsiwUb0gYknPkZUlxEYjnkSfkZoQbAAdf/uiknk4gPlNSfu+5sSCFmfp5qIKFrGOIgjLo3ldSxQmPl3LluO0S/rI1kz13TfFlqfY/dAvRGvMheYxMovqaYuHHeGly2VHO8416ldcH23mNtpqnh/o6T1IEuG8n8b07riGT+EJ0GaYUG0Fm197PFwYsE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1754415473

%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

