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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-40

%DESC%
Utility library for the tamarin prover

%CSIZE%
243916

%ISIZE%
1268336

%SHA256SUM%
bc6db238b58226e814a55aaad99670930ece1d378bd21c2302ebd848153ee5e1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou1LIACgkQeGxj8zDXy5LfdhAAlzfN1a8JRK60CXH4bmCSrPkOQy34PgbJgtHWDnf9IYQEIrvPHglnCZOvxenOqXUVrSUyOHCmpho9nqYDYH3T8TDp9MmQ2zsbu2sRf+0WTHNwV+3qYo5VldP27e6pIWvqtgmGEHfgSSpqL9JIsTq1dcB6BgoUlN9M2Xbv8JhcDgSyi65H5mXG3zwICF9PqtjrY4iZOrSNhUtx2BpONYn/2q2jd0gUt6ZIp9CGHNP6PHDYjcKcGxc+NzwQ6gi4035L6Rsc3QkqlLW09l30IdpEe6gBd315R8lTvgHZPLOLBIIfegH6zcj05rL/xMsMDWNlmJrgz42AuCe9v+fyZQ/jHJgRVIg4PVG2EpiwQBeguvKC6xcnwTVcxUFwgptvHhCi1WwpgDuAXAevvehUV+S6fB8AoErEMdXfszT7ngsBA39oDFfW5PA58gMzbbEzAnFsig5uoodBQKONmvoYnJqBFEfYp4z64r0Ge8AA57fADNPXdaAoCxT3RPcr9SABPBLflRZNLSLAU8Jb86qeEbZDC5h4x5qM1b098l6lPN+iAM42jVEZdC1QD5B6w8hlBwVgigJC9bn3B3RXEkiqQ5rotZ25cDyoxS69l0KCPy9NouMHSnfe9S+/4aP2+cYMuy5mlSKKDHXJT9AD7gAB9YrmLzWgkxrStZttcgYoezjYOSc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781453937

%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

