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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.1-108

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

%CSIZE%
195056

%ISIZE%
988841

%MD5SUM%
d1e0007f8fddec03e20d461850e882dd

%SHA256SUM%
8c1b9f81c55a4b2f57020173cf838f105693bf20943944921cab4aa04201dfea

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZb9YACgkQeGxj8zDXy5IjTQ//cBnJFVEIinpqFZjavuxYd9XI0zOVcRaGgJ/H2FAvKJJZRq3SxleKTvWJg08IFk8VJwgEChg1fCIRJq29BaSCsciB9ihsnt5ZzZYyq3md5fE6obz8zPD1cTADzeCuFJWkW1Gg5M1FnJ2d6K2u99T66P40XUBycf6l32n3w0Gm6AWaI2MxQYwhS4R3EyfpV7/P7thCJO5Cifhc1Vtyb2WF7LMKRwodCruouHoRjLoVGqSPhkLDl3DwHVwDBgt//Iu/vkf6PdcCfTbe6z3VUCfLGZKUltkZXI9L2Qi3Li+5DZRfwRE9x/WlQLOPMw2bu90Z4RjcGc1qpYcxfrU4nX5xbWpW2UGnIl0PjQhj8ukL9n8dt6xWO4YVXriqzR+3Ie1OPYoa8gmIclJRw6VoTYY7u6dFt6oes1rKnS057PkRGLi0ES5weylVPC0BlM56Rn4zE+GR50FOv00pACixBn5hYa3s6tVGIND/EH/kOisQv/MlEGlH56UTrP+5dGkqOJOtg18Ouohvuje9CdGnYQM4syzRKjdA27ABqb9NIe0/2k/2qh2xvBb62KqIZYPKSh/WdvJsUzUd4wSZ33Wl2SEaeOFa0riwg3auY8P+qcy6AWMhtnLZFyd7f3SMGJsM7cEZ4dhx5ieAr9wJxKy3u6I8wauwKU9zSPr+ACf47XNTWhw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666805690

%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

