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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-97

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132113

%ISIZE%
4375482

%SHA256SUM%
8cc0d02af00bfd8cff6a2ba632e5509f8f51b8db6596db362ae4591877df4070

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp6VaAACgkQeGxj8zDXy5K2OBAAqCQpnFQGe/QLipXpu9WJ4lmUT7GXfE3iJ1/UqECwr1SAfAK0GPFJ/ZJCwUpdDGsPMH9QY8RRuDFHhFbCU+RztU8jEvmSZ18XIFb8S0LdrShd94Dzf5bJhWE5xij/aFPIyZ9W34xWyHcPVw9Qj893ZXFoY7d7z9jE24sjJTTn7mhMAmg0LZHIzmiKSGZ4EoIabvNYb07CAOMT73gxK00PGAh+GnB5n+BucbzHQOSJgl/Ci6jlALkBBSaTasMq1FotVdb5GMjwG1tR1GH90wqwBfZwJcIjx1IhAP0XhhuDfdYpxUQ7a2HCm6IfsByc9QZNMqlyNNA9HPF+Zd8E78rhZ3z+PUeqgbS0grjki5gDC66/WTNIedqdH7SUcok/f6uEjk9fuDKL6Pu8u6RGFdopSDwe9SXY/Ea/ZW1/yQpRW1DlMI+DukIJiX8EEM++pX1Hy/SnGO9TUX1KsyFQdvYOYXRW1uaf30jFzYLcyHWNoa5w2OWibwbwJTXCeAQF56pEEhmtA2rImW7idOwIUKCV7kJPMEoHd7Z2/JCIcCa6xaCRk7mnMf7T9eiMh1e2T7DkqacbCI7tm+rhBi/zKwuGsByGqPFJCDTmo1o7we2j9djJvr9pIIV2HPlNN+zppgrQ6exhPKNHjB7nRkJKXKEdH3XE+3qQ7aP2YnzfYmg8QOM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786402170

%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

