%FILENAME%
haskell-tamarin-prover-sapic-1.12.0-25-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-25

%DESC%
Library for input processes in SAPIC calculus for the tamarin prover

%CSIZE%
265778

%ISIZE%
1410351

%SHA256SUM%
6cc31a0f776235756b1d4061e1338d42ab10190268ff087a82283bd6b9ffd9bb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnvhp4ACgkQeGxj8zDXy5InAhAAqfmGmb66vUJZzws+x420GLMa3136FMu6cDcPKi4Mg8u3R55GMNSq//VvtYkGwCk+GmmaKDUmEiey0PSi9b+dDj3bZ4o7WVAPgLO4UPe1xkvodnhDprXoXyLao2fF26RsGzcd+9jzRur9epGhJTcgVMGRwKaJ3jxNwY0gbHUZWcCvY/CaV5nrKjiIOQPeub7QF3qzJmG1tdOkkUL8Wrf2kVJy7a3PT5W5CaUcCY2DdO5CfKmxaAmLwCjIAY3oe0W5/+9BgcmmRtd8gPAKhoFQ64JOlXddtrARKO2fglG3SxVgH/1z2waS9gHHuwEvbOBz6A2qUvbVVEWV7fQ7llC4kqtlVGlIbqU1IvAhl65KKovGiqKeUSEyuASw+ABYqTghtU2xFlbyqyh7BkczFlfE+VDRSuackZLKXMBUk6+jfpD3HIF2N+/JHrPcJB6YGWMoPdOp3DdKbLxjPXtuohl9bLoLPedlZ3CLyELIGsM2YcDrdxr4LyNrJOw/KxURuQ3dLCS86NvStl/DeMXZNfOpOeK1SeXk0hRB4vC9sX7dcS/AOdC1gmHntdjky7FXnmr7rx96s+8ouOJuPu7FxLNy8mVMSc+mcLzM7gEEWorHkh3ICZq92F9euTxJ8zbQaCU6JerS8eoglx8lIcHrcP3CO+jBFHWAudyKzDIiCcMiqFo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777305226

%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

