# Generated by makepkg 5.1.3
# Sun Sep 15 12:50:19 UTC 2019
pkgbase = tamarin-prover
	pkgdesc = The Tamarin prover for security protocol analysis
	pkgver = 1.4.1
	pkgrel = 154
	url = https://tamarin-prover.github.io
	arch = x86_64
	license = GPL
	makedepends = ghc
	makedepends = ocaml
	depends = ghc-libs
	depends = graphviz
	depends = maude
	depends = haskell-hunit
	depends = haskell-binary-orphans
	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
	optdepends = ocaml: for sapic support
	source = tamarin-prover-1.4.1.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/1.4.1.tar.gz
	sha512sums = 4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144

pkgname = tamarin-prover

