%FILENAME%
haskell-tamarin-prover-utils-1.6.1-38-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-38

%DESC%
Utility library for the tamarin prover

%CSIZE%
257422

%ISIZE%
1432405

%MD5SUM%
dc9628e00ba425c7b85803742079ed07

%SHA256SUM%
60f2afcb90bcc62224c26cba64039e7d5431e2d79542b7b99662ee6fde6c6637

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNEQUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwY0kw/+LllkZjwGx5Km2SmCoLkxtqHPfNzSoXwGtjoTDr9U1Pt79f/q2/z73a4jevK0FxnXSa0q4N9vcXdsXvS/3moNcMP5DcUU1q1QpcQDIGVzzKy8HTDZJjosAmTfmTnw7u8x+/QKlENpe76EWmllL4r0gGvOkFWsLkOWFpv78wFbrDdIKqFC5b5C5zKTpVo5wclD1t4kroHJ5YbUP70NwCbc0chlJPvE1SkfP3t8nJzqN3YBY1VGZAFGTzQ8vSRDGX0kZFxZ4GcUFZrRTHWdpp5INRKqRRaziBFWaUaZuM39kohg0vZqZi/RV/zZVwXasyYWiphmlbh2E14ZVuoHs1R2SC0Qyyrekt0+mLKXfM9TL+vakCHKD2EHRV/tac9ZScQ2Ciw12Z8brhH08gIbyDvXG6JKF+hi+V/M11HtOA4ZsiHElQCIYDIeT6zxIWQZFp/Pual5XXA6RNTv+qVjYbAlWX5YZ6lACjWrAAWqHOOTdeYn77g19x21PRKkFvZZaeu84ut5hkNIPzyjbI3lVdR2fz/JOJYxU2ssTvn+DXJyMGx2xIlhNhDKdDaOkFH5BWP3T4+VLxWyZ0zu4ZyF6QdvXMZ81/EO16cyXr9sGD9jVL7XEGhjawj2Gb1FrJ5pyMo4MpBHr0t9re9ZNv6zZy9/4Eo2t7jWH7CKnv3euK0wr4g=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1648786344

%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

