%FILENAME%
tamarin-prover-1.8.0-64-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.8.0-64

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
575942

%ISIZE%
2690978

%MD5SUM%
f3eeebb18ada6323aebba63f664b7ec8

%SHA256SUM%
85349c465cad88350f08035b35ccd1ff7e1f85c212ca8e55091f56e156661504

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXGwkEACgkQeGxj8zDXy5I7bhAAklJvcD5F4X/IS7hxJ6DJ4/RGCOHG4IZQvPwMDz9hSQqWjiBEyE3mDH/6ynOYkqWpRU3krr0oVpGKyLZRtJPqeJ39EURF43WA8Bev41dA2z2IAZ8l4ws/1O4bUfmf9NSDQhuJcAcI/JWr9Q/Vr0BhSiZ5pLhioehM23ufrirf0ABIGLHi6wAnOXkmWjIQ+/Alqixy07qpZh30EqYzDzVv6/tA9ZIwewG8jqNbUgH1BwFs7b7C40ngFBU79GIyrHxOQSolgKnkzjB+FITNGhl5VaDLfRPcQqh6NDjqeYI83FPYaDInHBaKxCq68uOmbKNc/6MeRPokt4JE1R24LxpVq6UQrb/J/Q85gGRZoDLje080CQWXzN9S4zBSxRv0oQ2KdrzGwULL58UYdEtEuYrHp4H3qbjQP36Rm7+2lYLrxeiyh39kzdyYYsJXI8BYjDEjLNdqh3NRVFMsn+w+6nWvuIw3oqC8MuU6n7BY2VpTNwNPSYzEqKGoXKd0Gx+RVkL9vOD/HRXlhvQ7UYCvCBs4gBoaM+lurnkzgl2M3gNHVR28IM2C8bN3apL823UPoZRhrKpvk16iyVnIlMVjZJ0sVHcFn+2eIppzuYinF1aCLN64xflBJ64KnhGjL6p6dxPts3pZAOaDuy27R8LlPCtXUMPfBW3IfHZvrQjCxhxFB2U=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707524620

%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

