%FILENAME%
haskell-tamarin-prover-sapic-1.8.0-43-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.8.0-43

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

%CSIZE%
243296

%ISIZE%
1257526

%MD5SUM%
7cc05ab4bca726ca47785ff8e5bcfbf3

%SHA256SUM%
96b2fe735fc8bec05d7bef4d534d7138efafefaefde917e1ca728722f2e7c4a6

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcu8UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwamYQ/+OVI3PXZble7Q4CvUww08g9vX/VDBmnIXRFl9Di38ZjeLP2/2AfqkaAqeDXP63Z6ZfOOBd4p+YedIdczaUyGCMzhuO74ya4ht/RD79M1Vj5r/O0KyemSr0OURFT/YfyuqTg4V/4FAjHZrGa4ICAru90tasuZkH13B5lxUQdiCEyPpHOthdP+8f5l4p7UcStI7JzDu1Sk10439v4XVETO1mOKVstXcN4lGUusuQMe991GXQUbnHsC+SAkRwYNhKe0IAvP8Wey7mNTvXliP0F040R6QAbaihhJzodZGjc6VS/giz+a5SEYNClYJMxlTsNqnXtkCTrqomGDrRQiXBf24yNXq/aqVWEo+qnFFY/VF1DcoQJbLmGE6vqZUFK4GZ4LgQ5t13iInwhEYaUgEJp/Zok4p4yLA2+4jWGLYgB9y7Osa5rRGLt/3oIOc0aphgeMrVTTX6vGYO6TE1eCxKysYwpQb8FO+VI5FH/KPDQqGw7rUCWR9Yu5/+fxjBmiTx01anQSy+JUj/xLcvg+v1teZBA+CkNh0aGGBfVOuiWZ9CxROl/ZIP4i67AxYaNN/A49gZjOeXeF6fRLfFpaX/MlKijgzwhNH2ZzAGFztE3pdbf8LjtJ/icS7TI+tP4psuOyMOpTBRKLwXVx/cNY38GQsVRn/5FnU69VoI44h3xoP9d0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1715406589

%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

