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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-98

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41205

%ISIZE%
163708

%SHA256SUM%
1955be8e6ac026d0d1ceb3e212566ffe5975cd7a4d474a4e7ae0e61187730f78

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1DpoACgkQeGxj8zDXy5Jhyg/+O6ZibJHAgofZqQ9hIn/AKpu9O9NV0oIdj3Ilrfy6/uoKAXxOxgCveTd4PqV4InsukiwP0jpgDHWFdHEyhHR/uAC6DlHqccDp1SFvgIl3wnUuuimidd8JcxgXZuFJ5Hl7kdpTHWkTWDSRweIwn2Vo5zaUNbaaorbQS90sLU/CKizm+MXn2f4tj6+nhka9zsqVVpI7nATXfOOMGcWSsuidFw/aV3w7IwtJkqkr1Fcs4V/R7iKEDostZNKypjCi+Ol/kOVC1z7FiI3IXVpqSHANu1UJQKcY52uCW4eWpweyCFOInqL5oV8oEevoXgbdupNBZw99ziqf1/aDMDg5iBjTIUjPORrGRPEpVgQl3A+q/k8xPscnZHAKaomEL6n7GrSps3wfI/X5Dg7s6GgddZ5fh5InJxCP3rQrmL4h/IXc/ERlWgvx6BVXk0mGlEBrBeAzcKcka33GBAvNhCl8+21F/Hk4TjH3KoK5dSXAMtRsChQVzLRYE9U94TiWehbuVIU9Y2ZH7uZy6hpZuWYkQMl2sAx5vRzkIuYR/+ZDSaGyriFJZX2GJMCK9tYoK1yWNidJSQrtSuwK/kwigWkB8UQT5pgaIRf7sViDu1A3uaMA20wz7bLxJNNGHvUfhez9I/Ttcq4Y0ORKZHzbqNb4hG2rwgv5Vk5Savp4BY/qu4V+T0I=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794444935

%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

