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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-126

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132246

%ISIZE%
4375482

%SHA256SUM%
97f20d13a2bb8396a94224ab77dedf68bdcf7e04b112970c9beeb51ac42bde3e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/vBkACgkQeGxj8zDXy5JQfg/+PgtY1rchWv6rshZ7AU6G1b7veiEhoE7Hjg4bCB3q2Ij8d5zwJmWfilyFhLfnR8o++ycokmNpjew3Ic/IDVOMncmVXfvfm/580S9QkOcbOesiXlvLi4iJ/iQnWsuDXR3ZJSLbcy7B2QhfHBZRHfs9b1vuIDq2LfYeeRN7ux3W/UfpNbrBba1v3huSdhUN0qO4yrX9oX47S5cie5h7ZtPyPQSeTXcltAzBqDaJTD2Vf7LStkKEsrHrFWbaS3e97yzWtDJUSkUu1Q26yzs1Nma2Za8uckY8RLxFoOw1rnk7FVHkrAb3HgFt3T6JAl12cQGzgQn6m2gO8M1YxREVLPxnulavrzLcVrgkeWC/29v7RHJaXOhrSugr5kR/NJ3YR5akiv6UojLepOftX1wNvE+Wc+qTm64vOdq3Zk8jikNjW1lQwTcFI8MWOs6EJNrIockBMjyR46+pEJzaewHGglWjGZDVn21utZAq1Src+EXd/UBt2LjhtI3buHhJGd7vxh7usZpmEwBFe/zp0lasGFCCloJZcSyiWgcteIGQBgNUSO9L8tGan5crYcfvJ0hnw6qtlAPMtCkb0k/oBgj3VvVm9k5cqdEQQ/5/dDu4Iags0SXL4N4NyT4iLxGvIEtcz+eXOWUkSjy4gcUFDm3KD2/nY73iPjNiyMx7IOol0CV7gz8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790950383

%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

