# Generated by makepkg 6.0.1
# Sun Sep 26 06:43:31 UTC 2021
pkgbase = tamarin-prover
	pkgdesc = The Tamarin prover for security protocol analysis
	pkgver = 1.6.1
	pkgrel = 15
	url = https://tamarin-prover.github.io
	arch = x86_64
	license = GPL
	makedepends = ghc
	makedepends = ocaml>=4.11.0
	depends = ghc-libs
	depends = graphviz
	depends = maude
	depends = haskell-hunit
	depends = haskell-binary-orphans
	depends = haskell-binary-instances
	depends = haskell-blaze-builder
	depends = haskell-blaze-html
	depends = haskell-cmdargs
	depends = haskell-conduit
	depends = haskell-fclabels
	depends = haskell-file-embed
	depends = haskell-gitrev
	depends = haskell-http-types
	depends = haskell-lifted-base
	depends = haskell-resourcet
	depends = haskell-safe
	depends = haskell-shakespeare
	depends = haskell-threads
	depends = haskell-wai
	depends = haskell-warp
	depends = haskell-yesod-core
	depends = haskell-yesod-static
	depends = haskell-tamarin-prover-utils
	depends = haskell-tamarin-prover-term
	depends = haskell-tamarin-prover-theory
	depends = haskell-tamarin-prover-sapic
	optdepends = ocaml: for sapic support
	source = https://github.com/tamarin-prover/tamarin-prover/archive/1.6.1/tamarin-prover-1.6.1.tar.gz
	sha512sums = dc6b91b1669055913a0aefc9a969812bf252185480fbf67588e7458289b1e1b64bf0729e9bee043513ecd5a57cd0c9477512e80861c6956c08b5e29d90211f62

pkgname = tamarin-prover
