%FILENAME%
haskell-tamarin-prover-accountability-1.10.0-143-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-143

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
38921

%ISIZE%
153504

%SHA256SUM%
a57e076b2a5eb3722da3c857a8cfb21b854b1c9cf4782e16b9d76c7b58b9fd93

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljsqEACgkQeGxj8zDXy5IMTg/+N0y+RtmtyxYiy/uw5ldI2UxOXe4wBzu6xJhWyydGypxVRZ85bZ8il5x79pJ+wYTlCAgdHx91zPqu5Bim/VBeY59iLl8PvnAcmQX3JlMkIqLuHxyILhbbydDQPwNEBah++BMeRfN2vOsM3UG9Ktq37Xbla4zHrW8NpK7qnVjmNPMPQbu1JHFohLhwvPf2QAqf8Yhw+EfipsEFSBuG543+VbT8B8Fl4ltkMhZwlyJUeOYqWAevYOhPUcKgRsx+sj8lAjWxdl8TxqB79QRkS6TtV1VkFVxRlKoA/sjRngKpYk5T3cwZHLcUvb9TGGHF/2zdeqDM2dUAVqazUO938oniLJwuPZaml0Xkqs4+xnHLPl3jbVm3lH9K9Z7xQespAxJCxCOn+meUfBEXb/8SR2mbmyKbaIORtisqTIEl5+5ag9nqlQog18Jj+up+bVAm5xesEhVceBD5VxOxItzedv6/Fy10vU/ncdhfRMAfpWLDAG/0LW+hHQ9PiBQdsYByi5rE18NQDp9l7ymg48TLTwLt1uIFtLvkORAdlPQgsI0POVSImP3qfWMhK394/XbVR8qSS0Ukk7fQ+7Sbz9XfFWthwDw5bSq9Ioz1O9CzXzMS72hbTIYrAIau9UE/up/F9r8OiFWvh3WAC1onuwHq0IuSUP+s9/GXS0lRI3Dqp4QtmQk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768141434

%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

