%FILENAME%
haskell-tamarin-prover-accountability-1.12.0-73-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-73

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41259

%ISIZE%
163709

%SHA256SUM%
3aece8482e4fc9642b929e161146ada2ae36d28da71992e9d3c2b4dcadd39ed4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq3HcQACgkQeGxj8zDXy5LeMhAAg/JC6oN1e/MbPQR/15BGB3r6JleuE2sk4U3T1eSEBGglaQSRQlIWVT7NC3+msK/bNJvYSLhPcUferE/AfosgzG0+i0wlOFGyxW+jc01xInz/p0PejdJuixEFV+VC0MGSmkmAjBuhPRm4Lj19JgFO+NXTGl5DBo0eRymYP1UcCPythVdoDaedIxR04zxO26hbXJVH+ZDR1U02X5E3FDxacGd3tt/sjXbPOxazFriFeomoJj51e6t1xmyO2zySUzaeVKGgDTbbgquH50sleVqMemnGOZG7VcLb4FnnXQvYx2/LmgOgkGMAN3xbEYcpz0OSSVn9BkJwpx7z7e95lzgQwTjisRaadMgo/RFOBWq+GI2q0e8F+y0GfQXsFm8xQl+aoIErKFhWbpD1hwo9qSGUrcm1B55ZMauCEm5WkJzqr6A7iMyZGBmblcTvqxxHWuslzbByZGsNlriD1/uJwiX8n0XzgveHsU9NzKPvXGeSK3Bu6OkoS39+8zEO8QK4BbPYodbqkkAP/tmJcPeVnIidH7md5pLZLzkB9u4Nyuiz8UvJcF9fz4EcIhaZmnR/CZMhf5dEneXaYHBEKk/qBQe6G0vbOU10mfNZPnN5LtvuDwF/EH1U2cCLLx+L7b0tdzmYaAFKo7DH/QFe6Ws3dNH2OCXUZButpXoOmFPmwnnrKts=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790385585

%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

