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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-83

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132550

%ISIZE%
4375482

%SHA256SUM%
e9ecd550f085baa7f604eec5d5ec3645db0e8b54b8f32c16c25e3583f2a3ab38

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpAN74ACgkQeGxj8zDXy5LccBAAiC0KrzGtIBkzeFlP5cN9y4jUwPYp5HnScCbL307ixUCWVUwNH4NN0/fSbh2QFmPut3q/1VGSpSNhoTign07hqYwDst51vnH+VxcwJyPirZ2wuo/CyJi7O8yC+/+3a4PRteyYuiRbZCHF/Ey+R54L7BwLs1goD29pUVKn2KPG3uBueiY22W5fXii+zOf/ilvu6BY5oAETIQuntf7flTUww1CDWk1Jq3eVtBb00ZbbeVG5RlVQ5tA7kOe3pwQfn9quqK7dzHJbW2RNgONrPSJeue9jXVZviMUqCcwRdIRXbTkMgc31vgwydBZ3eXHufqouyLSTI99u7jvBu2oVB9cx6c1o3leI/tCqFSPYrkHA95yg8fXLI0lZYGI293HMbC0SVermWf4i3KfUWP2RP8c3BtmzY/o0T6DPVH1RnUV9Zd5YBMLUHH8WZQ26saeWZ61NxcAZMfBcar1RcZjXUPMkts+uvVQFY582VU8ZVgIDfEN26UWFqa7d/5agEA/eChLMqQuQ5RpihfyadfbPOk/ao9W6pniSd3bUVjls8RcVOYuy5mghUWPswXwmCxNWQrwhcM05y4hDeRFsp4H8CBYNTWiO/j2ot6jmTU24U56X8tRY5Q7dJW/GZiXldJc2cuNEiSzsoLzrR2TN+rdaNFtscjmhGp9GOFxyDFGvMZ3+W6E=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782593441

%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

