%FILENAME%
tamarin-prover-1.12.0-45-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-45

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132386

%ISIZE%
4375482

%SHA256SUM%
979d6e2b3404814481ab96ebf414d2ad62b1a260b57cf01963080b80a2cf4906

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoCHGUACgkQeGxj8zDXy5LJZw//Vn3L5mXe0VTTwOy2HJi6kYVDAcpTEw98MapRJiAjByQSRJwtRI0e2LwBoyQoksO/HtiT6od0qH8y32q6I78U3UIgVd7bpz/4/Y3qsfp5uQeJFDxJlDUkcgrYqE2jZVnj+d6rJ0YahVD8Li3rTchLVLzM8ko+H9uE54qTmrpFNgzTtHm0xsMN3dlM/zWoo7r67cRlwXv9l5jFf0ANHZ/t6F7lqOmyA/B/mLOMwE2wr4DpPn+l9ALMMFDK1mOm/0vv4bMS8nnFTX32nqZ4FZklEk1EqlneIdj9U3WsqH5/0ChYhW98ZfsCggY61mDfPI+/GEp9nLHiavPwYg1zIIt+ZydlrSh38UL9id6y9H1cObzVvuS3UYKa90W+2AdrsQVZ+foc3who9QgkyrcEw7MxO8KsoZVeXUbdgNA8GI3Sbe8+b6MAHK51R+8h1E+qjZf2KnDqyVQgxmb8Q4SDabwvrCL/Vu0I+tEKxqCYpNKk97UCFysJXvvQJXj4BG6EF8Vz01NbqhKbAqRkDozd14iST9HI74eMMnbajgb1+mbkkuoYRPy8PusntCYqLWT8xhHbzKMkebzSuWZDvCBtDRjdUCec4kjEbuyBnnQ1AXJqah21gca1OUHJBhAkE62ZNwqkOmhhNOZJ5jQ+lT7Kk8WBg5mBf7OPSUEUjG8b56W5cdM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778523156

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

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-html
haskell-cmdargs
haskell-conduit
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

