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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-135

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132112

%ISIZE%
4375482

%SHA256SUM%
336329bdd79e5dc55da3671345ccd6c112c081dbf202f9fb38578a37d05ddaaa

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEJxUACgkQeGxj8zDXy5I+jg//ceq1Ri/ipvnhnL1s2ky9gS9CepikRjpv4R4YHnkQbp+IpoRNn4J16RVXLz6iUu9m+dOCTpMzetfGGeb6FEYu/n5qKUgjiAgTy5YqkUQ8BmVFcf9WrjYr6U4CCxfQujdk/N/XrjF8jlOX6maNO+PrINtCL9Uc703A1OTmkiePZZODzXntqgqq6YPphrbIQXviJTDJvrhtEjQVhzxo3BzFJi76LUvFO6ikGwA1GaF25GaWHGdACOtcUUmiQGspmLn/q3sPJeBNkTRrtTBDftU2RUFgq01G6SMkffmlmxSWQOBlppBl16OByAve/NKpKblZenlj94pjyonedB7v1LqrgeHpx5yx908X8oaucAR52YjeEmtW8GtF4FSLxQiYUnvoGS1n5Wgl7yYPgczg6bF6Lqtutnpp9mV0EsBfwNkftFdioYRV3nk/35J4xBb1BcZabahNCdqojthM4fce6LuZljEUMaIy8aPTAOb8GIuryeyNq+dgVM3ciTR1ljV3CkdUe1rb8ypRuXJsvE7vJASDN6GkYEEVNjHx7UUrJFlMg9hurOLSUTPlKqhCQrLWApmPC3WR//tFRjxpMfHvzKL+TuyIFqUXHQgBFrFwrxGUvKOuO7w62k8+i1O0jRNX6t+XJkzt2IsV2xmCF/AXAEQDavaFWNXnXpxzzJkwfaMuxUo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791239928

%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

