%FILENAME%
tamarin-prover-1.10.0-222-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-222

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
571615

%ISIZE%
2659122

%SHA256SUM%
4495c6bf28c8f61b06244a80d2605626ea49058347db6fa3adb5b2916d65d924

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjw4igACgkQeGxj8zDXy5Kpmg/9FxxMczhu4NWvIXhd2qscvx+WXf928oUBXfeuHE0BhxcW6VMJlUbwFfjokDInRjSUFr0ZBo6NpfOTblaWftmaSDf+oIGBagWnaXeN2PjbmpOzfyYCs31BH6zgcEdmuPfvvzqZnCetHXEUDiUjxLSIzayOMSF0/pZ4eFlfT7cDKF7Mld1m0HB77ICfrhgTd+vzXFqavcWYUFBPTL8y7LGTWKLKWqtMnbq2cbiGKGIQWSrrZkGqveCxhcAaVdeZ7vql4PrnkBYQReh6UPXPrtBGT7sPu2UbD7R+WNN5JEDfo4jC8DWR5MlULKL/sOcccdT/VzgYKmj83tt16vI+7v8aBLElgYjWi1JS9AmDJn8HaYZNUT400mQUR+BSrRc0TEnHrYJUe6ECGyAe2eIFQ+n9v4OIQ/VjU9+WkJWvC1IkL7pTKTrHZec4w5NKJaMjpdvW+95YWrkLTcKj2y0cb9RusjCYPau61VMHG+vrEFVQgwYTeDpphChQG9d3KQNeZKVF0KqLw+sJVeDVNO93i37jDn04+ZANLDs7uCJ3aZoJB8ny/+VGHml/I8c0aDwoT1PL1lavsYwv51wnLZsPTyPo6Ki/PRsgcCNAmkf4jGWgl64tfb8Acwd6vrGcZcc0GYSHzXsgMQZFx3EG7MdZKEx4YWFUEqJeslI9BTJgUzkixf4=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760616946

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-builder
haskell-blaze-html
haskell-cmdargs
haskell-conduit
haskell-fclabels
haskell-file-embed
haskell-gitrev
haskell-http-types
haskell-lifted-base
haskell-resourcet
haskell-safe
haskell-shakespeare
haskell-threads
haskell-wai
haskell-warp
haskell-yesod-core
haskell-yesod-static
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic
haskell-tamarin-prover-export
haskell-tamarin-prover-accountability

%MAKEDEPENDS%
ghc

