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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-58

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

%CSIZE%
267834

%ISIZE%
1429965

%MD5SUM%
e563f97a14ff734df7db2ee4e9176fad

%SHA256SUM%
56755a76b76ea993ae382efb3af388771bb95aba5d9a7464f3b7482298531c9f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh21sQACgkQeGxj8zDXy5KRAxAAmXqea7aiA/crikcZZ7//xGTOTU11QUZpLY0Rx4HxHV3ScL6e5ZRsmaVoS1XboSVLqYEYOn1mZaF6v3EeQEnEfOqtppO3nTf8kWDWeOmZXoUmATkK/S598NhCUUcoh9qT0WTXjMVwPr322AKF3yLMm7AXyv6ZbNVuHIyKUvitzjikgw1Sb2OcqhfbAZF3DsKWftw0iImoXoPcyg069DO4SdiLKvHfpo/Qyhi+r9y04f8SLemWo6w5hopns01TUIyxjgEF8lZAeW8UnWpWdfm7UIYveKI5PAuJ5s5RDc9dofIDfDBVEuwEKlo7uN1/Kxn3vslx0qkajOPl0DdPU++pAwgk71O04oeAKim+N4thtOtGs6XbjCZ2RnRa+Nomm7YqTpOfWeukkCl6zZ5oMGABSQduD+RKKV5IXpeeTqrj3hYvp6yoMlACsn0Tuai3fBteceX3jGr0C+TFKmJ2MYzyrBTlQDqHW70Kt31Y98R5hSdt0GuQGuYHd2s3FqCxuKMzTVHMk1nbe+ITJ83rEkgOXihOo53iyNDZCTmyqT6D9Bz7njCiReSJIs0I8/b2sBkd7TgDF4jwP86Y7fQSqibhdxxJzIbSgiIMt4tpm175YidqKcymwlzOSbOBHgYGWPxn+U6ntyYeMpmZPUVQpkfRv5KuZs4N0Z/915wk0TeQqJA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1752618668

%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
uusi

