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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-54

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41290

%ISIZE%
163704

%SHA256SUM%
e4795fa6f6114d54e28a200790a862a6ecc71e7dfc1675dbc53c8955f887e48b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8TXgACgkQeGxj8zDXy5I2Qw/9G+bBP8marjzq62al9OAdi/7CXlzRROHudShJpQnuIQ+Wv80kWsK3duWAmqZGVRtxc2wrgl3MFnzq2Fr8sFiM5sfyssPqz4DcN5nFtIeeU3ZCEIi4Wp8S1+tUKPklTHEkZEi/cU4PX39N3ZrGBsWGAy+m+RioEThOyTOO8klKTSLjtoK3ZIC15qDY4qGm/hYaABT/6x3RmFF4D5Qc1zzOpVCAegSF6doxsXx782dTqwexw+XkRopAJnREg145LD7hvt6i4WoQNwb/NNvOsOoCvcbQymbPt8U0ijsu9eRNylf4w0D9fduJb27jaYV2h1++eMmYMAILqhJytn6NTWRbYfDEZobhWsAOwMIburm43Y/K0gPO51Uz8csvqnloIix1LY0JUx4xDp2j+b9OMD5xKUZyu2tFOj9lHJDs9TJc5Miv7hPK+/VCJX2YBpOVji33HjcR2k1iGFHNWKysvw+q2/bMH1KppHzIcqyLHDq3yUK5p6eQcwog79+dTbYpdK9Hr/hohYX5m4mPkLu+HS9PxyZHxfLn1ZaOx0G5Iz4W3pJnVYit6sAcsnPTq0HnYoQP5SJUPyuZgRrmEZl8tt7959d9+WDq46UMYYpemvVu54XGBZC0ZahJ7a7wNYqIir/kmAiCE/9LACNckKnBLvTau79c4Az91IjRLHbVE7soEW4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782336861

%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

