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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-55

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

%CSIZE%
3038148

%ISIZE%
22855474

%SHA256SUM%
cde572e88194e5d4b4e9c507bb174fc464e5c485e11efdcd805463101313d921

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo9AzgACgkQeGxj8zDXy5LNeQ//bGNmXgm29Q1RevBpn0KbOJJimMj1lDOzaXZsmOWBFPyEVuMOvY4rgWkPO4cXHVBkaXKJd/Zg5PeAO2nSE7P0Bz707AjRR4OKLIojjRl0CHbOhcDkwWN6akRbHI0qHx8/oJW7+2kQE2Q5QVWLPNOEJZh89DBepCgG6ro7mAG0L4xPpe08HH9Sn9mMBmCDvdGGuUacBd1Ei40aYoXNKznB10XS2vUVZAy8YR8B0WNELNUNmHL1gm3W+15SMyX8tio5vT/DJpJNxEDa6QNSsU/ufJEatLCejxl0hwaUyD0e/gtei8jVj9HJ/7R2hSrtrTwQ33vogFjErsEnmTFyY+OJpzmHQu+SCz+PA7/32BLHCXT81dLFcsS8ttvCy2b8FZPA5rgZO/8h3FeHO0wox/RII2uJ5cxZmyqWlWJSdt6l3BTv93k1aV6DYWS7Nk+d4sceM8u1iEvznebnU0e2n0qSDVab3sH4R5/l7TGJe4wA4eHSvKFgnTPJ6RhHygCkSahzQZ0kqaUSz2L2qktfXc/6G1fXsoH8D/9mwa8zDL1b1j2Aq78Jl3qiMQXqUdrNaxmOiJg13lfF+D/yoAr5DniKR/3n5S9C98DZn4llyHMHl9oMleHOOzXFvvRUxWmJBEkOOSvvC8iMAVySttGd32CH7xgEQBpLbiusVj2z7WV52ic=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782383317

%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

