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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-83

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41237

%ISIZE%
163697

%SHA256SUM%
fc3a8ce4b74b784343d83cafefd2ebd2b215dc24c879285169d3d582bfdb0efb

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCidgACgkQeGxj8zDXy5Kqpw//cJyjY60HvgBZszrbxayfl9mUq8SSN3YG1odt9HK0tcvu4SAzB1FkVCFjmxZLhocAHPcI1muLeWYC9vEp6FRzYE19wLn9Y8nhqrFWIEyPI+Xnvi5mKUX0PfUajNBF0wAbPPVcpH6cKPESzM1tv2NZrwuGVn1Xk6UVZ1TWZiTgCKq+FZvhku9Tfvs93BabfFDNqP4ewNrROlktsIgyccUmivbuiRLLGUqBiWqvbgNNV3Q5vhWQXVWuQrh2wQrlJhb4u2SNVSrKHYLcvN+IuSH1ZHH2xQeJqVz35q7HjdOOuwQacx1ya90RhwYmwCb983jumIGZoMbh8j7j7Esi0sqk0R5GjTaLjthaheJ3RObg90CgAdM00JxxD1IM8AxtCgY/FvJSEkrm7SPFgynWoyGn/Bm/0ikcWYyrcZ9wW/86nuSRr6XFcC/Pm+3LZb3fjS99bIt0Hjf5BiMh5fEGG84XtfFe52EcRG5OcHRTOmBAMCmE9ask8enwR+/E6yqYMi3s32Mf9W0Uy+VzT4bP8Gkl0wAS1RZ/NWwic1qiN3dNfDyytGeJ1/egXgEK/KjESu8v16PtD9BlCfKNLk3Bgho0qUaTBYSfBqdgQmmf1kcTKfncjz9Z8cBJ5vUKdmJ5ng5Y0gypISLpjCZLvxS/tsI7sbwD5iN2jDUI5mrwT5ufsYc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791134146

%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

