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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-124

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

%CSIZE%
267730

%ISIZE%
1429922

%MD5SUM%
59732c97b51a31a9937d92545a3685ba

%SHA256SUM%
22065ae17a579a35c8d302b1bfa08b92d0e5507e371d6616569f6d1f67aea462

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNNcQACgkQeGxj8zDXy5LBOw//QFVZ2dqTy571WVWmvbyorAhDnB6/jX3QXphw7ObiSVEHKMtY9nhlw56bk6VZImn+gntVwLq0tXD1RlPssTCsWiklJxM2hLcNxlR0h/uAgUUsjdS67DvaqBvMAMRPf2UacsO6jBzaFKEef2RZYfGx9x11oljqqZdNQMhFdvhB71mvaFNdbx8pdt21U/+zXi9JdhxeBHlGNcy3OCP7GmqMX+LtfS4HyUzK42nIXcyQEWaDRg1S90/YYKbq3kX+HcFoy5Ef6Ms09qXfIjIYbcRYyY6a19INbcGypCkAEUwNdGmS7I6M3l6rNj5Nj/Qra7eorAhPHP2SJuLhzWtYgh5VYdobAwFLij3Lpa8wkCtaSzU2ig24ThRfwVe8i/lZQm7b+q6LgVHYuQs4rT/XAsnU4fZq6nCz4ZQ2Nw6u1BMKJXhO2AA6ftMbbb4H+zG4ar43cwGGXDRW2GrnDr89gz9IScKYE7AfM7tlzNcxHhuj+QezeE3WXPv0isKomOmYOPZHbtL++7I7v0YRlv/xylvUzokBoUGOpGilyQOkojt9BV2bvfg4GcWuRKrrI9g7+NqcaYlznpdIvoRA5iC6lElyuSniXp7S1BxDaiKaKRtwL3EEtLX6gnxt8+vlkbK1T8WU6WhOLNjUArIDkhAlT+G0LN7GlEgpe4Ntgn3Ohngllm4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1758279071

%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

