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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-137

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132159

%ISIZE%
4375482

%SHA256SUM%
8480b3d042e56ee4a815dcb6aff8da15ad1e05ad27882bb37bd7ccf7ed6dbeab

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF/dwACgkQeGxj8zDXy5J6qA//fFMD0g6U6/CioBW6HtZyCI6B12YGSkBWi4tB6hbc/rLTGAo8S6LTHpr+Z6u6kkbTKtfywpikFyP+hBpY/ofhUKH58zG0dbrAx0GUTGa0o5DfcvcH3xdgJDgfTc9DIdOK4wPoFjCVHN8TpXftuZ0LssMLgk+G9wHhYRTWh7OR51QYG94G0lyFglFlidc1CJ0vToPfAuUyaCQGYfr5Y9MkLSO8nWYsCsiD/cFQ6aUTy746esZBMHKfrji+4eANqDW5DOZwVJjSozyH+Qgae1+a/SgSe9AFCDDI68G4fATGc2tAUQEvs3txpKb+RmVXlKwNlF/UvtmxTVYe3SbIkapNhEgRK9SsENtEzSNtDSA4lg7Dug1ucYvwEBhAqxLDD5g85wWLYjuA/7G4t4JhuOKZucjctsVbbEk8PpQp9ob3LVBk8dRE49Wh5tfp984VhDrIH2LWGb1r73aL7JZzGXKN1ofN54tvBtoa6nCKFL4qv63L6yzHnQ0h1Y2vbzfbUsQFrmgmicqFSppwhqSFpGRV+H1HSoDtG+4whNmxAt1IVqO+QR3Bc0G6QVcCJZBK2/I5SWngXbjG+r3rl5i1h36BZwD6jrWVu/hWwytBVbm23Ho+Lmw3LqK6tcOJ9pmu+v/HCXj8yI+zZ3CLbJaGKYkp10z8Mt03UxCgUzjOWWOwSX0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791360431

%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

