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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-53

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41246

%ISIZE%
163707

%SHA256SUM%
3fcd446fee6d5fea40495237e40e545ccc3f343b7c34a74a87ac7072c323424a

%PGPSIG%
iQIyBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo7x7EACgkQeGxj8zDXy5IeKA/3Q3CBFD9ogm/1iDjSUhYslfbH6iCpQI1hLyHXsWAvQFmm1iqvRipQRb5t4jFqhA/4vMCOZptHXv3+dVv9mAfX8N9/U3ySrQJgefr5xnMzGfUDLTB6YUjbD2632RZy3R/7DRUMyoFhPQA/1LmsvGtikKj1OHtZl2sfHiciTaS9OdYYwKjDqF5oIIZMB5iBWpD+Ox+VoHp61VkN2z7EUmvzKZIKY6glzgH2g5N5/29rBErap7ol9LTXBB3vgu1LqqGKhX3frIAekSvph5RB8c6hDK8UA6J2pp712oADqwZHPtXoqHvI2NWhz6bfhPqiiCvYx13/NJOLvTSRKH7GdexmhHNGo01rJGNA7HRPtKKJ/6vVeqga7rCidw4r+uvYLY5Jj9eelefLjdGrQ3Pa1YnqUEgdjy+QjdAhq8srMcLo/4C+8pSlzOw/cL46hwYRSUW8cRfaJGRYZ+2CN2/qBe5qIj8fHYeIIUtXB8+zMSB+lxYCeRWhklSFOQY5r3nQgCceUWe7lZV8p4zJUUEvDjw6jbtNBK2LUz2DMLUW6eHGPDHXSpHLT+iVscyD8xI4ZyNjIGSC1Vxoo5b1Abn6ZBgAZX3C+19cb5u0/8npyXyu+zkKSUpKDQNvCVy3/4meyPY/X4+qqv2E4WQ9RaAmakHqz8Ph/GhCaKBVMwAMgmBu0A==

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782302600

%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

