%FILENAME%
tamarin-prover-1.6.1-245-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.6.1-245

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1622319

%ISIZE%
5615211

%MD5SUM%
1dd0ad77f0da76a808f449a7e7f210b7

%SHA256SUM%
58c896d988454fa7b37ef4085080d1e75c1252458203bc6cf08368d7aca2248e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNONSUACgkQeGxj8zDXy5JFjxAAqffNCrImBIEI2VoRkujH/vfgg7GSBRlk44Tfax90b1XAbcGwN3nKvqB9j5SLUiu8AEn7Fo88hxEE87PX803AVg1yQMA0p8Nz/Jk5kGonwq6zfENa/jDcDB24WrwdzXPnRMIHXZSvRla2pbTrYYCcmXw2bsMO1uXz6X54cgrFbubiQAuhakjHvlPA0M3mDMNY9UhM3fGPWskCXbPTxrZIqVNnd9KBCIxeJx8lZo7D8mpvmIwA3p7qzkKl3gFJ3592MOyE377TBWT9eDZOjdkiP6pUeFb07p9sGi58u3RxMLatJ/6/wO3YO+pbiVQfCMYkvjn0kKuud/sre5HUHaeUsGdDyRqCa+8JhwW/bEYCyFx1FfI9ZQuHULOD2E4VhL9ggHviFILBiZUWAd3vxHEs32jmZXvdF+PvcANiOKCej8KgtrTB8jysCPuD8iv5pifYuePPWySeoba2Zg8BobYtjBilErsKrhxCad8gPi62PLTQA51wtPif8gLBxcq6I9Y9d4ayV/vnuvdqueAc4ZSRxS1wkEeQnrz2XKCUy/Dmxii+9Mc726rqLo/HRGTQe+HbubKVqhvDIhHHWRgeh0dxVwRCGSLWhaniu2dj6VkmNqD6SSPJsfA5ZvDpqoi/KWde5hYXrNc+RsrywCvGBh3ZQu+ntIvlEmmBStHt98owAn8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666069699

%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

%OPTDEPENDS%
ocaml: for sapic support

%MAKEDEPENDS%
ghc
ocaml>=4.13.1

