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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-46

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132427

%ISIZE%
4375482

%MD5SUM%
487c32f3b68b3e52c1c3867e612d6df8

%SHA256SUM%
16e213a0599a31f7ff5d6294d180bb151d8f5c5ef620375f26a390673ad6989b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoC1FoACgkQeGxj8zDXy5I9jxAAgVTjAfEarcoC1nHcZfANWwskJeJXtdZ3okxUWYtKfXmoDi1yVN/MMMrrlqsFp1hg0visRoIZM9XTDSptBev304Ihru7d1t6vxDs1H/pIquRX5CVAxELvVOrWHacyQWhYI1IakNUR8sbXjlaHNxr9APJ29Cbm4zTkhJ4xnKgQsXcAlHYxyg6G6unKzUlPTqWroDQg3Xqx/ttYLJibK5D8xfa/kO2swXtdn1swFFEQnWgX6VNXdrfjmhXd5cJ1l/vfrt//sEsZaVwY7u11FsWaFndjZKkK/0sHdtvbJ6AbGAXyFTNOfEQmy2ulKpWHKJgijigT8kzDoFz/knAMMU1RWv6NFYvXfaKXgnZaFfso2udvyp2j8KUEJvM1yl+AwlnCp4tRhiDltCdvNFhSU1bGCRVjS1pHDBJgZaIe/z2+/ewYi4Oq80+xEKZvCsy9xFGQjT5Xo96bPIhfUZC/qRGFLEaTMshWLSePqNT7VaYieRB01hlNjjJBmELShq9YyeW219GU8kK9+5relccWgyULvEaQBBzCemWCIrM6dkB1muo5eI3tg+sSfNRAjpJg0p/g1VXf/+9Y7KwFP3/k8nrQVutltnQMSGAidyWMC50RkB+stbFxseI7bHUsSRKJqlbhP28bR9WHrMMKqBkbPRZT69zaRE+meBute/HNastRXkk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778570258

%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

