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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-141

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

%CSIZE%
191878

%ISIZE%
1024820

%MD5SUM%
f7d4795da7908de39ed0a3cf1ccbce16

%SHA256SUM%
dc4a21f3ca1c19ad987e7d5ca7428fcaa41b960b9994aa2d358792685e076651

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksuDUACgkQeGxj8zDXy5Jajw//R1CHX7DOzj3O4bhbjKYxkpIg7Y0/Hv+yOZuK1GLVsVyX3UfLGaPjrq1QSAdgMrj8yBrFCTYetiTd3gCqjzBd0KGr94godVY7vY9fA5dfdfl2c5jBHbdUuPAQKTPEv4743/m7i2Pq2giKIceNt0hK9ZR/NAciXbRDqVIw/oRGSgDNbOeQltFSPLo34tR8EGMTx/nJtjbyJT1//FWrRqxfSqtq70nGjU6D6UO7HzqpI9b4lHxYyvukEriLaHo4vP7pB7XZ0NIUVMWi1hQyDHxvBQ35UDQfvu99vIFbTLo4k4y9Cf/Pg+sY1kvxkqrtBD62nil6E7vtgxGhikAUjMRrD7PsiRPtRxVMx176Q2DRSoXM4K9JTPAjye30RBI4R/0jcrjBPzjP3PMKjM02X1eLSxklIzhctGs0j69qQQHe5Ztof8cmKcmRjLb7GvCAEOIZBMNTSt+Jgp+U0EZPfa2QEc6e72i9GEQ8LLi+lEPrgzheQ4lay7X43Pke1r10c0p+s9wqsz86nGappPgslPWQZ5Ajto4Xp2qi5UyurUKuv5rJCfLL9ir8L8cHn1pkSOkmGdlaTuic2/RFrOQ2dRLYuXZihkza9hOyyFq77ZZp95nzxBzD96j+UE8LeOfLCD5YYvG4URCLTy6BQ8DV2hx60NKD3kH0LZrIrPLx80v2Xqg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764538389

%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

