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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-90

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

%CSIZE%
265567

%ISIZE%
1405270

%SHA256SUM%
7776983a6f1e9b9e084d7bc5daf3f4c11d3c036b9f0711d885c13476f14355b6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrSrBMACgkQeGxj8zDXy5Lm/xAAhVkt1kQ/pr4dcn/xfLzdRw0hp3gxf0WE7pLPmrWOwmSj85rtL0Ce1ayQGNEs0VF5CGwwcJ4WI0dDl29fCm7Q/vJgxTyBZ3PNNnggOaKWIxih9BVHR1mm+oV2wISrWSwFAZNHEcu2JfESE07SfJPWp8/3R3K7iRZRpYEHEZkKqaxx9hX2pkh7tHQPYOaWDehKWs7M60jIcLM48S1FwXLFGgfOsj6loFM0sfPEfBID2NUpHd/3luakXqcw20xyjgM/UU2JsZkzoPqovk/72wAayNfpxXRI/5PHvh4oqO6Pl66geXDKzxje+fi4e6WiMbYc+k73bJSj/C5kY3ICKh3+/BH8OYuTWZtU8SLKSlSkjwYVO+v5ooBqnPakr/fWwEqKIqvnsS5xBHhgs1ptsuMIafI4KRTOu7fGALb2og5ynfSUE3N8VxoLqXlXi5om0wzBFAZHFhFZEguzGJgagqQVHioXPmPOHIWE95ViFVfJ+LvSxWX8jsV8ovrvyp8pVDJFv3NY/MfwtNMIcevrW7rf5jZ8awVkuyzanaT2n9OloA+MiejKU06PvS2WOVfcmGeNEvwEJ/FptA+kFqTqFFYXOpibRvLMIFMK7iJpDEj6Q+gyH0puYoLyoIDAlCLhhg6Ft473IJ3989SHmTJoSqV37E2gYD+59YExcvQ+I+dhqRc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792191482

%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

