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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-96

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41154

%ISIZE%
163716

%SHA256SUM%
fdf5c6f3d3184122d2112e1c30c89f0aa9f2a52d4b2ca1de8811a36902afcb2b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbRCkACgkQeGxj8zDXy5KvnA//TGqjywmuBdQImtQj2IoRKslmx9qSDl7Xl99k17IkhIDWTw8HDynfqDWNukPzWoZf1WtKZYIu69mibsc46B7N2kkbAHdx1ewmkTXEsCs3xXgYsuyO8OlAQ4ZDUc7ufRghCRDCw9qYIwt0ausU+5i7pIxop9BqVZsAE2Y0GMTLYCE3DOVIg7tliZT/0ZfXHGTVcZPEEdpc8aNDzlmKiBPd3Ere6p1Bn5jxuSEDVeNGZNMEZLWb8c8e++AUGZP9fjCHufiVF3eQxRE1XUvp630WJFqxeWqFYi0PkGHmEuo3bHqwvZT40deVmg+NDSHIPLIuFmbWPiTgKP/cH0OuflHQ2TvQ2xz5BeblRyAqs+6YIJbUiMZ6Z/cSHfGTnWlc476awrdDMn/+/uY3pfhRTtVBqgJXFJ5YpBLo6/lLzQAGfZLTHeKLt/4qqF7EHa/rsrFh+XiVRpFxRfSF6nd9TVNIZ+BzSQ6JAxejpxbY95sgz6jjP9LXq3NtivPj3OZ8wyf6snkFKbQ/hE3YvEIr7K5dcFz+EhO/iYirBtL5KGoeA7kPZZKS/CS+oaK53UJ1j9h1VVmJN+hoCTYuwSGOXzwAXTrc+Zzwm67AB/wy3sfgMBHuvAQIlF3FFpZAsA9irkSV5XDlZi2FHxkmu9fJ+W9PtV+Tg2N4NB9HrBo2ZX/cuT4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754709

%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

