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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-58

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

%CSIZE%
265340

%ISIZE%
1406182

%SHA256SUM%
a2754a12d6e539489ac242688e394b666dca33e99246dba9ea4e8ac9853324d6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/+4wACgkQeGxj8zDXy5KLIRAAvzf1AfchHid3mVkR6xCqZUShXcn66Il11QE3Yj17S0nMMhuziDZK6I7SXHX34HZ86aSLX/IY4DCc/7lq5ctYoJ2iHwPW4Kyup/52lPjnGExBOysyDAGuLHv2rCmlVaZndvBd5kdHEKvbmg8ElrgP/Vf6IwS27y1+cgxmifenrKpHmljKNR1eBXacSFF5GK2YNpc677I8iWzSk6tQNrVnApnDaUKmyV+2D73iSBiRYp9X/XLzjnI0nS2O6TgMgFsG05Trhs0WOm81xSQP+hgaqwGi/z8kDiM0EpEpm5uU/6PPXE0Vev3cbKuHZcStr7DOpbyRySzr63XnLdaawR6+KucvYKcRCT2yOuDY2rsgS8aomEf8Kd8zu9V8e+SuR+2bQOKfOr0pqI+aWyGsa1ZOEYpnVFHEL4rz9xujcl9zEBZbqCo1p9FHH6S43vt5bwPUG0MghyjfkMfJqUGwIlhMejQFphUcsxtbq+lD/SjN2WHP6JxRPIvrVHrgIQcYQJMvIm0rdqIioFU1lXwOL1zf/KXgRF5Nr7U3usu4rEIuySpwHqiDJJngJv6eM7KwoelptQ4a37sQbEnQUh0BQSrOcvPCuZ4G96CEV4AwSIbseGZPy/6x5uXYGaaGpRvKpx9etx2gxd2G65/iiEwcyWY+csIfKS4hIXSljAGrrBQrtL0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782578044

%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

