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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-49

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41282

%ISIZE%
163732

%SHA256SUM%
da871fa56bf15dfadc1e3f23ac728e078aee9fb82e4e5245cb62c314a5d7c124

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo4u7IACgkQeGxj8zDXy5LpvxAAqR5R/cF7nbc+0ga2TSTxartpd603G61iQ8xFM4JtYQrZ70o7neonggWLlGDaX6h7ECZVRRrfm8yaZvFHHvoxGnXoSOwnhHqKoWrdlpDoYPuW///7XFj2g8yCF7I2+BgvDKBNFFSn5hckhmBbCbsgILCd0AnnW4ci6jyTlI2tQDjZAC274xs8gJzJhulMp081AJkTxRvdtCkP2On8cFw00h0GflTGLEFuhfn/HgWO6AigTO8gZNvvOFxUHUpAFRWqQrC6pETJHEmBCJpEQZFYmJVAn9n7yJaLqTV0EVhvFakvbUz8uqARb6cLfhyPKtIphgPJhyYBzt0CCvkZ3rySaXNcXduBnzpEHHQsk3Vx3KNI1bgemAqd4CJOHTFkvHInbMMPivQrwaUC/k5tcuYzhPDJZEdgjO+BdynsklMXxry0CDfz7vMzM40D/7DAqeZYm/OOODY/A1rsIaJwnMnGSoOOD7tD2vHPNoJS3A9kXh//rWNNKBOw+Qrt7gi6vqwSKV0wadnduMIZdSQMALLjTAlLAwebJYtPIa7oYpBZhNIKi/E/YURzytW53QurqLE+L6rgmq2QDvEG9kyC1tqXZffiSRnXW+F1p2zFU/vtsLfJd2UVkoiA6DW6YJmoEoMm3CTJo56tSP4z/6kC05IrpF77wg0Oo81x6GmOGHyytiI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782102950

%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

