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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-36

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132158

%ISIZE%
4375482

%SHA256SUM%
9ac714b6db9ee80ffeab0465be8ac8b9d6f08afa62d2b7ee205c7af548d9a5ad

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnxLzIACgkQeGxj8zDXy5JZmA/9Ec4ePTcDq/Q0vFFxu8rJSa/tyvcupxE3zdj545Ocia+76BfEvs3UrdyxnrX+Qszx+ALJkt5M31DbHLDDs8ke9aqisDzyrdprVufG98P5LvJgwYBqNObRqIM1VsxVGeCNyKLuZ5wTj4aY6XweGmD8Xri+3/UHNOisajjDaDRzghP1PJEcvv1zuqWpwi1OHAwyfGKtp/8XyBeHyVTdK2vLpV8YPeUgVguDNrqiTWAf/xDlgVblpGFkGKZpx2XhOZBpidy7KMq/WjURabtWbZpjj8+tw5q3dOce0NXfyWUyLqbGJDatr+7oPia5PlU9w8ZlH2y3evIae0YSFjEVgTirBJQv8XzwXxXHL88Wg6LrsabzVtVEKdhYd/vumTg1auZEr1V/5RzSqcm1AFmJ4oQ/6cwv94Q4Y3yzTzyTGSKvtsau81DTRUIx1j7497vvC6eD8EK7UBet0F1Mw6cavkGUdJgbN1CKGYOYJiPrpoMHn+bkePkcRYweWjwCDcc9+OkRiMNrQuL0iuRp0IH2MXi69kb1mkp8UJTSSlCRHF5CVNqoIOxTN8wqAHPXwLlYzihMdD57yYBEohTFMd1sLTUOGUDo+5xA7l2Ul29J6doewp8QaMCB9fqGZAQj5UBFmbEw1ctPLvWfOzdEL7lmJXbA/T5hSEAV9ernrz0HOD9xGNM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777413893

%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

