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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-60

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41241

%ISIZE%
163709

%SHA256SUM%
4b11674dfe8280b4ec78633f792df41fa1ea01f3a31c124ffa8e07dbe2423b70

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpE3tEACgkQeGxj8zDXy5KQWBAAuQQAG6iTaKsGNtfVXHtz/7eBBvFxxGz8X5JpV7OtEzsmEs/5wzogdKxJUAsJXaNYi//4k+3B6auzaVKEEcfoT9fxCEJMqux5ycOazpQBzCD3Vmp35EkgR73/81IzDuK31CgnoJuSxmpKhq2DQXkigCuATo0/WFqCYPgvOU3MKmF61Bk87WBs9ibn0GHDY8/u8e+j7RzSwbqIe7raGJBRI55gnOFGCkUC+2YFyOGwWu1kP9ZvYg1UxvgP5Aq+UnXKegXINlMVD5D4n3F48DuF6nOidkyGhW0GL95GRvIliPI5B2FbZwmxq1L+7/M+Y5l1xWwa6atKBXfi5NUOEAlc4T082eDvNAk1QmSfIB/JtHPgxoOSDhozyhT4fjyizk+ip5+EfJ1KJ5ktbECJRuBLKfRQEW73qXCsAmYoL/fG/S9Jw+M/khG6AvmuF6diaKJC8dOZFSINKgEt61cCPl8USunWM7LwGDZhbqhPsbRNhx8Evk/YSwZGuE91ot+VLFrZdP8+PCNn2rdOsftRnjIBgjp3Xi0txKcxelhDIzLbE/4BspSz/I6xET7KqfN5SDGuTLRv0eDiU41a5cbLW8g4ulNDqEmvUGlGgjBT0bfTP+XC9vO18vvMg+XxiVg5wtBcd/+/ZcU1uCUkBg9BRh7Cp+HzaoQLgOW/M63htOA+sAI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782898359

%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

