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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-27

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41334

%ISIZE%
163722

%SHA256SUM%
d5c0a1c48ac0ff86de79314f09f7a79e1d420acf7b01cf633ab19a22bc3976b6

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777470188

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%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

