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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-50

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

%CSIZE%
3042634

%ISIZE%
22750419

%SHA256SUM%
b044e37587f18b2405ecb6bd8d0d58e810f72be34a487b4f5da897e70234b9ac

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmgy+jIACgkQeGxj8zDXy5L3yA/+NiBgxyUXWJUxfYhlAX04urKvh9AJQpmkcWp/wDXB514J/2NG94djSAGoIEPFlumcFu7aYGvk5v4y6n+o/Gi98YSk38lf6zuu8afj4mS4SqsdsNPGLYb0NMSm8GLUrx8DN79PwBjgcngCAOKDivvDvTi36e3Gfhpztcwy/dtDF4UShlMYvRKxSMPMgnuMbxUabnkXVFyi3c2fGmL8xTIdhN+YrXl9TGLf5uXaE/UYgEx4GmoKjS+8BgoH0I4clPo/j9Ky9BFp6MhdbwOAQFCDTG5D+FbjfDnqiXDf/+ELK4oSIbTihzwoYa1R/h1mkb6BERu+G7LcZLssUx7RbftNyaH0LHF3f/HZrj1YKcGZCe6APAHeXa1462uFhxL/XdCGrNoWqomsUxVFZyslcQq1VT2l4Jal1wX+eccs0wcSI5+frAcrMua3bprt9YFWGXk2jGRejPyBWFKdTgIvBgcJWuqgxrLG8Gn889xGyjboSJMGL5ZnMc3MTI5AkvxxF86JiX8vFxAwRDsLRhjgOpqzNkSX8f0BW5KoVt72Gw8LR0tuYWZusU5wGX6YJWA84UJgef9cEdVFAeONQXbFXGtEfTuYAxHPkPFD6+U5IMDk6UXj1lyU6p4emYKEQvVTlzyFO04kHVs3Kx7nqlYKXl5ytJV0EY9w9f18r6UFo5+PSYU=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1748171190

%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

