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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-127

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

%CSIZE%
3041763

%ISIZE%
22770715

%MD5SUM%
9e03a4288f0fd202e9e41796cb242704

%SHA256SUM%
e5590e096024f3a2997b5f98cdbdd4a0ef99437a48f8dcc13ace7d44e3edea8b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjYNuAACgkQeGxj8zDXy5JAHw/9EgTmumx0VlFvkJ1zhXYp6JQPhvP/irixXVK44GUCi5yOxpCw+ABB8z34Plac2t2YnyfNP9kvA2Nwe3tHPpapyZXrTB9+ymWVNlPpDmdd9Arv61bxbzAg4nW5x63lijWmZTiiUke/1VCftOSsWrrK9z+U4XJYYMQIULT68R3AI4hm5DgNUfYDI+OAhfI+Zg9VAa4efBqAjsxn2G+Ufu4wNUT5u5FNYH/gDVvVhyDYf1c2/9rdbQvg0aGnZDvy0Q63qkmX+wB90pGbaGd3n4BswFXzkCKQh/DFjgQKFnob2z7sYJQNSqRaTc46p0N7HBPhcn540qy/b1et5mLpX8yIYb97VZ9lO938iDtIGeyPOufJ8/w+C+x2LSjFyOort+J4ggpyJv0DMuxaS15hxOIPM6mGKFTZwKwT49QWjkSlOJNxsT/6RWcGgpGlrNToMV4KC2vZYcrEnWed4ZHRZftzY5SndJGAuYgCe3jjfPQomjg6+Mzu48Sxax4rzEeO6e5hk3LN3SFCWcnnPGWwMc6Ngr1RJaWyzIHa8/XBdvoK3FlfBVz7xLycbfUtxqBhEacQw9EerZ2983sRqMkYrRwoomE3OFm3PBNd6YrYqa2jDclhn6cRmNE1KvnaU2AAfIGCz008d5vE8CaT+rHhOlwsCiOceQBJRk7MCZMgy5V9sSE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759000175

%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

