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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-74

%DESC%
Utility library for the tamarin prover

%CSIZE%
243629

%ISIZE%
1268383

%SHA256SUM%
04ba5df04e171635922df23b668696ac7a395ae0eed292e9890ccc48ec8a4255

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq5+3QACgkQeGxj8zDXy5Jx3Q/+K8f9rxeJKNrF0HJcSKeEIVA4uewrJ8nSboWYlBlwXX1aRU8dWtjCmDbsa/u9IXj2i4K4MJa4DVPoAYX/9Cv7WHncmzAqLAQ/zocM6Qogj2E51bEJ89J4j2mpiWtzeX3UDqxCcdAFWKpEWSADsNe4lNdJVSbgCtDl4PpOSl9+oY6JA2C6HyOnsNKqb7Mj+rp+JzR/IvMp1g+a7uWcDneG5OeB7C8cjNkxpLpRvB+iVnMmNb5aXSv9JGHjYAHrr7wf9V1Ag7gxQ4hFAlISHxvFqhnhS7OtH/0J+PZ37UNa/JWCVHAFtfPjoBxdC4oBuodePG/DdMsZ5Ghdixe9t70uGFp1xlHTjYbXichLf0XUa589Bt4nukS+3d7cjJ6vRPGLoBUDFXDMTjUYEMN68zPek44PcNjxD9HFMq3WMh0zOKg8MNAsfU3N/avG0k/ppMO7su0tUBcnMZKUbfrezqMSt+VjXT5YaNWygDfufUG0nHYJrAWvBW6oSw0in4Zd9OAsoCS0jRyxcfEnI398X09hj7jeVjRCYouKa7DNOenB7xMRmUsZSLHVYjTiEBIN6Y3hnDqvnr8O63LWZNMRzSywJ+HzBUkYDL3uBPtho4l5NU0/i4aIU8Pt7xC2dZ96y1LhG65/YDQTHztICEprQNb0jDtir68dRg3t+lIP5Cth5hg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790573408

%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

