# Generated by makepkg 7.0.0
# using fakeroot version 1.36.2
pkgname = haskell-tamarin-prover-export
pkgbase = haskell-tamarin-prover-export
xdata = pkgtype=pkg
pkgver = 1.10.0-3
pkgdesc = Library for export of processes in the Sapic calculus to the Proverif calculus
url = http://www.infsec.ethz.ch/research/software/tamarin
builddate = 1735934075
packager = Felix Yan <felixonmars@archlinux.org>
size = 973435
arch = x86_64
license = GPL
depend = ghc-libs
depend = haskell-tamarin-prover-utils
depend = haskell-tamarin-prover-term
depend = haskell-tamarin-prover-theory
depend = haskell-tamarin-prover-sapic
makedepend = ghc
makedepend = uusi
