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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-48

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132453

%ISIZE%
4375482

%SHA256SUM%
f52b02884b27aaf376e6e0c15ec948681c0560a7a84864ec342038a8e90f42ad

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEzcUACgkQeGxj8zDXy5JJAQ/+M+HcM3UQvyaSVz7ejGhpBfrZxFNQQysIeXckKY+8vQIcV/0Q7iKQFnPOMGAffxcTbrl5vDoadyq+0PoU3ZDKZBK+tRoOJN6TLr1abxtCF8jNWI3p1XYTbips05ptMu07HIrj+KHuZqYr8ja1rRs/8P97uXY+K14N0+HccePQGQxoVClaMX3XB5eEAaEI6crPZjmx7teJoATlBOc1otWF0a8v1n5V/adstBP1gCE21nAp8neosqDHOQH1Q9+uVJAjnCParICySXus6l6+2lyfkIqDT1OWIApxQgEcPgF+DY9tSklIgEYH0nTB2ACActA+/NVxVobF3aIQ4dyk8pUsaf1aWhCt2afwEOXmEyuVkQqwIeMUNaBVMtdBaz41BuJ9sBbTOCVRuRH6bZ8HqZWqdUFNm/bEVV2H1hlWI8QKBgELcfpr8DnCcJEEmZ4ktFjJbg6CIk+1NkJCn2lt92MxRT3ByE5I37Ue3scS3ukEJGfU4U0PWkKZ+RE0YDOg9inb1BzlRMXTBg5aTwye9YhbO9C+/7g8dJ8P6w6uWd66ovysfzay7QC1yrMKD6S48fe6uJE0S+qu6bIX1PiF5k5UeE5JwrA63poiXdapNWxGjhRWzXZzcEuAlUH2R4Xhp2SLEd3BirrzM0c+zxLsfiayH8NTGO1gkk6LVfB9Xwhi4SU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778699676

%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

