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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-109

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132245

%ISIZE%
4375482

%SHA256SUM%
4ad2f3e89ac4db307a755f3aa2df8f90aeca0087a1e654767d23c16ef87474d5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqpkbYACgkQeGxj8zDXy5JkExAAks/nLULs3LURZUElN4u1AAIO5WePsfTJ8JqbFl+tyOCGFwvzAHfTUNsrpdN6+hXJAU742CXL6M7qYtygtpY5VGVSwinCcTVgMZqP+IqDYKAm4hzGhkqWW3raoUtuaSRJlf084rPIUPDkvNd46QwEhbcZcVX8XxmR/6DweDUKLnC/5TVlulL75bXUoSBoiFLujJ03YY7htVqptu7s/01wk/Q3OR1fANUkkO/6kPb2daPB3OZiThOdmTntQI/cYytzpBN4/jMLv/V9D0dm2DXNE15oELIjJcw1HG60cYPEI5ow5DfgqI/8SNwzOy2jmLuW6ssWPMGxI+RpZcUiKCNED/cPI5LfUXaDpNDwhXIJkrJbxTliWE4yfj1Dm1I6YVZNxXjGY5Y+eER5KdAKndiYGIKC57DdMcMZ+01V1tx0O2aJDO5NjpV8jUTaGbByrRolHWpomBtvgTusYE2jsA3EoasakpZXRewkXJiXbqQ7kHK/QIvX/DqUmMFRmGXFQPpiBae+ZVz8PFqP1jiHXRdd/l7Wnj5w0IcXM40qZwXb0PcvH15mAD7WC6vBX8uqvLGjAK6ymR1jw1kxyCaiYff85wRr9hVWYqdesX3eX0jYwTzFDJHvr5Kahp9cGFaD63rrwM4FRGnoLQRoKY1h3MoBf922ldDnq/S1SKY4gG3tFq8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789497732

%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

