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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-142

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132594

%ISIZE%
4375482

%SHA256SUM%
30944c912b0b01b96e9a92114e1b012d71ab80687f1faeec72564c0fed54ec86

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrH76kACgkQeGxj8zDXy5IR6RAAwZP+W93Xtd/AIVPPnH07ZRXIJ7fWuZ4nurht3L536OLrKlpGeAVbj+MWQhhKAL8sS+TwzqOqjFQZZqBTt2HPRnWAU9a3cuKGeoXrrFFgf/Z/lRiD+fCOdqphHh+CZEupxO26Y2tcKwnusYgTl2NhDaRxnyTnoCso0TijEq6XhI0EylfJFwTkZ9Y2T/8GP+pylPi+kn5fpK5ZW58+C1xhRrtdwpTENElKXaQmPrYi55HwPyqYhEg38+AUQEeAoBvOPphFo37SZ853RUvPyfEbD8NActYqvpMplzI5XntpVE+A71IiuXFlD1S4Y3Q1UQXXrezpT0MYqpcfT2AEq2cF3SqA8B0e0959UErV2wvxsMDwhF7mOQMrHcdhnlV2pbSXlxhSmarvKKBxxPfRh0ZGyZL0NtfA6kNouy/glbF5P8NECztyqIV25vBwzyxDLy0XKPNR3+ab4niOPAgLIsvv0wZFB5Rpk2x8HifYe5dn+Zql5unOAKRwYWifEKqrsqT5u4DBCoNbvSQI1HS5h0CV/pMSfFy9epddnefFPJpuCLwQhtZfyHRS52l+Z+Zmjw1cTW65QXq3xivW5VcdYqV2B1Fm8tik2NDQoHvaCNNMDSt8wuS42fc2voykYeOxxxuWiPQDHg7HQ6XILt0F0YqDV2ZOeX25svNA4nJMbFZ3YkM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791487865

%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

