# Generated by makepkg 5.2.2
# using fakeroot version 1.25.3
pkgname = tamarin-prover
pkgbase = tamarin-prover
pkgver = 1.6.0-46.0
pkgdesc = The Tamarin prover for security protocol analysis
url = https://tamarin-prover.github.io
builddate = 1605492045
packager = Erich Eckner <arch32 at eckner dot net>
size = 5504352
arch = i686
license = GPL
depend = ghc-libs
depend = graphviz
depend = maude
depend = haskell-hunit
depend = haskell-binary-orphans
depend = haskell-binary-instances
depend = haskell-blaze-builder
depend = haskell-blaze-html
depend = haskell-cmdargs
depend = haskell-conduit
depend = haskell-fclabels
depend = haskell-file-embed
depend = haskell-gitrev
depend = haskell-http-types
depend = haskell-lifted-base
depend = haskell-monad-unlift
depend = haskell-resourcet
depend = haskell-safe
depend = haskell-shakespeare
depend = haskell-threads
depend = haskell-wai
depend = haskell-warp
depend = haskell-yesod-core
depend = haskell-yesod-static
depend = haskell-tamarin-prover-utils
depend = haskell-tamarin-prover-term
depend = haskell-tamarin-prover-theory
depend = haskell-tamarin-prover-sapic
optdepend = ocaml: for sapic support
makedepend = ghc
makedepend = ocaml>=4.11.0
