# Generated by makepkg 6.0.1
# Fri Sep 24 14:43:35 UTC 2021
pkgbase = haskell-tamarin-prover-utils
	pkgdesc = Utility library for the tamarin prover
	pkgver = 1.6.1
	pkgrel = 6
	url = http://www.infsec.ethz.ch/research/software/tamarin
	arch = x86_64
	license = GPL
	makedepends = ghc
	depends = ghc-libs
	depends = haskell-sha
	depends = haskell-base64-bytestring
	depends = haskell-blaze-builder
	depends = haskell-dlist
	depends = haskell-fclabels
	depends = haskell-safe
	depends = haskell-syb
	source = tamarin-prover-1.6.1.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/1.6.1.tar.gz
	sha512sums = dc6b91b1669055913a0aefc9a969812bf252185480fbf67588e7458289b1e1b64bf0729e9bee043513ecd5a57cd0c9477512e80861c6956c08b5e29d90211f62

pkgname = haskell-tamarin-prover-utils
