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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-36

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41216

%ISIZE%
163713

%SHA256SUM%
37a77c106561254c78d83554a4b460fc9095a6570a29eb8079763db6a624bd9f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHnrQACgkQeGxj8zDXy5JBkRAAocC+fnO7G383Q1AUWW3yFxc7KJp1pwFvUo/qizTpZ/fjE5feyJxCstfS89gsTZoWfOr6iHEI39d3bR4SLSjKkpWV53RcCiQNczHxV9R9EZn6sK0UhsZ5YumnVCHe1OxGJ5qiAh7M/BGetJMTx5ko8+Ijw1tdgtY4ub6YYosVSWGVjap6Ref2FyeZdLHg5E9eS+RYUS3i8JKUGKsmlLq44ftjMxTFCsLho2TxszxI412mxr3uAqeG4QAU2eWVGTdx1uF+aUWRNeZMtELCj1bQ1ir5c0cnZinG9zypT1HU5VPDa8Z6ITcZliOYeY3bNgGFe0gb92pMk+ddy2hwFNze08JNC7jRS3AaeWkET7tBG/dipZ7+uNrwzN+yMwyiKJyxWbsjdRD11HXRDIu0F7v/4y6S+i95Yyzvhq+YKKnqYC2kmAszzFunBKgCOXeXwXcOqzBOKQpJWs95MUjy67SOQyJpOk/klY1HcURp5zx3alirTx5+sbOi6DL2F1olznH+P1/dIPxpW3u/mTqbl+dtLBA0248n9muhLiRnvF+5FDAnIL3h24ubvyFdfqkkWryG7eQ6habRXX+4r2d9BZ08FLN0ByvUCoFflK7fXhyYzZU2JtaxeYUIkfGG628EtuEzc7vzEY3RKF6EEnzEsidUJZ5W10Y7LPJmmvK6vaRkqHM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778884247

%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

