%FILENAME%
haskell-tamarin-prover-accountability-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.8.0-34

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
48641

%ISIZE%
203301

%MD5SUM%
e47d02833e1c97b267454b30901f1126

%SHA256SUM%
08798cf6feeb601ecfabc7118066c89ed3662a9a145faf6acb3f15b9462abf68

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEJ8ACgkQrx0hme8KPM/Xfg/+OvrMlXTaTOJ00iVnFFCm4KYdKX5OxipFVJZScqIEmpc6w40D+ox/rvHXip+QzcH0zPShmF/hQE2R53FnYK9D4HHsXKg4cQDKt9NB+ou8fOa1xGF9xfdUZzRi8e1OIhq5FTO8ovV/E0bzImzONCr2oIGqrPexgyAUWY6zugcHTfFCGQist6rvEyoG+rWOfXMB567/23DUoHc1VNnAnR57zYg9irRyKnfPpcFqsYvLaq+cZA2yuhqfL6LO89SMs3gCKPAdc1xhLtzx212ToJpIHy3ooHe346v+8k2zhT4mU6g/irYJetsqxikgtHds1Zum+hWt10fBc9TUtp1M+Kj0et3Z++yLNs/6Rj7dgw55KawoIwhn3mJISQiXzmXpiblHMV4oo0BuQdP1+pwYstU6P4GWy0rHcOliK5rXXPFE0xMq77OG7vdudEZS9c0AX1/ZbHBtkcnGs5NoAE/IEvSIQZ4+b51uz75025oIHKWNAm2rkSBkvmmr9SxTRuUY8NtBhGZ0yPJugYin/oiC+ZV/5JlLZ9A1GzM5d6ut5PcN+vZBqt2xPmk5U3sYLSVbbTx6AKCcYhgyisxSgmlQKWbTjvZbX4SUXoJU1B1gfvVGH/0wv/x8uEP7Qt3bejj0rPa/uHeewB5xNEx9RjfZ5nLjD3uPAZr1MgQ+6uMKrNE4xZQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341305

%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

