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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-49

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

%CSIZE%
265547

%ISIZE%
1406335

%SHA256SUM%
12e1508ee208831e9a0288d93e121f6ba56ede39ad02bfccb09539ac66eb56c2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4u78ACgkQeGxj8zDXy5KMAhAArBEyDLkZqD+qvvTssUBPiYlhQkLWBI99aDkJ5Okp7+jhfYvDcmxzbetZ3yMfr9jdVEfBpTgJpcmjpFQeWFoyhKLuAM1BbiqIMI2rbo1S3TO12x7R2btMtfDqrJ71ICrFkSjUfJxQB5AhhxqBsCSbCoOT5UfwUM4lxWM/5JmHSB+wKZMOeSO3wnNlBSDX3/IZ+3tc4zdBNSxU1eAyV5qvvYJOxUK5qyzUkFaW6WwCmdBm6C+dG6YqIo6Ld20cHi6imBrHz6PcMv7L6ed7HIRMg01PNPafvqu+O1JXDQ9oNVzx2GdUe8Wa+9CjVTP1Z8gFnHHxiDHqtoEq47rAEbqmqSa72SCCTXHqimvQu8pY4DT0GoKtAKaDcMCyOLh/UYCU6COVAx4f75Qto0tbNOq+W7i6nZy93I7cLJtfV4DSTyu+DdhvGUX8TwPH/OdeMXCvRYPD9wKN2QanejDtFl3H+yMmyPm8xC8xEw9RRjLGQv38RcYcxWo5zGCfkMX6pIovSEqXTt0lbaNMkoLybhcpiIx35frnEqfIFzqRpZAyKKWahh24uurPgUq4dad/9avfUsZUSMeld7AFUjClyk0dQrfVwNxfZ789mH/B33z6oxUfFBm+V9eeCvFccUR/gJUtARDTlk0LjfFmcmpKlgN1F+QHtzi0p3T6rDUt4UOMG9w=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782102949

%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

