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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-50

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41267

%ISIZE%
163710

%SHA256SUM%
8e0f551906a6394cb6e5f927aea7d3e9f2622a280e8b01548efb3129d4e8f5f7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4/fcACgkQeGxj8zDXy5JscA/6AraEQXNg5k7YB1sV19BLI6U0PTmHjAtwOBJNlby6pMsBZMD5iqgyIIu3lxo4h2pM2n4IqdvzxS1Z/lYHOl4rtqf/DBLNSZBYq7dpkCVY9NGJyGs41SCMsZUnnHV5ktkavYvB1MEW/6TsgHe/FfsAGnGQz6byZ8YsGGQogCCf2r1olc+9iktGJt7KIv3qd7aBfEKzZ/9LCel7OLqX/2zfg+hqIX324l1XYopvuOy5v/xqzXDWh3QGTVA+Vuw8ldBFT0mls4V7bphJuair8DVD9liV/C78nQN/nNnX7yLHzACkIEwn3mh9dzcRT3ojbSnhjAB3+wGJDRRp0YpIv67xSOb9iEAF0qFRNLJku7Jsb9f9mXE1NO1tv5EjnmsBMcC0y5buiTypCXD6qCh//JCYHq//+rTj6Tg8QTQCiG4zKU07nTIJjv00Fyc0U3s/bJXJENrxYfL/DMTYfH23Dhx1tq0KJwU9/FCJXfXUKAq8towcoJbTfMrOvoJWljhYe1hh+uWADWzcYSdXCXfBDXAto0PZSzLJwFmWYm7WRemybdsL5IagzUBnZW1XAKsQVy4/tX2aCfo13L0UquO+84TZgKaPmfGxmeo8gL5VKdtSUmhszgz3wCk782cWCsmEpacAU8IQjN92tpFONi66dL3wHWYBqWuydYDxUynNnMRANSo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782119902

%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

