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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-141

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

%CSIZE%
2995331

%ISIZE%
22586732

%MD5SUM%
7a58e7994f30c8c49d91eba24cf8babe

%SHA256SUM%
db7576deb1ff5c02aeaa7412f47f54a723cd3d1d34b4acac14b86d106cbb5c45

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkstkQACgkQeGxj8zDXy5J2AQ/7B7eBpjYiYsQ1qObkNBs6mvZAYQq/zhFcYwBFV0uUbJwNAVceaTmbkvCScqUVDYcPN4fxAtwEWh315FmNSvuOCyXR9wXywCkQZRieW7Belo8bx1tnjWtp9AtygmJ8kGy/Y0rK8J9uVfQDXm9PwvwnmlpqRJPsxFg1XoVOPgeB4y1GaRTY7Q2LCjdEqopwJLzl/oXxLEnV6b5nkWxi9ykisb+UN7k3a4QCcNJn+9ZSiYghVa8YSa3RgnBn2QHfFSYiBLb86RaZhNxySTBOBS0oghZiKtYnQAUpDnB9N6slbAnOTCRVwOQgjTNXtXFEuBU4kcsCkCCgwiqZtQVsNHldByJ+BhL8BZsGBYG5offTec1QfOmZ/Benzsnk6Fts/oXG+2LcCI57qQF0J17bLKGfWcyr+QpAhmEs5W/iRm0QtK6qS+4bNj5jXtfgYhOsM5vjOFdEEIKpHhTsHF6MZg5940cmrrgSnRy/GCaVKRCcsF5J5gCxB91cBEIa05SWnyw7u12YoeM4pPixxSMVploOvXVoNmGg7OaSZ3HFGHEmYQbf86x1h7YgQsu/3o033wgQcnr8/Xn0TuWzN1Tr5cd0JfvxvOoLmMAg6KemVVanVT+3GvaX+ZsoVRWLPf0CppPoydh+7GtsqBAZqq9QzjdnR72Xz4Fq70h4+ZA7iV5cVaM=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764537814

%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

