%FILENAME%
haskell-tamarin-prover-utils-1.12.0-76-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-76

%DESC%
Utility library for the tamarin prover

%CSIZE%
243825

%ISIZE%
1268416

%SHA256SUM%
a769d11a3a3bcb5f172fdc9e9769ca2ad9dfdeb4afb7be3703111cfad3b3a429

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+JmgACgkQeGxj8zDXy5LrtxAAuqexg+orUYgKvrv5wgtdb1L8gMsMIKn1xLBneWNWTiGpIc/vvqfbHNdGhUwXUZBNnkkOmlHlFAjGa72InxEF03bC7UatCJ3k4lhBPo3tuoeCjp3hc26jWHG7eGuH1u1CVbF9p1ItUatba7kBia28eZB9/c8Y3kuC1Q+VaP4h9gwp9NjS4mjUHgcLzgbE2cR01H9wGdVV9mHiMBVGW3eV27mWGrihoEYpvLrvO/ITZQBW7m61eMrh43k7AQe84+DYDXXITrk8MQNvqvmNbbEowtjCSkFyuWYPyOBCqvAMVm7JWfPAOGF6eW8ZRD+Zrl3b7jE1CF4riWcoqbC0J/PiG/epyW9fxHLaZStcLsBl7Plg6ffgGdRm0Dmt7Oec8dZak8Z9Y7BtXO5BEenR+722fkvvx+HfMlrACi4LHcjR0bIZsouL8aP5aFd9bBOldsTXyc5Z6inv4IVTkr1K15/PecmojBYsvlGQwc/WyJCcFxh+kbwbdpeEsgCxC0lTLXsb9TzE0h+MaA86SX7oH/PfZq4rdJuePWapqG+xz6kmdWw2aLwktSUpDQG/nMHIKvqdtpnVtydSbxkPY42DyGyKkQYGXNbGlS8Ez2+IYmLs0nJwr0pc4b4mDcOY0ZowkJ1R0H7nTlzh7mkXsaz6Nj82EWJJsMR0ufCBrCSRNH1Kulg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790846552

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

