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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-130

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40851

%ISIZE%
164131

%MD5SUM%
7c89dad8f9c68f46dfbd8b325f801503

%SHA256SUM%
c357cff2284a98590c7b8baa988eb9700637acfabd2b7ef97f0b6d344c500f4f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjbDcgACgkQeGxj8zDXy5KieBAArEooJ5DurQXMcpu67ku6ON1IwJ6GlndsRETPOQ2yk5rPHf6zZDGHAIuSa0EYoNlSqh0S+EjRLuxCY9MRdT8iz26ThHn9N21y08uG4VMg7KNZHwXaKf0bayVa/RfA7DP402YwqMTAL6hI04qaJ3zcKEr+IyihFIUd8vTU0tPn7PtVgL+RjVwePPRX8yHE5PetdVDb2zMQZztoZCvqQncWUJnk2d50NmtwhUcOubcIWWsfrbTRGiYt/gU7/rDhcevG9DWOWSAbl1AlCSWGJGfOODVeb8+T8dhJthoYMUgxGDSdRbdpinTzoIVLawzO//EAcJ47kmETwZheXpL6s9DtOpNOcpWhryNDR4uy/7bXeeLbHNMR27Js7ujuB7fHDSSARwrPOKXGppguTZGYJfdP5cfiwMKnZdYQdowZ+oo8uDqgaHm66ZdMIP5ZfEiRDyHj9gTs/lxYfCdp0a5yDSj5A1li3tEGqojE7uyyefZpXgoh0mbTTrimHsv+IezBstDPeqZEGwRX7+WYi//DwuVCbI88VZn1MJ5FUzG8hW49s1Kw0KePCoi/lAz+alI42Of80ghxsI3EO8mbIJi7cBmYaSc2wEyAZ51ENTaic1NwUyugcYqSkgfJLUR3QMf8tWRPBnKLNzkW+qz97i2mZFA4swb1PHqituri9R7mbOV8nKI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759186351

%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

