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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-30

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

%CSIZE%
221393

%ISIZE%
1187699

%SHA256SUM%
9f6f1c7b7ecd75613bcea278a35de1c9cd795c51d20c2d84911d904bfd2cf9f7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VpYACgkQeGxj8zDXy5L0UBAAkBRjs9CKH5CJ2ijo2LAnUZR2/bkO23usrdyJF73JKUoebbo9uRWZKniv9WBhZEP27ADxpPCQ82nKfY3eFlYTdVpDBSgdjdhkn8brhO1eif0yY5WlOUs80YgCw7XaAyLTNiOYJ+4518dmuccNfv1h0lqcOYlW07p4eRyxzvRZueSbmgtlzWDNQ2CFviiuHNjV3zSJ6A+tjcW1+XygDESNvT2UagKiDB9sLmpGc9D4n/nOPXBAFf8qc6QNzESm6yZGWXPqWq4Zqa+Vh+/FcBIcbDf+voHi/NAXtuZmmxovFT7sfp65M9uLQmtmX+ZNxQZ0pWoJt1Nj8pUpgeXpmNWMEJhyLyY6Qop4wGwCMIgGGEsQSBIpgTJEg0z694UQWRsJ95Lpao+4MOtAvDTyTeWePshhRyhMt9F7Ds4DDjG9Vq/xMIMJbaFFw49uUmFVeVt4Yr8ZETGRxHw3mZFtcmkBmMsFLOtfo6EIzYfqDz1Rf6BnxEJJWUEjKxMVMfQrV10sFBzVwRbeAUcs8iNmMCOXiXYqJ9RK2TOl+K+j+pQSuZ3j8UEz7uzp0S1XSeVyPIF/GzCQ804SArWfGlnbYxY1FFG4mWy20kX076SE5MKYRG13BYWxsrUD260+XohKJLd/g3nr1ZD9Nd2PPLyCJRnqwZ+g1FUvMHFWLTRhn+DwEiU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144880

%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

