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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-73

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132696

%ISIZE%
4375482

%SHA256SUM%
91e73549bb336cb3a98018385cc1fecf7cb690b21a2536dfeff9fd5bf9ee1991

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo69pAACgkQeGxj8zDXy5JM7BAAwJ33ZsOELauzOFSpL5VOtNTH92gjaEbDYzkESUpyX35lVHMV8FhC8eH/SfRJ2zWFA+jDWNEZiyELruHxaD0uBxr4EoJ4BcHMs6tc45+rQTISITYIxXmxAjw4nErroAM274x3kmsHMcznauFRVjnIwPVl33jfLvTignk5ICkYs9hE2shMlOw2yTV9RE4dDR0WHXyB3VOmkKRyCie7AgWH24PxzV2CrXCDa/zKlZI13UWUYVbSDLsUyV+JKh9pN1RyrpU485TuVG/9Rp18ZMez8He7k1yc/uIff/u9ZH11w0HPF8xgWIw1CqYywDMUVWCXBg+hN/v6y87MUMS2z5FaAINSo8Yo2VpcTeYJC993m/ghg+R3ShdrnCoxXmDp5muMGFlIhEVnoPRZRC+jB4ZUrxg23yyDEDXa34rVNlq91ebqqh4p1axqg9h8jH9G7D+N3/nC1uFLruyQmwMUWlbAJh/jJYbJfAUdNajWypmp/JvtlPOYX5dQ95y2Tfi/YyXdFg5SNMwyyP7V26Qc0kaJpMHepNJFN1Hj9zg+oW+vNWOn8xc9/BOEFi8X3s5qNj0hvo9HYIaJie8QVfhb/WTthztvUrvSuPOuox8ezT3HJds85h3KUvJh5RhHefB+MtwvX0EpetYHYDX+u6vuiBLcaHQqxoEI0cz+ELTwFkZ5aIs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782249053

%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

