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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-76

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1131801

%ISIZE%
4375482

%SHA256SUM%
23f5419c65a73a556dce10532f1c7f452a9b27cd2e837f790ed7393bcfd236c1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8U/AACgkQeGxj8zDXy5Jzhw/9GEkUF7ibaEj+zsanhLcFI8suLWVF1NCoRZsNs0czTcNqKS9jbbpnXJTRpQ08RvmA5oV6nQyAT7gW6YYQKtj578ldfN6nFrm/0DLDmsz4TEqAM8XQHiE1wFovnJhDEERxX3tRGVI2n+n1F/bXvMYxZ8dL0yUwlu7qeP9u7riQwl4MYE3pibPBv2seTHdgmG4us0ZKhhL+jvOUKs1aGAkGREmSGoUF/y9ihdJVrF7Xo6ZMX1QCDiv6wjRGbVs0kdncr2LWcm4u26SlgcxYUDfRaOX+tiI6vZyEemlzGTg1qmI3ICY2MA+FXlHRz2QgfvNvQ4ycb79JpreDooZ5WpgrjeYSg+sL1Rp4b0ooTsnB/wao4F6yaXlA/yRg76iKbNOoxRVzv8sn2iHCQXSQdP5sFVFNYB/wPg3kReMuxwH1MECqkZQdv4attiLAJWAl4h+WmmpgIewbsLKLFZoL4ut6Pkcih18h0mIdQtwYrRDWIJ9tQ+ZAfm2ngdxfa5X2zfPShZufvkK2MNnsgLE4hbF2EhId/RDAXAYUvhw7Fbbz/BOjYpD9wvRhVvzsaAyVEs5npz8nmikjUrqVMeVC30HEthvxl06JslWCHxOFNWjD8o7WzR4MQEy3xaLd3U78J2J3V8o6KZGHRp9BpQSVK2Sd8R4swoLAPZ4hV7yYcsocuVM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782338493

%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

