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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-99

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

%CSIZE%
265287

%ISIZE%
1401151

%SHA256SUM%
97c05b21f1b3872fdbf5857dbdc6791dc6c3ef2c94eeaec1de7d02d27ef0aa1a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1uBgACgkQeGxj8zDXy5JI/Q//VPDZWTEHtxihzBYDVrRHSijOPS5kL8aeVOeBpIEMZGw6p0DZNpL8P+h4fxn+YDZrTvInKqRG3Agao7dbkuq5pfhfxg4xWH0Ha62ZnH1WMQy7UfuyvTkVl1dUE6rkO2JZXik7Z7He5Z33qMsnHs4jR2QdAyAKewfa6hCLeoRoPyMw3yTkI5M3qvad/xJrvrmK/++SfSXsaK/oPA1ztRSqHoPv0Dczv1e17KmGsQfUxW5DjnJtKt450OrK2PeF8P2PjWpmqqZi3Mcpa/h3R1l1jHi/otbHON9RvXitY3EtGc0d5CkIQ8TJzuXMLXXCw9z5PlYWat2JuK3yOlkB/M+NdqOnfxhfF6ZGg2MiVlLp7Mj/nmS9bd6EigqTX0fNdCEoT+uKsGVegSx9ErBd1SmHYFtXY16gjG4BsGCNrcRmbMAvgXTSuwhdYLIv5tDivWX3/l4BA/udpLAf4jpUJh8ovOn31+jr5Nd3cPSEvBmjbo3Ld9PEZZOnjef5Yhnn25sFzrpN04mHFUHYz9wWD3tx50dzO5nFxT0ZGdHwtW3TTYfFJIlQqq7SwAm37denjnZWVLsdbKqrlH0zMLktBCyTcd/+je+Ah1Hr4SZWmkh+w4qBy/dk/aE1cAA6xxMCIlVUI0qwEAnSA2bTBIAKOEPQkv37Hb9Gel9Ulnxkw7jzN3Y=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794488299

%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

