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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-60

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40848

%ISIZE%
164132

%SHA256SUM%
6a13c3e7516006c68cdd228ccf1ecd19639453a7e0a58be72ad5fc72085ce221

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWcACgkQrx0hme8KPM/Dfg//Rfixb/iC13QxyBLEmtMxvXzHsBF0IJD/011yeq27/UkcGBrs5WGS1FoWbsbdhQTH8mOXAxKWkB5vlg8UtVOIHonryh+KO2GSUdQXq0e0fNjy8sC4Kfw/mPPFm3grFLRofVWKW7ovy1YvN+SkTWCPCqNGlUHqVj6tn+UarSYigj3q/+yBaXHrlRoUCgYbkny7i8dEwpr5u4QCuxgZ/XrBSDwnYiB3AwwmAv0QolMn/+7APaDtktviCVfwzv2bcipgM6XD4yFT7MSWEbYDFKKXavyQ+ScbN840hDf+3qeRN4zkGSDiOEfJ3POqfVrnoG0gzD6MW8wm+YzqrZxIn6vQId7gnv80n5lakLverUamDhHqS2w/K3TtD+p9XVhtB1heVTCXG/3+iuy+Z30ilzZnaPpZqdtMJg9mK2GzXpsZmdkSK1K88zfcmsBxKI+OYG1zZ8A2Rs0Bs9pqY9ewGjn5uHXBHZarmEJhDhmZcUG79dczqnjuTUvI5Izw16CIL8pby4hX8QhRSf2AUOkwoZE2rqgkWq5Eahh5u0GOwpB7wCQHM5++EqHBXqJAWdw/QohWHv8sq+ngMVUROuka7Pzu9ZOHsuieKetXbQqtfKXAtdFDhDmINRCD9W4wOVHnc8aSXE4XPmR4YpTp2O6ADlaAZOyEVgtlLGGpwL9ChCBtmbg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724418

%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

