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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-90

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

%CSIZE%
3037765

%ISIZE%
22800824

%SHA256SUM%
9b1d1a06e84337db3046d660ee533f2f4d7a6ba2ed3c945b3d55863f545731d2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrSq+4ACgkQeGxj8zDXy5J20BAAtyt5+PPk3lFbiBqU0BHh1U/0tnvk6ZPZzStFox9XwNTIlj37gbrcg5u9AkeLh3OILW0oTT1XdReYSvIrDJGYD+dH+gf7mbP4tVgft+zWOaAUM9OLiRNbnJvkJ/7fNP5y9vJew39OkoETXZRMY1NM9mGYDTuKLPeX2J0o7nkYXJ4TDVasNRUEOuQ9T/B8YE9p/PjBofGmVuMVb8Wsy/BfnES6Go47q4dW57XfXV+FIm1Zdf/iVnGg8z3X7kUQwp5Z6JPMGzs8IAAwk0JVAJ4xWw7VY+ENAU3X2v1LLvbhRLvq1ahrvyNcCzjOV7OadpJEOx5hNXbTJaJUHLyeuTtQqGGXXc86ZenqzyZ3Zuc/cGejXYtDM5dz5GbVPLbL4kWOPwHIPEHFRKFScxiiUn4zlT+THt7cFYcR9NYTAIn6Y8hFWU9dQ6wricI7FL3qjDQ2yF+q5iIEpRUjpQdNzSg1W+2MToRjoRJpFId3Dozv+uAS+NGlFEI8/TwUyMLvUt6idIRh7zPJMQNX1MpUSqkCBFPxk12qLVGNETxlRN2O/sb5o2A27oCP6fipCn9lJOiLxZe+M7K4KRv5AdFpuSTvfiJpiNcNKtBcr+HyBxkY/TWg/VBy7rholLBp1LMSCN1pwEixF281UDRAmCNSiyxuUdTHa3/encIjE/Wgv4GUaxE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792191376

%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

