%FILENAME%
haskell-tamarin-prover-theory-1.10.0-137-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-137

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

%CSIZE%
3039432

%ISIZE%
22725790

%SHA256SUM%
98b9855dade51c0ac00da56654416fa18bbcdfdc7f69cf36310869132751ebab

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVMgACgkQeGxj8zDXy5JU5w/9GM2+Z1uLorXDSu5Sg1xiIVJNN8UDnpj6ZvqxnQ4vgejX/Cc52XJZfHfcG2yiIuP0SiaHYmunW1zu13r75pvmQJgEBSQoHCaerLFCgBa0gcRedgMM5/IrTvZMqioak/cN9onAr4YTgqLNe9nM9t+3eQok5vCxnK6eIi/3+GkILapKXKFCEgpsTiGqI57t59hDzLxLBswNKbWU/eeIVb3WpB1kNNpiVeC3OWzHcygekYlNeO1fGYa2jQOyynVz/ywnZkZnZMEO0DDxcPYBUfcpGZTFcQHPUEWHO/YFDUypBZSSTBKGTcKUNwZNDfzFHU1BQu+efpoEuZEtQVDp43igwQxkPPKaED0Q4paLxZNQiD0A5lVq7nU8PXDN7G9fN4GYrX9gYq5hyNRy1Ooarbmah5rKvG/h9CYyZAAuilcF9gAZ652/YyOZOW6DAY0wLsv9btAges1ikTcCbC8g0MWfIp8nS1MzjYESlz8RjwT73NcRyUrbsho+fGpkh/hhSkFTyuBzcNVk2iJTfTkLIYzArj5s7myXKTnYa8O4vTMzHIDphJJwMhvlioRPls5MOBS0ucicuFlttuUwbYgadxrY/uusxJn7moafbIVSrIeDlaW5c33DQRR74/0Sx6oLBwkjZsS84wrHi2+tEwSc/wwHrUOsI6jlDB0t+bhhqxN9c0Y=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056414

%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

