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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-58

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

%CSIZE%
3038766

%ISIZE%
22810298

%SHA256SUM%
f7b101c506e1831dd6036097c4e6d28f1f9cd1379d45831796df521aa4e50245

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/+tIACgkQeGxj8zDXy5LSRBAAkkPbJs+5QNrF49pT4oGj9R1CVuQ+5kVZZ+36kwzNSdYCcd7TFocwFlWBDeTp8KR8mXm+rCbAUqWcUZP+efyB38dLitro4XfuH48BlcOeDwwY9hNVNomvZIyn0itKPPE+l94uvk3ceuCSZxDJ5GViDnQo8m709mZiK26F9eekSJ7VF2xfYQNjOTxJs1hIS3dTh4MTa7PpXG7xin/Oy53mbSsGfGa4eq6MJUO6HakCta8a84Iu3WN/iwZPIiOwKdEaXdLj+sNO9tS3JZQz61FR03MH0exBm+ObCiz4nW1TyrmJMxWfTRdfQFh51NgS+IhWx8itMtUdXCEN9y4AjVKSK5ATqtgPckTkxoP9ZM+MjPgQFQi2/TwcvHRwldvoHaBw1k0+11p3TxZzviffoSa7bt5je83nt96O3fiHnIYss/lcu/8R0gnH5hSA7ifahazcLucvzDqHaftcs53aKuQbnO+8Up5iCMXP141iv3j4KOJgCttOqr4a0MMuRR9Z3YqqVJNCckaIS1lyvvDt8KSh3T688MbGTd6o7WpZhFHEmJXiRWRbnkvtjLvPIFf080Omy2ThHJYEUGa5LnJfqBr/3VS+EqM20/OwGUIkZlr2CWl9CF6goKg2BYxcy+ZOv9BCkVMQlteUgQG/l0Oxq/7vNpLk/bGP5Swrwhgl82F2L/w=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782577811

%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

