%FILENAME%
haskell-tamarin-prover-sapic-1.6.1-36-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-36

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

%CSIZE%
195445

%ISIZE%
995965

%MD5SUM%
fe5b1a57919130586bae5957bec1ab65

%SHA256SUM%
9b88e7947c78eea1d47f5bc4455dcfef3ea5fd5e38e8e58d4292adfbb146c0e3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHxXDoACgkQeGxj8zDXy5LJHBAAldkHY3cQARC/iLQdFAE5Miy/0X4f7u5Xfxwcwbx4qieqG5lVdn3Aqx/CN3LIhLQT0HXfBLW+1Rq0RYdKPawQaElTAtGvimOPuTP2KFUTukiDttXBXdJW/Ev18PWm4PSNSsBPDlLjsENCQeDN8Ktu9s0JOrd/GkFr1cm7LJGXS5AySYIWHqGaddJHTu1vZWAp/BDwtMiJtahe+8oVJDxioRkdtvvNvW0lWQyAdurdL0Nkt/MM306HJJgDu9AGIDUZ+30BwkFfbfgKZsxyawKo5yJYVvq/zK0UhRnNsPogXCU66pdhbrkqayaluc1ulf+boKcMrC59daQZ7whsIHTGYZvTivDE0vNtqaI9ATBYCqlOLOZWs81/4VWMPdTXByeRiTWJecBAyDanyrIUx4d0/77Oo/eI7hJ2r7AHbgEEopcwXnxhY+NusSrGbrsZo74DkjBqdoSeWG1w8ybu3OxXh6TPcwtHsq1lAGKKgiRBDjp9ti/4toYwLLPYMlD0gN0rQGHi7mUV5zi+ogBlKV/FR/xXkrWZ5GSN8+KqAph4AuOlJh2UqU/G5cqvr5zgCUeTxOyVAjkDIoHUz1HAcmHs/fQfMTgZP6G5j0c2nGkLIVrueJ2YneLYSZrjx4Xy7GX/HE9qZfbUF69KzKPYd9rAw0idlzZK3fa9/n7FR54A7W0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1643207719

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc

