%FILENAME%
haskell-tamarin-prover-theory-1.12.0-46-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-46

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3038032

%ISIZE%
22810522

%SHA256SUM%
eb894896dd4c8f0684e6e7129ddb4309d0a5e6e070fe761f053ca41cfe755b7c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3BYYACgkQeGxj8zDXy5JSTQ//SMLxdclISbbi0Jtp/dvXOY9QwZuABS6/g6RhwMROEGERB8tuMQsHiI7nfZDRTNuhcnUjqdc00eypZ9DbJXn/6bUsa8B55mSQBQk7m3oR+TbumN7wG6w2rkqynr2Nyb1ewgHvf+2dqPhZycWCeGH+JiRPpF+Av7jixqGa2keFEAXYNkyuRZdAGEdE3PJp/14OYp/Lif6ZllcM3dFdvv05uUxqVbDjL7K/LLjGaHpv8LkmpKyqvNQwElNpHiL8azJpBomHDqYM8X8UN0hU7r6HwmavWzvR8YXtx0wUi6kzuMTVWJeTo9JF56VUOzhS8NGJ6poNDivlkCeWlmwJeYNx00vZYiktoVymsylTQkyXRzULxqP/hfOLumfO3kEniwIT8GyilMpVnZ9yEQtix10zBImkhGuhTCigxqX/1yl1CEF+k1AP7mga/KUo4j6Pk8G7+Zv1/2Vjof+23X3aa6kKbxWal2jFJ8W2BWJoXFu7xHd66ezXIRjB21JuLbVf7Cbd0vCEZJutlkKKn3257QbGbtfUvuPt3uhq/OlAjPRTTJK7clfMhAzs6fA9MubTMm0dcRjVA5Mekj9ePrSU8+MgG7zQ6nMtaxaD9A5zdgwtIc/yttcX9hfVlAb0fiK5M76mzevDs4neA3SZN5fzGX1rX+fHgRMzz46aL41UEmVoLPA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781990727

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

