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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-96

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132058

%ISIZE%
4375482

%MD5SUM%
dfeb556143920baa85916f5e670875d2

%SHA256SUM%
926f37a1fb0cbc0677df2045cea586286858827d6ffb683e32029eaf90280760

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmppUEMACgkQeGxj8zDXy5JV8RAAjbwOd9BILEnNW8IkfBvtqcyiPNrs6pkkViBIkpCj+lgJQwZFLV7bnGq0VkUUjUecR6MC51rC6BbEnOnIwKFNccRUq/AkrPG4FohiaSB2QXBvzWhSEmZWY88/+ElOWVme89FsQZRApiVOA73P1ZAWHWFAINs8RlrrbAeHvBiCOJg8hEYHkbchxjjbQxan0/pX6YGYGXRxceTfpkq4QHvu1y66RDPtte08WDNPRLEbcaQyE4KXf30ymMwAgQP3j4rR5G3WifGUot7sAauAfTZVkpSfvqe31Ng4O4Nkdx5zVQF3P+CSfHWULfjn0Kg/f6rm9KMNNgO60ZEV0/xYosXVDseaz1VlWJL/iRH2AUBKdw6nEV83HQIt5PIyN5ouRvAY7jZlG7+1wcXRzWPC/uYFEjiigxSjG0hIAumf74IIyhAk+kfOboVHuK/vhAb3PdiRE6dMnDGIGXLBdSQ+hebu+fH2qbEHBs2hVCBe2pD9+Ej572hC1aEZrEkxuQQ1FGrdoTI0AQdz5RuLjP45w1kqnMua9gKOQw2LW7xPElPo0JtPDgkOObsPPUKnHysl6N2jqBgp2p1dmSIMTiWpi71YuGUS7q54lLuSi3btVFFOZ6zjRG85uA/DQbCYWpnch+fZ9KCVeY/5Dj+wN5nCvqd6c1h1eoCDVA+s40tQaQLdmF0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1785286692

%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

