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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-51

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

%CSIZE%
221381

%ISIZE%
1187691

%SHA256SUM%
9dd27826529a379135dbedd634a24a44c8cf5781eeb7065e5c62789e5b931b58

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6u54ACgkQeGxj8zDXy5LL8hAAmScTczwcFpWCCfLvGKOjUnG+zxh+tNwc2VXUhR2J2jdg4IUeSVAwa0ysmFAASL6VB4pKL9LSD2mmwlBhT1oxygAOjI4EbjoDfermD9ArbrwPjhL3X6wcMbtaswQ6/SnWRD8uidpTaZBbfN+Q9S+W5ZFCj1gROqZRZiX8HF6WGf2/ATfDFCa3WUS5vAPw3ZTSckOI4OoTe8SVqXBsRcjN1Jy5WmApYNB3nqcODeqrK6W4UukBRKRWXmLuSWjcUUPLOdGSL8T0pZE7aoBzruI+XbMxUrqvPU96gX+NWJIB3d+clP4gS7GmnLosPggtwHRs/2c2PHupPo+7LrZA7xS2TeBj/J1nSmyyD8+JTmIZArF5sMbj39pPNohAkdfruBJc2K2cE4EDuHkXUIQwuKmEpOjltteRv8pzO34mIBs/4BOkSvQlQCi5HgOiS5lnEpLjne0y+NuknpCMVrqZlKwZVVjwvLWk6rWZr9mHrIbWoUqUH7GF3RnlZH5hZyELq6R6ZyEr4GABgC4FvIHPiZ3rMn4eN1tT6esnBuWBaXZJI7r6fFiJNAsMMK5IIR0KjN303oh5SoO9fCiZyh2lbXhQtJWsvLNeadNSUbP863iRciqHJSllUjkOjSxtp3i9yXbYlX/aEDRlrE4O/Wv0eVBEmCTy67k3vJW7e9EhueBX8f8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782233983

%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

