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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-30

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41291

%ISIZE%
163703

%SHA256SUM%
5b6a03edc3714ceafa869fe113d9063698ae0f8d491251877fbd4deb6bd833c3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VeMACgkQeGxj8zDXy5Jb2g//RHTDm/j7npWx5ybWKXjfcaPYA5oz7yj7GPdte+gNPxLpU9eE+jfSF8BLv8fIcwOaYR/KcH03kiuUzEHZw6tABZ+5AzbpCYNXFVZLTy50BJZgwQUmXYLeJZsXjUtEcqUeOZvDzfbUl7cRVim3XTUgoeiTitG/nuAm6mN0LbJZfBf14wW99R7rkofZrS3KF88fTKMn61y7ZWOAUk84U+z+4ztbKyAv3EvgylvfNVF/bT2q0h42dkgdWNwmD5Pz9AXbgqYiLkTJhjlwmj1rnAMCqkwESPu+muV4MA8nu4EHoxWPj8zA/9T2cUrUmoJgrSSswdS0q26hNKh8hJKUbPzpCssQg+NEeuQyauNLh+eCwM9J8JQmnKqjJbNDw5KQ3RpIbe7jjs50q+Y6UXSJIlYE7GwfuAx76NJ5I1QgPd7q6Gx5Nnw406yQ2o5YAdVUhsKTmzO/Oxyvkkohif6sB9BEfIfkUf2VroFbEpfJdOed6y4KxA9tgOkb5hB9eqTQG+nTJxcpLsh8Ag1t8RZ1GY3fBLlh6VNIYhu0t5N+8OCNzxOzANUsQf3GDNHu4C8em/dMq9OB78OBqOlR+XTUqDY6iBJIgcWvHT3buGnMOJiH2wRHn1JEV149wzTK/2FimuIW1Rh0DUZQ74+pWOLZVDMbDmF3dOFDQ4THWHrSH9fayE8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144723

%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

