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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.1-51

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

%CSIZE%
1842756

%ISIZE%
14370080

%SHA256SUM%
41102ab843b02bd8d8d807d09c0211687f2bcca55047a4bc304a841760d1cea7

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl4Q63sACgkQeGxj8zDXy5Kzxg/8DvNhnOhifzVPk5Ijik37Woq4b+UUhnXZmjsxLDNJ3FlVPDV67Mcq1AC3Krquzv7dtwqLAiUBMLkk6JnzBl5Wq29++HUiXESwn8QHqi1CUVlcSvIrFMcwP7uI3aZ+nXxXHVm4iZq07ABVEGlN1kPh2I2owZLEb1PT2CNyGP26wD1AxwRKHIuYjus/XrzFRl/eYTbJifrLhwcOGwlvSrA1nV8jJ+yQ7D9ISHe7vQNdEvr9LcK1uKuFgGvFZ2ibfoXHzLvJ16LN0UmI5oFMxu0OwepwCCuSDGe5+LZhzxGVk8UqMlxJ2faqiBWSCzRP+G7wgqVwzXgcavGwms5dYz+gpfWcdz/98rQ80PQ5qjHtlpSbcXDXVbMeea/Dwn4kX6N7d31cSRSxaQqjusqkG4+bwPq3piZmIiE81AB1YaZQFpRwHTLGWxnIUGX3zuM3wNtsoQVNJhHyXk00gEhU2hY6FvXBJidUPW2ZrN06j8tGtXf9Wxfv0c/hg4zEjrRcYAHSzDfTQNOk4N1NkMS1gl7QcoXOgLaTWhIND+4ZSZt/OkvvYeSfysIc+PhSSkFf/G9a0lXyRZCpyMNHSlUUsCzZqkikvvE63HDs2Vn8Q/GDQf2ocUkZSil1ApiSf2Xbv4x5pXHa1ygfTtxFUhp5Pvp6buwxYyNvGYVhf1ZxmuYgJIk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1578166981

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc

