# Generated by makepkg 7.0.0
# Wed Nov 19 01:25:12 UTC 2025
pkgbase = tamarin-prover
	pkgdesc = The Tamarin prover for security protocol analysis
	pkgver = 1.10.0
	pkgrel = 223
	url = https://tamarin-prover.github.io
	arch = x86_64
	license = GPL
	makedepends = ghc
	depends = ghc-libs
	depends = graphviz
	depends = maude
	depends = haskell-hunit
	depends = haskell-binary-orphans
	depends = haskell-binary-instances
	depends = haskell-blaze-builder
	depends = haskell-blaze-html
	depends = haskell-cmdargs
	depends = haskell-conduit
	depends = haskell-fclabels
	depends = haskell-file-embed
	depends = haskell-gitrev
	depends = haskell-http-types
	depends = haskell-lifted-base
	depends = haskell-resourcet
	depends = haskell-safe
	depends = haskell-shakespeare
	depends = haskell-threads
	depends = haskell-wai
	depends = haskell-warp
	depends = haskell-yesod-core
	depends = haskell-yesod-static
	depends = haskell-tamarin-prover-utils
	depends = haskell-tamarin-prover-term
	depends = haskell-tamarin-prover-theory
	depends = haskell-tamarin-prover-sapic
	depends = haskell-tamarin-prover-export
	depends = haskell-tamarin-prover-accountability
	source = https://github.com/tamarin-prover/tamarin-prover/archive/1.10.0/tamarin-prover-1.10.0.tar.gz
	sha512sums = 52ea3e77051208ab2f2b9425988640a2a699adfaaac90d5946d3ce43663ad535f5efb1bf845e0d540eb719e0f26c4d8beec4e231f54f0f393f42c2a392cfd486

pkgname = tamarin-prover
