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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-156

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132462

%ISIZE%
4375482

%SHA256SUM%
571db7be670f219347b49db21317192e2b56cbda8ae19b59f6adbe684fba184a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVIRYACgkQeGxj8zDXy5L1eA//fuHjmPe+1l7DIvVbt8Xsy0uoBuyWwR6Or6ignMfdAgDiXGJnzW3zPAr6b5ERPttxHlrzDzbaNTe6P4ZNjMgWgN1Jq5QZX9qZbotQBTRLirMUi+K5QbwKDxImEYa2YxCm7VwRB64OaoG3vHYuNryGN6iSGSZGDrSlU2zWZ3pEl7S4P0IhFx61MEMOhSEyjIE3vJqFlPVg+lXyaz3FIHOoc2m6co4IhI/WtGpqGCWYDezk2/30YmL0gTN/CofIHoMfx0p0mnKC8CeOhFZsOOh+5GzxEQQ7txl9c4Jl1SlWJ2mJU0HCVoqaBOzdvNwuMXkUC3T+TXIhwQhfBFu1Q4a7zWZsGjwD8Q2g5mMPqk0YY+TBOWZgC5LUWFznrXnWJKB8EZTDBRXDCCOkKf5MNJm+KIrPO7yUEJlobBfrA4Ig9DMKhjmEhp3mPAQlQT1tfYo+UMxTr29736RKZVbB+tUFIRk/GZHItfXthycZPNJTUO3xmdO0NkpvDxKNjHUb5V2j/4nsJ0+4n8x6bAi5rGaXhk78o33/7yRafEj97maDKvMFOaHSZheQ1+8D1naGQZlqBkN5uE4Mh8ND7vHGhIOziVPoKqFrtAlLX7BU28TVPxo+VWLH4TJW5y6pEwJ8BsV8FIwIqyU2CVjH53VCzAPzc+iqdGWKi+Emy7cvJ4TVt5w=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792352505

%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

