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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-96

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

%CSIZE%
266144

%ISIZE%
1409306

%SHA256SUM%
31ead2f396fded796fad1c5412abaef216d623f0fdb8fc4aa968a4100942fd8d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbRDgACgkQeGxj8zDXy5IRwRAAtrEfJQrbJVuZd4/WB/5MEhfaAK0EkOTUeZ+sfAy8pb4ENIQbNWGjlBz7AXVd+1NS9B3gNvPPzycP7EjnwJlcIhbpDpvMSyuN7/HcJNYcGvPRzcCNw0LCCDRb95A38w/hLxWB3EJayuWGAiTbacynjO2r+7TzihpHiBw+GkVItZs2hxAfZpMpyryVkBCkzt/t/ho1WC7Nmr5BYrTMQYzcrGongMX7XDklu6Mj/JU7ed/HILBHJEhCW3hqfe6KSfJSLlTZqoNDLa0/+GDE37S4nZwWq9QX3BJF3Kgbk+YgL4rhUe8U2kV39KvvI5+4laOPhZIkkxknjGTKjzSzfRy/wLx/uexZUc0Yt6G+XzCpNF1mUy+uT86UUAON4ELCXmAh2zKO/JQAQH6ybRC6SGue4B5WlYL1mO5vnS3Jb7K5zvEiJ4zdEhzqjfJ3SrPLNf/kreq2F9UnDycvroVC4Ob+o4Q7H0C7rF3JXnihC8gi4ghrP12ag71WPiQn8AqHglNKhfNmTfdaXOuNA07EHXEF0eb40MsFKPFb9tmkT8MPCn4hd6e5YJTZHGM7r9bbEdajKeGBMXY+2UvVeyyQxN7jUD72GK9XeOz5FY3Gxx7FSOzfuPxYZWmT/YWVMTJkZD+6EqaHfAH/ZzndUUEh6jW7TDV54857AkyNhiCh7bJBu3g=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754717

%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

