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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-95

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1131959

%ISIZE%
4375482

%SHA256SUM%
7416a5c8a2c6c471ee01a5991aaa61a792654ff5efde3b924cb8fbb086c23dbd

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn360ACgkQrx0hme8KPM9RTQ//R2lmFXskvGZOxeOTx/KzYrmiY2smJF7nUCUzsqPEm448BCaEqjyT3RtteIhQNrmOzl4risqGafUNDEfxvk3c9712EE9+yWd38F0zFu8R5mcruJ1wlCJW4+MxRppFjW1Y1KyvuKAkfxS5ooDnd7Z6PvFixeMPznlwfPxymD+NZH7xRXbeAVQ3LEM+lIbq1CN+3dYp56Nn+qLORPVMYso3abEgDavAsQLNq2ZbVZF1kgM8vOFD6mmxUGXwWpzO9AbNXj4MnFIJE7c8Wdoud/mm6gwue3mG2HRG889IJtVLEnD+l+NyynagSbGOIb6NxJSJigDqrkdrQotBHH9vF/wdSwSdBf6ut7l+4Wej4EoBGWkzTwBiu7iKRbAFp8gSfl7byYoBpCNWpf3MfAs+WmpGUP8wcL12TEQhW77//exUbJpC0dd+4DbL7jQpJgbbxxkOwb+6+Ik2toH78ASfUCgGf0cqVtGQ8DOXgkmB+0Rsay7/EL4AI6hz0saEpBnoxzoK9k3/nM/H0nizqhWkv1joMh+afqq9zr1Qs12tTPEgkbhuzGQ+7O6HVvSekMb56FuktXCdJtVkoN/n4T7Wjl3TCq4EEdSa8EX+DBCfOPLqfef8uUWHQKmG4dLAXbDv2MYQnyXKIy50KgbWqrAYaH4Vo4nZhYXnQCh2fpr7cFFtxqY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783716506

%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

