%FILENAME%
haskell-tamarin-prover-export-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.8.0-34

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

%CSIZE%
210068

%ISIZE%
1025433

%MD5SUM%
3fa3802527168b9a2bbccec1931ae910

%SHA256SUM%
fce399fd356fc1dd8439a2c69b4a0e54c90f9e0367c6a7ff38e09a0f993687a1

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD974ACgkQeGxj8zDXy5IHow//UYBUFX62IiWFDxg4EkA31ytsjG3wOu8ypBDcmJHOtEU0q8TaihH1ycEp2kupObj7Qhb2WToJGmAHqZpDiHp+efQJ7zjCrMoYocsjbWlNn0Ddcq2IPUad6UsMbG29wDbzVxICiON10gxIHfQCEPwD+1LVW/pVhWvJFCCi/4f8QUs+GSKbOoY+V0Qbyr65aqR2RhumMGd/uf3QR5LQncYNONbsVBzo4NAAZqC7rI6lr+GxfsZPPP+ykWzCvNVUolXeOkIwVaWIF5cmQ9Xit8mBrCy7IBJvWbhWL+40sFZwXqipEpTKge/XXMbQCf0+1ZklT7wOBtyZQkoMhNAbAYuBJDW+XpeEQ8aetsEFFyzJODA9T0tmHzljy2NdBj1auAGhsd095uDNbY2v61qFjN4a6vyuWLtkYOIESBv2joKWDoh40YAS9Por7I2aVE+A7xcS8qxhD05XDWTrz8uh/Azkr+wbg/B9tUO5pE/476E3hfe26V2llyhh6gHdXGha7pF7jAWOkbrHrKqDnLqkCJvzKnbBXWh/9FWOqqU9e5jmRebr8eRA2UHhP0JImW9EQ3zvi1CLL/1LSB6C9rIzDwNwg00tckF3L7/jeYERXC1gLt+yamKGcOe3bD0Pdywce242OaU5aOzCtyfYIPVPED8MCTj6cipE00CzjbzsjY5RQl4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341723

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-hstringtemplate
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

