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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-58

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

%CSIZE%
199142

%ISIZE%
1072178

%MD5SUM%
f3ee90ca0da7d47d1c12d21be0e3b730

%SHA256SUM%
ca6406b4908caf009c07c9896c2e313d7b5e7e0300e0eef58e6d00a05de6afd1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh214oACgkQeGxj8zDXy5JVEg//ebZOI2yy4b/plCe10ir83dTdlSTevJV1Nxh9QRDOM5dkkrRh14rpdF1PT5ekEclRt3Um1Thar2gOBJKSOzWFKvS+sKs0ZELw/xB0+y5Ok/gwNIOrCiS6LhNgauxExqdcWIBDgXhzH4vu07Ta2TX50/PzcNacieLhnXT4VyMQ8+Boe3maVWwgf8ipW64q8Hl0sHy4LZ9+CwV5Tw7K2lnCCaMa0RNgNuZvPdfca571V7u0komau2AlCHUk5KVdKYcySvxcleIDjSWFNkb/Xa53/5OUf38IWY7+QPdra0DYxEzp16D9S7XqODRJdFyKK1Tao5rv/1kbXmfODMav0MQkd5+ZuAsu8hWBROfDFjhZNacNYr+xJDygT+mllSfr8ckxlWEcM/idiaFnKRutwMU3li6K9YNlQS/ZS0K5YkdPXCQt/SKSDP0DtCyVzwAsyrKBQzc8VCjvM1sCsjMWPlm/I6NKFT3ibZHX6ky39JAAuiW0bTbhz1xznvfQuwsyZZA+nFJm/SxBECV0lqXdQQb/0abdEGXaJOOwnGO6g2UBc7blBf+ZYur/nrhrrV1N5aiPQllZp/w2rJ8LXqzcGrEb3WgbABYLStofiCvGdi+HAXhwwy9uHdLzPdC3dw6jIPfu4nyjgO9H44aONTAhxD/HyRC6hnMG9SmdckjsR6DoS4M=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1752618861

%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

