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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-86

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132473

%ISIZE%
4375482

%SHA256SUM%
d1289c806f49c1e07561c94cb344a7cae29be4e00ce6cf3c8f406d3cdeef37cd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpCzFgACgkQeGxj8zDXy5LZthAAwGUXthG7PsfVWnnnOFjQh82vld6ZAs+T2x4y3JSxtfdmsFPyR1sbhQNrpWTLyjqmOycMm72fbnNO0zaBbSvB6VgNNZXQHVBkG2EsmsdIZKhsw/nyMBya+YkbOPcHWSn70EKEuJ+XZ9DwR6Y3msL6OvWIMUwlGWUfYKSBqa/Mo1r0SwqcLcq+hB4+UA9xiz6brsgKTDxUkSUPrzyW3Ac5YtpiFwoJEg/jLiyw4JXIWo8EggUcTymXrhDRIkBH15oD9x7ZkZ3YOdG7pPX3hfbnOWfi1EmNK91DvfKFDLnhWo5pwINsfQYPGHR0YxCTd6oawIPV0FFWqQ0RawC2oUzA+w+GpFtCDZie2DJCuvv3g68z/jea3/5WLf0QKNZDWUjR16NTFIkB8JdEhIh9n9jphNecVByY89FcMHjmmFqBjeLoJqv6AIa0JzC5q8CbDphsG4cL/fQYBaCDJ2vVCNs5S2q8g30v2KMFHQ09CJnGfvgO5wAyJAQyjFPAMJFm+A2aWal6eATbnqyB4k931wjXAl4oONRTSbo2ceokdMK3vYM2SjIYC/3eIPk9qmsEyDqeFk4Shds226qVRyd8oePxoL9yiTFwG7dS3xFAVTKd59XYhlWzkwmZNTYSKFGx+M2aPDIXH3eMY+ujSG24KPpyCJ+s2QyqQY7GN9z09cI87hA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782762560

%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

