# Generated by makepkg 5.1.3
# Mon Sep  2 13:16:54 UTC 2019
pkgbase = haskell-tamarin-prover-theory
	pkgdesc = Security protocol types and constraint solver library for the tamarin prover
	pkgver = 1.4.1
	pkgrel = 41
	url = http://www.infsec.ethz.ch/research/software/tamarin
	arch = x86_64
	license = GPL
	makedepends = ghc
	depends = ghc-libs
	depends = haskell-aeson
	depends = haskell-aeson-pretty
	depends = haskell-dlist
	depends = haskell-fclabels
	depends = haskell-parallel
	depends = haskell-safe
	depends = haskell-uniplate
	depends = haskell-tamarin-prover-utils
	depends = haskell-tamarin-prover-term
	source = tamarin-prover-1.4.1.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/1.4.1.tar.gz
	sha512sums = 4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144

pkgname = haskell-tamarin-prover-theory

