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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-27

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

%CSIZE%
3036927

%ISIZE%
22831181

%MD5SUM%
e8cd6a68e31572da4fa92f7b915d5e20

%SHA256SUM%
15ac47612877fafe14a20eec3f669fe4eeff0703366112fa0cf29476fe1f2007

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyIf4ACgkQeGxj8zDXy5Klxw//YWIYy/Gs7rRjFtQ72DkbfjEhGN/FT/JUfa9iomhMD4Ehs9B3MJSjzy+GChL2UhVqP1YGmi44iPZXHRIahKn1SpYfJhfGZ1F6i5CjWiUjuO2Ux+M70lSKM/+pRVj7nPC4JMRfIM0rNAiumCsGa7OroWmcbjF59+aH7d4gCo3isWOjlEFhoUNzp/f4adRo9vXehCqS8s+78wO5KjJ39ktm/59XyJoqseM9iDKJZ2XrKwvj0mRO+DfzErRqgBqIJJt7e3vszUsnRmRAHsywL5EdP/HnkAJzCkFCedmwjf2ZSl8E98EYe9VusrljXqEZvIRtpKYpwHzhzimHRqkSU3DacQ1wTntSyGe76I4rHUEFgPO4yaNZ2261eCn9BLOXT1TLQ1fbPiL/88fFW+SCvviMF+rXDUfxuEDt2WuQ1WGU2nmtWE5hVl9pyjCpb2ZziEkwx3nRSsDHTk1+Kg766QYMWODQs3QnCOIAKsRa7lL4r7FFqVrltBR5ozGTvX/E8z7QIZc+QZDGRvU/luNNmHFPiwZDIN0X5FT6HrGga+4TZWBmvZjVcmHGR57bRaJpm5Z8qTxF+ELO4dgseR0U9jHeoVgh8pAdsdaaLVZwpqVppVGYJviloRqdQuF7/rdTqNO+uWCJYU1vwo05kDJpvwJyktAxYCkHMlBWtCWzTPUt7PY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777475803

%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

