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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-149

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132133

%ISIZE%
4375482

%SHA256SUM%
d0cbddadf7028c456055f82fed94f5b25f789255128fc5dc104f342b94760af7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMzKYACgkQeGxj8zDXy5Le7g/+NAiXbM03vxv7qrkKckxOMRY3mzxB3uMKrN6biLkI26pCJVg+p94DiXqomxGjlgncLPvuwAG82Z+nTV6qCWjDCiXFTii0OFil83vb6MMbLkqQNKDFbeVTc+Dll9Kfytdhz2BI6ov8LfO2w7A5e8fi4oD1u5bul6cEID9Eyff4OgJHmj5x2QJ0yTO5AyQrJfxFCiGYNDjjvO5Tga5mSyavbqemgUGVkiaE/E2KOnttb7q8aIeT9Wi40KiNSMLw1L7xCEuYmODVUm6WhEm8QYrwXzjqOWdvRGk2azB/UcZkGgVQqG/l0zY/tec+cvjoN+yVwz10xBxQU2+r24pRuScXCryuV6o3xd6Tkcm+WTw7Y/sK804nsyb0qHZvAM3pZBcFAoojl2iOS3v2SCjOPnQS236yl2g52S8YdRBj3ZuvVqMX5DyMA+ej1f+zJWQH1b8iHWXzc3BZGHTZJnWbzYzlxx5NQBG//c295nGpGKwea5uJqdrKzA/+mZAxpIO0xgwMqVpDMp9ZJKYSdXp36xCSXmqRoNGJz2EDq2seK9AgmzF1AH3IjBfTZUuUQaN/p+DlFDHpBF9XYM3U4xm1Jyln+FXjJRBUuPkczVRe7iibm3JiXJo1FRSRe1CmOoG7KAY7DJdLHQWQZ6iHQvDFSrB2wuR5Lj/v95ZhWyMklko865o=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791806509

%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

