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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-85

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

%CSIZE%
3038144

%ISIZE%
22810694

%SHA256SUM%
6b1a40784337c97128c6eee2cf4f2a302096540a0cd84febf8f381b3de06f01b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF9fEACgkQeGxj8zDXy5LTpg/+IFSJcLRnxnqgpKBHEp4MrGo9BT5N7DZzV9gANh5+X8m4S0ZrCPCClIQYsmki+R1EPrbnQN12zM0M0fvL3lNMOxIyP5zi2NNGpxRGwKXcU1SfOq2vbPBk0qaEwVdrKlYKVOfswikBspBWThHpId28M54emS9D1lTS+xOCl7RPgId4N+sHrCESf31NgNkln/QOcsU5DLEV/XjhSm/HlSRdSBp6i6YvK4x4kHKHhZUmgbxHbEGibQe9bvrISqjq06RILFLCQR8O0gXYwBSe5JKWdguHMrkjq4uJJX6nSibxE2RKklQNWkrFvhHLY/hCa1ZwzzdMMPMAoX/AM3DpP8aToSUZIfK/Ly8Jx8Ma0KYQyAo6nfY0mLhMpP/CKRXI/0D0XwLRBoBAW6WL/n4dnKzUYMFHHPLYyRdZVwGGjtIrzXj/XSFV65iLbBeyMB7M61pWF9+9WqZOVSi0AtFLP46h2zjXekfO06uJm7GPCcf22EKdt8zViDxVjNNKqK3Qc6RiMwc7Zt3iFDytvaV+RKe3RYuVKv8fp04T/iFR/J0oSLGf1x5+yjL3tA72pU2iAaskCyIGgkawzr9pDqR/LNKHRrJIUPckmZO6o8hioyEYRdpf0mKB7/oBeUpD0gh0eTbuH+twq0W8Sa8nLwXsbyvnWC/8MLeZ3Bp01UT+kQ4obC0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791358347

%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

