# Generated by makepkg 7.0.0
# Fri Sep 19 15:41:34 UTC 2025
pkgbase = haskell-tamarin-prover-sapic
	pkgdesc = Library for input processes in SAPIC calculus for the tamarin prover
	pkgver = 1.10.0
	pkgrel = 124
	url = http://www.infsec.ethz.ch/research/software/tamarin
	arch = x86_64
	license = GPL
	makedepends = ghc
	makedepends = uusi
	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.10.0.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/1.10.0.tar.gz
	sha512sums = 52ea3e77051208ab2f2b9425988640a2a699adfaaac90d5946d3ce43663ad535f5efb1bf845e0d540eb719e0f26c4d8beec4e231f54f0f393f42c2a392cfd486

pkgname = haskell-tamarin-prover-sapic
