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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-55

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

%CSIZE%
265482

%ISIZE%
1410419

%SHA256SUM%
421dfdd26c04f8854b38c420dad9ec28752be2c1063ba54465c6059882dfa01c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo9BGkACgkQeGxj8zDXy5Kp1A/9EJ593CJKpBGp3gcGS6rIQRAqbHjx7jGBTkihZqGa6Zm+lf1N6getgBvTVUK+9Wk7P2PybdLF2SQns88A5eqLiP2f88ScwuFb78Cj5NplmT/HSPy9Awjp13g6rRYra91zOYRsleRa2e0e6wYoQqeI3IK+3s93cdTvcypMp4AjIj4VKpys/ANO4gh/7Vpg05HFrEgSSyXJHEEavFasTUmkxjsDpsBSahB6bCgzHjNTwWRrIi5LEfgYU0sacErbKV6bSzfWLRe6yZc3jUp1wee3LIP/UQt4NhA3egw8VavNHUDTmOH0eXIVhFklQl+49N0geX+Pm/G/Jid/4ZWv2/sSmcpaFVM872VpjidLJilWpVhWSEdR0GbDdgiXT1B8PpMY777nq+480zkgsWuMK2rgZ1LZjoGKgxwDmzYp8i+QT9Z44989EC5LKKE5YXKSZJCtvPIuGllmlZUFtQURBovSPAFrbal2hyqRVegBWsk/z/zKCOKwjhIWqUU0LycWkurz78qEX5lxBq6DGMWeDAgalAPwqTg2I5kTxtE/Ba1VF0IAkZkYXZ+VV8yd9P3Oxp2DDhku+XhN+yUmY/xhydv7+RzzJktQDKFuoH7IcvFIJl5m5p6wdUpwQECoF6jb0S6H22P5cqTbihVsRe+LqvQRDTYnhGgY3WNtC80x8N1I7AY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782383700

%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

