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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-94

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

%CSIZE%
265703

%ISIZE%
1405321

%SHA256SUM%
5a39ec68a4905a2c632f552738222f1540840928d50c9eba5d6c35c4a32d9ddf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZT4sACgkQeGxj8zDXy5JfVw//fjEvCsqZFFMcp58/ht/t+Z99GYwoe9L7PEdTfad0NuNyCnAaHRbspXJjICPEcx7fy9dYM7O/9gpeAvW3Z8d+29lnhECE5NsLijc3qALgCI9htwTKHZf+M/rMbmzLWQgWZkXeQsfpNNPH+XWQUpG7lmXd3fVnVl+Qa5PPOPf3elCuoHOyCR+5mSciJW8ODoy3U74/Wmk+LyUETDMiAFz9v7zlkAB2ZlF3aj6xdYC1Asy//ttoz2nkb7lWfdO5S9yNUxEWpLg/tc8qc90Ftox7x5TZoW4mKlnUCT2AIfQ8kKNqR6eOMyDnj+D+82uTTYk4Vr+ifSvbD6rG4yV6eb9LhA85xxdLtcZfvl2NWm18BW4Q0qvo2pTI+t5kHskQ0wyHKzArOrVMrWRqaB+3Z+VtZ+IggXrcmKq3kdhc63/EA5PQ/EjJzAV8JzfebeeiyC1wzRWzXfZ2+hZ0GnUl2zBPY+w85TDWeUNFNyUsfk7JPD9KTxkjOHiwMOaGrSWlZqc02kYbMAGhsjNzViU7LKxV3ULIaw7QFiXZWUeZi4g1BtVkw8x/NzSH9krTgu4g5PPtmvnkO75OqPI1nXgiWrv88pmKcdIzpRoIxAngkfdA7rrR9uycNijLaXqGfqUtcUG+liCz2zNwYaGpnl1/bDdfqqtgB+gLLMPqqN8jvrQYRlA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626543

%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

