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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-112

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132405

%ISIZE%
4375482

%SHA256SUM%
97d6275a22393b90f92a08bb07854bdf64dd16e64bcb754ec6add94a336a4444

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqyDMUACgkQeGxj8zDXy5JPrQ//ftr0uNKXuZDSG5A3x1hqiBwka57+OT/7WxA8oiIDFrkP1LFMlnvohnVo3qvTq2uP+2dpBtM2HC5QjRZ014YFqdXzhIKw7NCV3DWD+wp+iOa+OP9wtaahIZoyJoiLRT3WUBryqGOhT7WHpegVjmq5zOsgJKLBFscPoTl88lVFsWlpfSvusZGHaCu0DPrdcgfZ1nWa9YuvCkpFZVEaIP+eM2q5aRwm61L1EyVBEFoExi3R3NM1YUVSYj6ajwp1/F77w611sVF2ki2lliwg7v4x2IZtC+LUzeAJ2DeqSzB/zMo4Hs71gssVmVix5QvWzu+47yFSJYIJ1B9xs8R2MMiyDt4pzEYciHpi/GGifkqC86EiNYhH+J2rrGttdn0OuCUZU216ShWSEKlvggZgKlBOi79Ljh+BHb7jcaPM2nrGuh+R3+RxHJn0LD+zfhUKB0M7jxO4yvERyhsO5ks8R+nRFuMlCZGW9r6fT/UembZK5tjRZd06olH0gErpkuI+Nspn+6+6RCmsyz2/CycNOzLwPCkQ39gBWee8KvtlaUsGXZ8ul4kvDUgX5WtbM49DfCp170DB+qwTTu2hovp4+XVuNmPJiIPqXwHbVDMBEEYd7voStDGqRUtzSbH4SjBzK6/339PPSkDQri1h9TVBFc4dfeUS5HIy917ep/UmeHV1Pxc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790053533

%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

