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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-51

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

%CSIZE%
265510

%ISIZE%
1406351

%SHA256SUM%
654938a2e31fbab6aba66a7b6927fa171537443ff536a28b61f0849dffc4f1cb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6uuYACgkQeGxj8zDXy5K7Ag/+LkA3ikINbnqDNsx6bQhWlT+xTFWC/wpcwkYWeG94grEPToW3IuSv/I5soYDKwgkdW8Ert7NRP0kzHGsBHEq+4DiSPSnAjqzPbnC93d5kSBcZTm22qGAMTydL8vsfd/oFY+JJQarHBBikdXBxQSdwON3YF+kplrsv3n11HvbHEnPI9WSFLsUXK4KXrTRyD8K3HnMcu8vZS5mIWY76CgLSxXuL6bHFBH9ymjV8Ts2uUQ5OLvGMGce+wr+iiIqxu54/sLX4Hop2FWvntiWreuQvhdbnWhK7tltcnRa8hkOLJU2s3orVO5rT/IwpttL+FHCt0RJX3wteU8TlOvArkmdBDDPzgOflWadtL6DoiuFlAEMaprLKWW2e1vIWSpRZgqWi2wG9BBW9xXR3Ozn+zd45vfNxYPsxzRPf63H+mVwO/6W9rw16zPaXv1nR1szof2IoB66YY2JEXy5JgfxY1QaeYJr5oW3cvYBNCWzBeHYfWXTSo1tNGrYrN5BhthZvnB8nMzNAWvxMiXWS21PHSM/UJM+zQIBBIUo/5NGKeJfj/kRzHEppQIRjo4NpscjhcSaYvNuNjpEZrT3Gex4bS9MvauYEQxzaqbwDw7yhtSYAuWX7we0qReDb5j+2pXMPPoQTgOWjCj8gJdpw8/3XUmj3LgoNEfZw4iPMvaGrJkgAybc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782233814

%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

