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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-166

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132426

%ISIZE%
4375482

%SHA256SUM%
5ec3c0f9d25dce3661d1a95747eb0a54ebe9aaf6ea73d00f7a84be46fb75d8bc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrojBYACgkQeGxj8zDXy5Ijxw/+LiPrfk6cQ+tg4jXJp/Qu3AwPE07VlxgnInv/8ACKIyNV7mKL9l9CI02sBVKwQzC9iPhZnhGBz6q2Wsp5zHgu283dhAUgdjGT3d4EZW5lFcol3lkkluBTWcmnmQtnd0bo9YgyIRPxZscgIxZbHZDM6Jy/5Q1o2EW3gD0rK3D6A6zBB6eBK5UNyeok0QB1FOccJOqU7EHY8ztuqYuo8hBIALN412ytnMEUFJuVkjyR/q0Lapgro4t0fKmTX+aSwqHVOsloMJkIx+JQNnhnag9UcxEBnGxv9F2r+yhLTW1gWwGCAu0nA3HDjxF/4xbr7VBOxQTLLzw0BdNv20Zysa5911JYfY4VLv4E0W9YDi00uH9SmNTo/p2cvpdz9T9en57DL0e6HHqNM5kcx2LLwYLaQGe93HMqOF7inQ59Q5yT5IQzAJK2DOcEm7zOgFh9GlAgdElg1HZf/L67yWBt92fTkkEAIxvaCuzAUqJzkThA9fRgXyYMdOERfY3LhyOh55vKqT7sdZZTsLojZv1L7xvLaHxdP/XFhRa11swjBJjZ7r6ZBR9TOIQbNesCAGsUf3f6kkS3G9m3JTBaq7h+w/OCnDdXSn7d7XSx6i06nbj5QJY9KlHRyvjPQR1t3Kk5fgeYklwj/c5ZFLWaVsUBXF5H5PCp8zLK31LZ/ON2LYKdtgI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1793625068

%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

