# Generated by makepkg 6.0.0
# Mon Jul 12 04:47:47 UTC 2021
pkgbase = tamarin-prover
	pkgdesc = The Tamarin prover for security protocol analysis
	pkgver = 1.6.0
	pkgrel = 224
	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-monad-unlift
	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 = tamarin-prover-1.6.0.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/1.6.0.tar.gz
	source = maude-3.1.patch
	sha512sums = 7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e
	sha512sums = 1ef5e4c370a0c5f5541d50600604ba7adc566c2f5cf415cdb844842bb10b343edd00aa5aa654f8e55355c80f48a34382c87c3fba4adca0c77e726f407f3815c3

pkgname = tamarin-prover
