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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-161

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1131915

%ISIZE%
4375482

%SHA256SUM%
c3854bfff83881d7261ba38cb49bb48b1a1e7e60cd1c0c49a14d37ec65e3e5b8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZWMsACgkQeGxj8zDXy5IXWhAAnZWFnYBeIOzPreJm9XOgAIZLA0CbGawvc0/DvuKwzTjON5AvPApfB6xfKBeDRelYKfBgZOTBizvJUu+l08H1782DCq9hWDTKgw9PodKwZzWq/p2XYGWoLqA5/Xir6R4D1haSd7JY5tqOrmIdXxuyqIDzjgQHjDlOAJn8Pz78dbvS6hVIqLZTXVs2m1vGBUei1O3GabiECdVJvKfYtIXnMVMTcFxup9278jHqzaM+6LGWigqSdYpnWgoZTuhrh8R5dslauJ+hPO2N0RaDnqTAg3GbDQNgw3Ofw1XR59l3VwhG82GvAoBbrQiFM3Q5Ei2ZUsiEuvRPQb9sfEYDozzuVjBs9BkFYNVkQzKqIo/fYXey4gx2yq6oY7/RX86PdnuWemDifb1QqtNCoqjrqdpeyjG8K3yftP0eATnyj/hMSECNcWMY2v1raextWuAz8M27pcuWtdJK56imj6VEJDrsAQjS3pGCSTh3/4DQkP/CO0ocque1w3Iu2B+/FE6wGF0e7Df37ci8PvmFU/xrz90KRPSA0r1O4d32Pg6cVvXlD2si72MoZ2ryT0KFPVYzooIzctm4mUJggRnPW3pjSD7LElFcgeO8wRDyaI2DMzDPPkmyifeoj7AAjyQUN2baETqbLEuRjTNLwS8jqe8gXaoVQ+FaaER7U4Vw6cwElddHs2c=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792628868

%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

