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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-84

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132223

%ISIZE%
4375482

%SHA256SUM%
d8654a9fcc064156bf979fda1bcfa25cc8324a3d335fe3acd15fc6b8405adc6f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpBc4cACgkQeGxj8zDXy5JZog/8C74WEQoeaHiIEjsUDdwBxIQi/CAD75a4QQM11ujibJd3f0+x08Kz4sv9vtaDLac+ouaPflhkVfv2B3asKq0GGoI8r69jyNELKpyODwJ5QoAAOC35C4pD+VAdJyFJWirSSUfymPbYIgAcxrKyXno4qisMRpqEovMLJJcO7NkSWu0ppeV2FgP9bZt4chVD8Mn1vjqLYH66cI3xZVsG3FPKV/C8Mc8ZuXufcNDrIYn342X64WLT1zFMwBU2187k3cDXzZGHGkVKqhgl8apZcjVL3Pp+Va58LGhdlqKfCJsqMlXv/7Tsh8JG0W/U9mBwSHwHfAH+XCNx5EC7lx00Olv9lfmypRtZrlew6z772n2Z2xSy1P+xE8XZcXeRy0lieRQpcoBhkNbXlFlCMrGF+sKut2edgpcgIEWF1ZPsEGIT+wXKJV9rjPdMCEfsxpxcvj49WCFLpbX6SsUNjmK5KCbATvkhRRNku/E6Y+wkgV5DkHjOwN+yCJ6+5IHiE2YFQ+x9bJI0m2KdalATyeP9LJh419QFqK7A/awkITwCV2OzpddGFXlRnvyj3u+nXCPxS1ifzNoAtGmtneBnF480SbCYHYw7MPfHR+UNr4K6NFOewL8mFuu/X2seyq2z/SiapfC0PM5qZRlDqCOy6wApTO5NWs7ODuc/0Dqzk95SpGx8B9U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782674267

%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

