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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-140

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
38805

%ISIZE%
153514

%SHA256SUM%
6182693d0be838f05202b499f29c564a3508e04b31297b8482e523651b31b160

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNxcACgkQeGxj8zDXy5Iypg/8D05TMcZSiZn1kAdMeCnGTF08brs+vZhCz3jymv3aXImOmA8lCUDTy4eSovFJtK1OD9aKlqA6w9WiC3clrN+JeB1PE11L1dpPHtT9e0GAON/AlGUR0lF33uA7rDHGIXB/t5gBEBgn7hfLkDIwPJNF9edqXWwcuNfQkfagkp4DrrtqnZj/2FZ2xkyUHT+j3Df78nUHot61Wb3ybkxtav4Z0YNv2PBX2AU0E8uu9RxWSADvniqAzUeCHN7FSfeTpUwcw/d0qiwb8ULICw26oiSDTDIScVw40Z8hNpzOBhHgwuWEp7lIDsWi7a2tnpLOBSgPLlyRf+VaQt6ARGtTqsuDRTTtFeTQijs8QDxgcTt9geYPGqodDgt7iQg+ktx8rjm9FKGaqYlISKf2B9wlGiybZXTrVrH3a9VJ1C4+b2rrOPChSrd9c/cAtDDHzG08BRe7c7RFMry4GO3Dg1Vd/V+x9tRs6ru9osaZkP/jPf17Q+x0Vj4/n56DUhHSIEvBxqAnnpZhZRnPJJsLf1DfFNBlSF2MIpkVraYrF/VH2UTzvoQLUXd+7yFY9SEYfU4823spXbWkSGIna7iLzkueyz/uG6QmRHleLaouzP5BKab7Rg5Xav7g6/3f83bfDTuyK/l06vBF761fCpQC2sQiFhm8rlORhBGDn4IyyaXeJXTvQPk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760573177

%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

