%FILENAME%
haskell-tamarin-prover-accountability-1.12.0-59-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-59

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41238

%ISIZE%
163705

%SHA256SUM%
6669f8eec21b1b64948707d3bb77be0a86efd8ad141ceeab45c6eca2501375e8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpCsdcACgkQeGxj8zDXy5IYdA/8CbXnE8MW7KaE7TvLKot3j/4ZWSeYHX9ZO7/F4Hzch/EF4Piex3JFyGOmSqRqCGaDeSqRn+ZxpdeKnMNXETBxjA9CJchcGiw56U84UymqSkq9wSB9Gb1rkppawc1tP1FQcuHl/OppPH4hha1dfcZZoMYnrCL+pYbMxRlKwD5188q5vfFv27bf2pCSnaHXAr1DSOd1SpXXSjlq9zEOBJ8ocA62JKmBK8Wdog+2ySwfeZs5wYryu022gg5Vag+fWFYoVlhgXJAbXVpdZ7L2xQ7xuBgrjUSuJyijIqT+hkZ9ei8DX3ci3vWwtT7ks6lH7rDbyNH2lx8nUDiSl92KL8sL8Qffj8L0ME1HBccW+IE3D0oFUtX24pnoa8I8UIlNzPrmeZwa7m/Ic9ICOC/zD0T5CGiubjSAF3VzqyNJ0zr2Y2n06GVM2oA+oBzvymMOIYvmLdCxhgiD/tFKFKILdiKJ26EAfApTVq83Mxmaaqn868Ax/h0yUwUwXeVqZFJvaQKTx8V8WZjtlbIOhS2qilJrdxOMT5Ed/PSpiNmCJrjrcXmRslu1U4ysTO0HckQ9qrpvUroyD234R4dIkLFQPkNx2xAmmi/aF8TrJrELRCH7fBbMb1UBf4rKGRH0T07W+LORxi6t3Fl9FKgZn07W3wcUcms6fd7dxLeyyDrbbDn/eEY=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782755782

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

