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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-40

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1131921

%ISIZE%
4375482

%SHA256SUM%
628467be9f720baeec2a88f118678e5190a436a0be68adbd40255cb2b1354a2f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7UUYACgkQeGxj8zDXy5JjXhAAsdaWfr6FEifVJgpwKwSUE0uDdsuKcL6F81hMPOPKqPmoA3AL1rFaUckPpTThC2j9hJEOaa//NHedYfySkTztdTv/JxkqNTRScs4rPT3InaqOhNVHJ7px/h0Qle5uU2I2pYxorh95Ftbu7TNz4uThQQRqjtZuStCyoFeGxYeherhHOSYG5ysYXuK5u2CpiQiIEycmnhJTV8bwcKavIF4h/UiJhfXTCD6PNOpjnAPGGnlPKQtlVCXwez6vkSBGXOMMKPaRDEMJvegupwNp3KIh/Ju4MP8zDyQSG8Qz+fhA/+kAGVxmHLB2OOgYL/pujQYGt/g7aB/3KAo91U/KGm+Ni93QwRpvBZ6RkiLtYZUozjPS5tKwv1H8EClWuNvA59mg6IHwgAbcwX7AKF45J0Kwwj2A8qDmDSOc0H6W511vGILlzOYVLfgMEhBGfXWlHsh6qBzxIjIA+YfbTHEtobD2qkh8PgKKwNvVrq6lJRR2gPKDONvUA/Ew1rFhiREZd2YJhQ21NY3qREdR+SNQnxi9eY/GFyL8s58DkGxHUNZO//cT6CAhPLdLfrbKa87sBWFS++/sMKEGaRB6nMfL2w2AFzPFym9WtwGJ+qnu6MgsfSDnO4FFD6tfW/IaxcdF5hYz/WZUMgV0+6KDS13oWoL1hgE+O4nyuAHM1ir+1ITMScA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778077975

%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

