%FILENAME%
haskell-tamarin-prover-utils-1.8.0-25-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.8.0-25

%DESC%
Utility library for the tamarin prover

%CSIZE%
213678

%ISIZE%
1166233

%MD5SUM%
945e20f24494a58137fbd3f7dfc3bc7c

%SHA256SUM%
308148acd1141c2f006fa7ac4a04089587d61e166dc87468c929714ec7fc85c7

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcu8UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZkhg/+JxyiJfBpmMF6zHwBxtth42ioP6GiBESE/DDzAFVouduiyj3hRXyNI2MEw18lRdkBAD9pfI9wGsFy/PJviPyyk12zaGQUqvAjlYNuwyWhLOTj51gRSuIxMzAHqh6cujBmzTTPmk40yc8hD8q4m8MWAVjF3mfV3UOEe5CFbwTliL4zmL2iVsGjxdCXJFPl5fmN5fqz8CuTaUDyZpfgzODgW5jw+agBCxghJviaidMQMkYMXo91WZIGdTqzhvFEGeirBC8h9EVhIXF8BrEViRMT1kFrjBuifMpF2b6gimtYPy2cSMn3y7SsLL8Q5RBna04IZ3gtWic/Roaoaks5PgmY/K9DmO8AsiINH0nlCXkfuTgUeO9My8DloqAs8qeWP8o8cLpnuF3KxEBhken00S8m3ts/a0cwd3B8BmM3zLxi1BhVgMVv8nwenFhvEZz5EH1E0Doyy/mFIp/WL5lQoA0/tjIU+uwa8DjvaSLIqvUvTIdFpHAaeWxqY4teKTocSyNBsTjLxihmrJ+AdfjvBhi2KWXS4nuICR6I42oOPaLjzCPn0v4g7MA434DpvUnK3mFkMrIuCG+xOL/q4MJlnuzNzGB6jvG3fBVeZ/IUF1VhurlwiUP/9x0/Ru2PPIbqsb4mpLvTxjoC4OZSA+obPqBqbQbl+gKvNDh5ejRp6bEtVRo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1713861645

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

