%FILENAME%
tamarin-prover-1.10.0-28-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-28

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
577884

%ISIZE%
2663842

%SHA256SUM%
41b808707f7c53df5701fe98df79e6df9bb0e43efdc39eeb80bea10aa8deb6df

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUfWEACgkQeGxj8zDXy5J6vw//ctovQRqVkvaCzXYKX8sxemD1pvzfUnNtE9J/NavtitVV86I8UDWJguZEZYO/2NUoEOpzN8fW0PlTdocUqLQ10FlU21aE2FcqJBK5MRORwdUtGvO87L87w0hM++w/u+hPx33i/UP+cPWj/Ha2fzesex9apAlFLUFY0591dxptiZi3/myja2pkB/Aqi2sNm/jtAMsTgNSjERiQ+6Fh3xxtgJgK4VPwk4PvmJm4ZKrQ4OcgCxtkuDCy9OyaOsc1oBwtSPyYRKNUwr9f0LNscCz7NQrihnIfVnfu7Zo1yPRQKD6DQz+AkM3vtd0Z0R7B3aiv7CWESOAFGDOPoEz/r2BBQjTaMCVwsGwpMSxmQ3PZTpETV4aldYO1OZD+1mWK+rvblTfW5sXg1+2Ssz/pZER5hDioiaafk7xOMmOI304G0WhoJS2rqTmObBrcZ2v74Zd+p362lee5s2JRyn6IdelTWWq9GpOIIez3Ua1AeF7hzkp4wi/gyTF/buX/01rTqSDXLGXVK5WER7gjgN5rNBWTSe4HsMo+ZzD7SjyISk89Q185EoQrloEkof4qFNnLDkhtkjSceEUbxNgdong2kiIhQEWDDPIh9Zm0mOnH5aflmDSnDaGAISxR5yGEZ+kk7q4kW/dOtyf79c0xWQOI+4QzgoB1/Lgm0yZlSD6EzyIqeGE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1741978921

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-builder
haskell-blaze-html
haskell-cmdargs
haskell-conduit
haskell-fclabels
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

