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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-87

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41277

%ISIZE%
163710

%SHA256SUM%
5af628510d4b7c10681530d727a174e590858be7ec8fd4410b0f229f0314b20c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKrbIACgkQeGxj8zDXy5I0pQ//XsAlG3pRJUAY6lFUpj9Tob9rfpcnQVnbRXF5pBVRVrsAD9pULTqSVTDU1AJh6+bzhr3+FmniUIMV3VGToGDOVEHwzLvc1ekqN8iuTnJUAV0tufupJbjD326aNECSNvTQT7EnGSxV1YXm9zPZRshXGqtUFHZj5hetuKPXot8p1rCIkeeAlM6DB5RBGZahMqc1LvNUkhSqXtLYjji+rHdRpuQAADxDk14z7MqqaE4QzM5UvRKaf+SIdOgzY7CRVXY2AbNERgXvneWyfLkq86ewGHcF0Bb9tUznD+KJ/nOkZ/ib2KQcayy4T9CT+iJZ0mwPs9Ng9UDntg5gidQuvziZnAu7uBrN+gt05FF7a8LEJZQjrLpwowhZ4iAImVWH5B5tA9atUAUM5QDylnPr3XTSdBDFtoFSApBN2Y8FDEZ6LB30RoLKjW8lhc/bmXDKEdEUHE+YcIWQ5JYY6RgWykx9in9gEv7CMREKIliLEj4KQgh2UTi/HchUxKtfl909gW8E6zq3iSJN70FVdFoRLOWjDv9GbMRNMNGuPrA0Jfop8aGsDSEhA25rVO7+QBLEdO/cHqEfVRuSIQjfsYfAw3QAAyU+V7+8vXQDy49JJ/2AXl/BuEHSZHz4Zad4i8fkWvUk+bSTvdCUAXpTT6bUcZ3Txuef/iIxPr0SQkbWRv3eB5o=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791667560

%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

