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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-143

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

%CSIZE%
191708

%ISIZE%
1024813

%MD5SUM%
7489c6b99524d776ff760aa630f177fb

%SHA256SUM%
6842885951cdc62c89623e9a8707c4615b2e4dba60978f2fa9cf29082015964f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljtNIACgkQeGxj8zDXy5LR9g//Z4Hd0t2b5JNFa1Mxtt9JK/BcEaxlV6m7B8BDO4JAoTFq8SBnmfirGrzgqIdWd7GOXtGUQBzeJo/Y7TiMjj7Bvxe7IaPplpo9sgXZbBkUzgpzNgbKpIqUc2kr2MNi7GJx4kVHn4/cbmmvtCysliR29/DstztaPnxu1VU+BiImoGoAu2rfE2FUDOG9tla0OAUC/DqzChmMnxKZwZv74NfYC9tnO2iU+mNd5jeuHU+e3O+tRg4gvGa4Fh0nyfLcUkJmQUCcrWiH+LOMkMHlEusz35zkw3BFxjaX+Ddoyetc5VHnatpj8/XVeoC4hjb0YNW8fkClueu6k5b9zUbgpnW9aTWxZLLS/Pa868TlPi0N/KF8vO9i+Y3mpcusfB2AO12J++/qtdlVQdB/s6VlfTsxDdyaCcZ9nPU/QSQLJC3CyP0zQtj/88BN41fivXfyfAZr2kp7VceZcLwOnw35bRs6Zjd/ZFy1eQwviCc2asx7perrLy644o0fLiV6yr1mXuxK3nxgDucLT9QygOvgwrukHKhdWO0sN/uRFGKiw8Ke5452bkSTC6iCjHIfISDSXt2YHpIjGj2Lv4yzSUi4ID2e4FRmi2Lr66rCmjGLIM1A7k/sYnb53WAoZQjJDexuh0gM5uLZdk+vpwkvG/KvYH1mQZn1Og7bM6TaLmPp5NiBoGI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768141915

%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

