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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.10.0-113

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
585485

%ISIZE%
2756946

%MD5SUM%
fa34cd7af7842327774f5cfbd7aa926f

%SHA256SUM%
fd527947bfd635ac4c88e25632e73b21176059fb80ffbb7ae66ac85a707a8cb4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiTWMUACgkQeGxj8zDXy5KTDQ//d6djJBTq+LfoHLC8M9pBQLXi9MsBaG8q5GG0s0xvETZ/sStZdmUsdZfWPSCHpEPGNq6M1XLxwqDsuM3hxWdcDRzVOqFV3u8MJ0hKKjLUUO3VUO2xQ/WzSCNwchbZX+Da/RbSQKb7jvkSbjCvynNDMqoh6om1Pg1KFgiCxKRSaNu4/NZReYS+f5ls1Qg5MBrjwGBwpdkpCfy/g0RwWmM+W4EM1jqFOOHW4MECDXyQu/ZiqGCoZwE/UPRDaslJ/2V2qwr9vlYqj8BgAurzKsBtXU3bAaXSShGg8l4sJSt6oAZxL5Lg8g6Is1sYwDHMGnKFadim0DpPgJG8o5ubLPVPdMoPDoJf0qWEmctzLgCsTXR/bG0GQ6cBGXTku442YQaTG0CowPPzCmMFJw/uemMaCbAqj28VAvQwODkwoYtw9ewF19jkacjWrJJAiFgvRsBqBhRcPt92MG11zyM/rNCZJWnK1lFbeZYw8FXaX2jtRlYTcEHf5sxpHagg0LI+UqI8cowyWZxVxYHyM8TX4zgKgVmSxvilDvaLJPGNDoP9QTY8D/HT3xvHGWFz66BV1/sMQMb6GLgLtb0qs+3M4n8XQlTsi1q4+JheUk1TBTWY/oHYzSs8V55s5R/Gyyf781m+cXoZLT0jG64OL6+c1ML5xqSQhMFsDmGAa6HRfItcozw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1754486928

%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

