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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-69

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132009

%ISIZE%
4375482

%SHA256SUM%
0b07ebd629bf02952dcce9ea1004da2b61540592dbbedf6a3bd7d21b016ce9e9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4vLwACgkQeGxj8zDXy5JeIg//TvkRI7v/E4qcVXLtG7ejrhkmO4ozC5bIE9sd2epjnPrbl74wWyzgqn+MglcVXrvoeRbxqvZ7f4DkOOqYs5vw+sLb4NlL4WAYaWYc3tSx1nWdlgeFJ8tXUC38cwuRaAfLZozDqt48XXqgSoxCO1f7RRwUcIGXzgKiSHrvkMLyokA4JPZsBYsB8pk8W66SUslOvpIb/Lwt4e4VIZqAqgempyEh3Pkw08pc7HPaRRbb816V3Pp3IbAZKfPVJ3vtOIk606GvxtwkgHK9QRkfyaMLfCUs0f55NLA+4EZFJ1c5Tno+w7wV8rbwhSCgmq93gn79i87ZXZnK+PKWhge2ISFnyYbj7WOFm6WGr50N0YGn1CSV0ViINvbT8SCqmRgkTKW+aTbhtpIA7/qv2DHoyXVgDACCjV+ggOQzLHyMyGobrpDTLjwdISMSUFkxGNMhIZAkCFd5f1A9Tpd6oRTZ3BNA0gYB5WD/6PEomAy0ZBLWzpyJAxdwMcFbZazhZ97lodUeWXc/yvUT6cuRaEIQieNiELy//RWGUKs/hz1ks1euCR3Jel/GBYryoyXmUQgrBJFMVLuKbiX3hPYNNniL00uWo5f/ueUBb/hhrhAIgaV8USFW1OfF3s7/8DHIZNX5OTNzTw7TTj5f23DCji5aVOGjJSyTdfnDTd6Yepbx0zM6ZNs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782103166

%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

