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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-58

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40857

%ISIZE%
164138

%MD5SUM%
662a45778bc221f4f03a2066f420ff6d

%SHA256SUM%
2f79f4a2488d460f0300e3fb2af1a8c8138498a828b433c911f09d83f52d880d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh21sQACgkQeGxj8zDXy5IPEQ/+PJVHbQvgWI9jHzw6h4vKkKjD3572MRDakSvr/yMLl2X1++uhHGzO+MMkP8hjNkuishHgZECXCtaTUrrDBzx1kL51d+AFYR0L6OC2DD42iy/qR/F6MRNnxdjx5pzqprsr8m3Nzcw3ExRzTfsBpdBLhr7HbgpgFWyerPxkFKBTv+PSCfXaGOig4KuO3fZdkOgIqB17UhBWbXYIWaXy04YWpcaOx9+8tyd8SaWilATOmG6LTusQzCW7dfcUBVhxXo8OxZJf+w+22MctOXOQk/6Oup3q6CL2PQWcUMGuxeIrAOtRfB1prhT2X8ar9H0qopbDnUZmvrKJ7eNhvWjU66fihg5HLZ/Gbvtp/hyRhhXDmlQ3HA8nk7SG646YsTqhj1hN+308m3l49Q5G6vh3vkz/OJDcz3tys1JUnKf4xLRbdhlGOLuA1/s51ARG5lxJVEUWVOQLsDwz8kJArprWtUcinAYplEMmzt5B8WCaF1UeAH/n76RNQQbBIzclK5XZKU8a/sNItBta62SyYsWeDvBdc6HZT2JteXKf5xIH7VAelyuHpyuk3vWR6NHzi+rRUVbq0k6IvWE/VjgRv6dSo+DbG9kqFN5GgGPrHiU1k40RgLob4EjWDN1Jv1NXU5CkXug1G4Z6abPgDca+dccxywuhtXc6d6ptBsUTO4DrbxaK1Io=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1752618666

%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

