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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-85

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41058

%ISIZE%
163727

%SHA256SUM%
aeb2346869a393373a94f16d39625c2d71ce73df19f3cda864cc483348076a75

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF9m0ACgkQeGxj8zDXy5LcrQ//ZCZAEWgdg1+EcA+fFk8LdPiPTX619AlJzVepwNkaeiPfkOyU4qRytObNfxr4uEiHqUbgi/sr3vQY7tsvIYadF05MUKXMj7RZTitSDI88l12ZePQxTTMzIslW0e9jHf1wsdlYbtA/ohraKNu4eMy2SiUlF7TwBKtyeSPvT44ul5UbqJ6xKV32QCs5Tzm2ianQAsEil7m1ocz5YfXc7uexdev+dHc1ADE8UMjPXhpFcQnID/S2PpMWTWI/P6CrFAjUSK5iWyaLOWcKICnsx90skBCtRFNfURPs4AIP0aeuj0FleLDBHhRnpQxCDV57HmMWNe2feC6xe0/g8Qdw7XAnoAB+pGj2OeqaxR0sP8PNNgXCg33Lev0Y0RxLWrpLcqEKZvPXvKz2wy8z9dF1gSBuNXG6ktkdKL/9/aMnGWI5skoBgMDv+1R4dhlx3MXME5hcN2/31rNgeTg4BXcLYz8/wLuL6UWTXbxtc0xjJnxLgw5dmT9TAW1/4GWEbUD+fK9uLhk1m5vMREyDhdbp1telbXJJqc3RUwJP9oWjMdcu8DqxCqxlUNXQqmHArLFnFABcLF1Aup/vU5Qpi0gjVioH2FfaEL+PrVEpHxfN0eP4+yB6n+CSHvN5B0SSYE4cVGNJmYB6izFaONpom1rGHhyqq8QhJnxsLBMYc2KMODpI4YA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791358492

%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

