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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-51

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

%CSIZE%
3037885

%ISIZE%
22810543

%SHA256SUM%
9e8e7d06cab9a7bed95decca9105e39f67624a823fab6afc1366d62c2d0cbb86

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6umQACgkQeGxj8zDXy5KSDA//fTRtY0Nx8yT6KJ1Vwry7XUSfpx++mjv54ppJZTE2qeABi7PwTyctjt0g4VMO9QB03MkHLkb64bNOSG4PZa7mONHZfgu5mTD+Ub0Me9eYzqupMJq8jUe5KC5bOKuvyVoOmd/s+ony3N9IqKXWXiqa9mvyUCmDceQxKafXJB/bMf+sYcHwSinWVMVAM09f7EJHFTG3RAWc/fMAtz2OU3zf9CUP4mfcYtimxK9YxgvJgaRC/JyZ8uF5QZgimjLNutwTLbPSiaEhX2rbu6C+4xxyOdnmKQJcykZM3166PpwOfJ8TYY23dgfwUrbkm+8gODxb9+vFCHW2CNcWqfJcQaxHwCLnRpEQgUmNgTV9n2ekD4Q2w6R/Xf8YeAbzz3aPbnxeL2FAWRCz4Le6PG+O1O0jc64dG246BXr+ZgFat/szFXd41M1ESMQdP0jlMuzp8fdrgGcHfz2ijsnFqgSb2C24XuPZ88NVDd0/a+k4CpZ6VvDqpo9fyBAO0UTMQLl64kEXUr07vcbJ1jZLjIV7O2BfS+bV3+/SXPnOhFouysn+Mf1F/pHWdPFxDvyJkqoGgMmVrmKV7mWNxWm8wUdSvzXHhRsUw5LP9tnsNsFZIawUbeqLUUTj79ZfgAGB+8x0QTZhX3XT8NTknE/qwqCOr238tzI+nokOcuWV8AUAXdx237Y=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782233624

%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

