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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-35

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41287

%ISIZE%
163730

%MD5SUM%
649eb60d856c3bb68430c1c75d5db215

%SHA256SUM%
60de6e64537ead4b8395554976f20d155334571100c446bda1c04cef348091ba

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGuNAACgkQeGxj8zDXy5JoXQ//a5SxBlkLHJv6pWtvMHSVtIe0TxCaHK+QBH7H6DGHzua31ctzZwbMTFFe2uHUlsiM2z7UCteOGEFVhNQSh6xGehvH32cUpaOqUQZ5ZJANTxTNHZOZb/0FvW2BfulGvFQBOJl1732afFinSFrNR/L0Sc//hLvamlll8tz9U/k2RSJsivsrjQQT80P3BXTuRX31mKXAtCo1Z1JsMCeybFixOaAAtU8tjHsJQD90cSHcsjd1Kn3JbZGun+vgWKfHKt/GWJYlvS31oNePWuEXTtV40kscNBtWCCuZ/Zd2CKL8RZuADN+wVu31oK/S+PGJRpilKTdJFrIMG8EIyHMAJTPsMeCtQP2xn0gz08gxE6Ya/GUhWAtfFlILCIl1fILTYJbJwnQwlqmSpejR0emobJlWDGemaqN8GCoguV5cI6nksk5UEo3eIfxnMY7NVWkoGxklOxbi91GcL5kZK/httzlTeR6UT48l8izl5Hy5DYXR4TuDiYyt57r54g9keAg3leKxZpDnfJjCvIPRSNAbRNuGST4GxmPN/YKkzzywQWV8JLE1xWWlKcvVP+ctKrFHmB03gsrhV8xR62YOB0lkb8n4KLg4dtaudjEaV27dQuCmXtVB6ivbsvf9jiICI35IPFZFPaY+msVfrmh0dOWJPlG0ACx4RHbRE/jtjHzcRZFcZzY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778825393

%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

