# Generated by makepkg 6.0.0
# Mon Jul 12 03:12:31 UTC 2021
pkgbase = haskell-tamarin-prover-term
	pkgdesc = Term manipulation library for the tamarin prover
	pkgver = 1.6.0
	pkgrel = 81
	url = http://www.infsec.ethz.ch/research/software/tamarin
	arch = x86_64
	license = GPL
	makedepends = ghc
	depends = ghc-libs
	depends = haskell-hunit
	depends = haskell-attoparsec
	depends = haskell-dlist
	depends = haskell-safe
	depends = haskell-tamarin-prover-utils
	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 = haskell-tamarin-prover-term
