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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-56

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

%CSIZE%
265646

%ISIZE%
1406134

%SHA256SUM%
dbd80e9361b7303438e0e021f49939cd72232fbd6e64e7353965efe33728e733

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo+LuMACgkQeGxj8zDXy5J8PBAAnA19hwTqUc2e6uTQrvbkDn6+UG6YHt+vZY0z7IWwig5J7AK+NMh/wcIHHh+01KqCuqDhslk4HIfSTP8iIlz1JwzD/UIZX85GbTBKxNMvCAwVyvtBrG/ffzN+Tpz/gZHus4bLLnvA82ym1Kltl+fyGuVH/6/4kVMuxsOusgbX4QWRuDt8MbTfhWL9zjVFQtjGkEgIRFaVkh/bSvvHKU5LeucQIT6NGk4UKK0AMoRBWrMqFMkV/jzNHTPFDFnWfiYCJOQPswDNe4q5KQrUvLP1WLIdWroi3GDfR8VgMwrcjck4S3stA2d6VL1Vi17JHKsa5EASNCU5MHDqU8ZvOWuJEGPa1vyeR0MCQOcLrEf1WXPUXPxj3/dqzd6JJ1+08GLcGoluo3vsz/sXk0vEi76wwslQgWck6KfOhADQ2uZ4PQWkbxQyipgg8Pts7V6SZ1czTJ6fkJYxTKy5lASeblmqBzfc6e98Bkf4ONK3sN3s/vfmtL56hQWgGKnihLQ+VOfdrGY0htLy6yT4Y0iaKpGb6r2OA2ytm8ChU4NwkN/D+K6fBruSTXwhpors3mqzMOsfUnvkHlMwzbfvU3TcftPBulDObC3sr6Vy2oWZGgw25D6qmtaTMO/iA5ifxtYPCKwTmT4aLeSoqjcF3UmEqU1HEfLA8CTvEj63nsAEDYBHkUk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782460092

%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

