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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-15

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41643

%ISIZE%
169509

%SHA256SUM%
47f1ecd4cfdc35f6c6251e3a72577458b5373f53b6e87ee98e70162c3fac72a5

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUbNMACgkQeGxj8zDXy5Jddg//f5C+d5/uIxY4yZJt9/WODbpL/mOq54CW+09HSltGn32H5y0e+OySNTExKRami/vb4qlTH4wey2W2YHe5zd5XNFw5pciZ7ociWs2XXyCivy92ZMIMZuYm69+WbEeXeLdxI01+ftRs/TcVtEn42bNhKeiq/tPqajYRE56H1Dq/9+z4XyiVPsIPf68RtWf1LnAY8ZpcforW5lvzJ7lffmDSccVl/jLXuQHEepsvfUCkm8KHYYsL1brqxAkL8u7F9Ib8744t+ITTAOVJgX2bu2tB4UfXofK4YitByeLeEl3bDVOJgCpEJOYkSasDg+DxB+qqaSnsn+8PxMh2CuoMcNiiTu3HjdVB8fTVbW0dCd+gU0U/y82HANKGVdCz1dwf4sAof+MdThg6NTuS1359CbARkJUp7CyYFyltXjUN4bqKO81JdHsJpA6UWKIvFEZurGLs476+GVrqgef0f1duPn4V7J+DobyjDN67cIPPzI/7RlCUZj8XLElNca+XRrtGXbqwDIImzwuoM88QRC1JhLUGWwlG0vOqRtIegODhTdexMwaJ1BE62kpZ36uUjjXwz9Sy0X6O3ydZxmv3RsG/Gu6J4LZN/mnYfsrckL5zr4z6FiybjW+3vVvizUpJc1gYQ8zA1J/grDsvLXRsir6enUZvfv9IZ/i+9oI3KSfEcmLehzo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1741974709

%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

