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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-140

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

%CSIZE%
265905

%ISIZE%
1411934

%MD5SUM%
d8178eeee619c34ac515dda20edd6560

%SHA256SUM%
0363d7781fc3376925a560a046731aac37a969a61d6c14dcc1431947c8fedf95

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNxMACgkQeGxj8zDXy5K5+w/8ClvQ/I0Jtf4hQiQBYacPYmvgl16qvdrN908tS35ehCQbOEzN4mUgNT7NUC+pypFeehegl/CF3jV8nR+krX22v31P8Q5Xsju8XRvJ60khqoyJ8U4ATR7ssk8D+2XqRO3yfL34mVECxc80r3RqKRT2uwYAr676Xxe9iPEk2lcFaj4iNSlBFXrgq93n4qvtQMb65Nei1xpdloBHLYb2xycr8QJFlwHKoWbGb3REVq2BguHEyP9fsaZ5KjgmTpfIZsneoV02HDmI1sD/Ji0jaVbaxhgeUXftSp8inB/P9XywSruvQ5GeBuBp6T9+HAJOp+Usce7CfSAh3CAjx6HP5g6n1D4nplqmH8eY3apG5wl5DvTWhaJtTIZ6JeGCVzrFfoIMqMqLebcjUo1HvXxv1s+QwM9SRViLUTC0UcB7l3L63TQadtNd25jx2Dw8w2UmNorgp8DPIRwvG3P038+9bi+uRwJKYxQJzsiyH0UIWY67GHLDn6PETfWC05c1a4a4dhbXw3nlHRRjdGqhFX45jTS3SMBNQHNi6k3SeU0QA6s+AJ7l60t/1eh69b37BXwpFYUTBozUkWpWRD13jmTGAIG/zZRJFMBRau1JFttmULOn57QbceMrPVuG1Fogepp626gxEBQlZ/vW4+XQvN1FSS1z+XWaxxEaY1WJdeqiOr3mF9w=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760573176

%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

