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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-158

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132494

%ISIZE%
4375482

%SHA256SUM%
03448805f27ad43b470a56d728573cdd02be9baad27acd0e2971a322aafebc2c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVdAUACgkQeGxj8zDXy5Iumw/8CZedLxEJK5MZbYwejp89NIlac3/zd8w4nulBTbwWvHZetMD/1ApFzB3T29+B4vov/W8BCVSRMvJ1YMmC9RS+cqzdiFtr41u4Le62ti2geK6uEf7edr5O2TFfg58r1ADKnKQic6L+pGmaMIxlnL4TvZPjx+yg7z4s7Z8ptxB27e3oqttM5XCjq531JrNzMfrsSNJHTl3KdfkiO2RZOPxjrxZ95fZJAEjvgYe+1/9zmuxvTthLTZTef48mLoe+EfmfsQMuSqIia312M+Cp39PXNVoCoI4rqf87FnpLm+m1csAtt85KQ6eqoJQJ6iXHQA3rT34O6fkZt1gxk5z3r0pdrhTyMqGeBedpMz6d+JD0RrFQ03JIhJjmnWlKHmRqspg+J39tsBj+VKUHHT3/05pGU6bl19PcJ0K0Rb08r/KzVQ/FRt5OEetclVJfBrI1fBE+/IaAqOGMZyCMWbdmWITKYXvEVKHKl60SS3KIWYQOoJgKuwhZyr+x41s0FtmZkrDk9eC4Qs9F6x0uPFfXR4nNcuRDa0I87/kJAXwhYFdEsuLtyVRBna3biJbwNNvARfg6CC4OuodfOhWQJdKudkqdr+7uNI0iFG/F9E7VBox1fisZ90LRxQlrsDiqgIdSTCrdc0YLbkttwstaIATFe519AMuDXagS4V4W/+AiUUOP/Dk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792373734

%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

