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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-98

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
585079

%ISIZE%
2756946

%SHA256SUM%
e045d0099cd788ac085852d4b37801d3b53e84cc616c0d53a57fda9adff66852

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiJv0kACgkQeGxj8zDXy5LJAhAAwia/39KMEeQXZkan/Oix8UD0aloBgLScLaLMtQaxW8HS5YCZqHMwqom6+2Z6Fan9gsbEDZYXx6c5rVfnEI1pGsBMJ2oe2ri+kn291NY1nw4Kyc25ogS7+cmB32qcG+OGgXrZktiRR7KRVRR0lOqa7jDg7VgSc5BlepX1B1RrC/l8HZIrj4OPGodRKlegTt5XNcOUpVRMUW3Z3JMBFtU3g/1EoAfrLXmKMgclUUk4en+co2j5D9ZlOjhYhT/Zh1uPOzssgTsZFqK7JmBJtLn/AIySg0AuT0QsbvgDzgpAqx2yebaJ6srv7Qh06Q2qI6caIsVd4fEq76AF+8Ktv3nPT99TjVPCnXxbjsTWpyQaHbVYzck/I2Ciho5I2Neeme12J2cp2pkROlZOKR4MPP9aKr/ytKo9XfdYUbgg3agM76B90N8IqBpZRaai9+pGURr9cA38OzybzQrIUEYN3UxK9bkxwGLGqP7PUDlwxKbKpFw6pxmc9us6G/M9iunyesUbqVsnfHk8uL7kC9zfYEumI/CmbWHrvcnxjKIURCAY70hLNwxmD1HSm+vpm6FU88sHvLIBvkDDcs5ObqcE/uhBqGuqEq1Mj8IPd+cG3yTTsyvGUn4K7flyPdZsqmn67igOxhwC9H0m/pDaCtxUuVHff/aqhPhgjjBuJJS5LCPtSbg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753857811

%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

