# Generated by makepkg 6.0.0
# Mon Jul 12 03:12:26 UTC 2021
pkgbase = haskell-tamarin-prover-sapic
	pkgdesc = Library for input processes in SAPIC calculus for the tamarin prover
	pkgver = 1.6.0
	pkgrel = 103
	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-raw-strings-qq
	depends = haskell-tamarin-prover-utils
	depends = haskell-tamarin-prover-term
	depends = haskell-tamarin-prover-theory
	source = tamarin-prover-1.6.0.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/1.6.0.tar.gz
	sha512sums = 7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e

pkgname = haskell-tamarin-prover-sapic
