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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-163

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132380

%ISIZE%
4375482

%SHA256SUM%
b61b610023a199752d87f98f82300388f94c1240df953773eb51303c63011f1f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbSnEACgkQeGxj8zDXy5JrfQ//WvBkh6xY7ndBlLzP50/Y6PLkgPAC8UqL4YYkU01HW+FUaNDJQu3OrJhlWUNoG/gvzi7khpq8CNe/E8jJYKMsNffKaNy08LlcUWATl4LdnDI9Dd7o8GYpaNVL2QCN1wQhQ3/CLleNZPiy48sT82kVYOIkJtRCbLs2rbYfIB/mbDVQ8/TpmEzqJNAIWpT7nzEV2y4e0JXgiVD29zjJRzm/UAFBTneTyS0cM+yp03lQx6yPNkN5HRm3cATsnXJjYqLytIpZdzw6/Luac2uYTzV9dx9t6yjLTuz6M1KbGtacNDgQxOt2OaFx5Z1o+lPWmRdddMsYPk5f5PSPXbu9qX0q3l4LFLafINAVxVGckA8ieM56csTDjCQfKEGjHv28ZLOCXacocMLb8IU7lfrma+XLdVYKui4pzzH3IxDeljKaUtdYN7IMJ5XHe6J+GFaOxQ/8N9MJzNtwvTmQzuzjWKFquowEZCoS9JjKgidES/dIjT8cSQ6qPfwn7882BJbCJowm+Z1sTe7FfKs4lfIRRgUNtvZUq+QHpncf6YMFi+nh8ssJbFT1z+acIxRfnCwGlzl2297eJcltqxjhLGkZ4zHYwV65Ky+qzt9PD6UXlc0VIxLBHpkRmJNMclgmj1TQNuovOwARoPKx79z/HUwIVxuUmgdr2NkDbMw+npqaqmTSges=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792756290

%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

