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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-85

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

%CSIZE%
265334

%ISIZE%
1406352

%SHA256SUM%
b789aff17261c1e3de994c6ffd0b62e4201563a73173267d77675567969eaf21

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF9j4ACgkQeGxj8zDXy5K8hBAAg1toepKLpr4gLci+DXL9kgQ1QqiDJMLpwlxn8aH9CPRwitG/bxMtd1VU8EtXe6nKmCmxAPL1TJpLr2THieg3XgP7PYLyA9DgBrWFD2FYcH3ZSsyK0ZE4fhxvJ1RWqeeLyCuEdkGeMe3MkKAMUfl/gFhXHohho6vqNANxiyxuR/qUW6sggLfKQdvrcMd32bE+A/hHGVf1QjlXHcNFeNkmmP0bqTcthST0DGjIJyz/MbzSTQ2gyHDWSB+0nTRiGqhor4hF7datlu/iYPG0ZMb3DZeGFxHsvlE5cLXwZvG4xcolu2c8zLmEv9tILTE6+J9cf5M9wloOJMYDE04P8Sp+x/OjT5pDolCX7JExchaZrHTELldrv+wvxMXjxmiRp6UGcnGtd42uN8bqwr+gWb0xdIqBoV98nw7CUP9/A2zjsiDoWyAZJatCuZEiDQhXPtfFINvHTK8JKGRmN0oYw35CZ8KQUtqJqBCFbj1WM3IBldBHSxCASJO1f25dEaCcICe4qai7uM2MtAArUTAvbwUDCYAXbulSmjQYUqV4IFTCsSjNXORhPwCbv0EhkmzjLkpsGgK4TwQdLenZgHAASDizsQ2tOXK849mrCmL/nPFApd0Oh4XcQQELoBtAJf4qfT5BgGzczS0am1vsRyJwq+apRiR8krb/JHv6wvbdIeVaK18=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791358500

%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

