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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.8.0-21

%DESC%
Utility library for the tamarin prover

%CSIZE%
261810

%ISIZE%
1447917

%MD5SUM%
f8bcd04ffc8f3407d4fc35b699022386

%SHA256SUM%
679fa65af87a362e58bfd629359411b547c8c5e55fa51acfee06c1c8495d7821

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD7JMACgkQeGxj8zDXy5KltBAAiu233thSNZZ11td0WDxy3G5LAGJa5D0JSgoGxukdFMYuW6fnXItJ+AWwi4ap+Bpco7e06fT5UMlinghBhZtpY3g4kuj2F+L7WVQCfi4FgN/txGA/L11qe8gNzCioyYuTxX3rUWoflhNB8d5d6S0DdNyWbdjnNj2d998RWoFfI+mDZ/brmRyb7Y6dT2bIqgkLSPw50WXGTgJSl/lyllLUOfmh1vyEPyV3W8FDJUn6mRUSXmF3eM2o3KZnlVQy37NHQISPMS0e8N6SWj0CFIO8zCLdrvHkpC0KjCMNsmpEgfgg2f/sc0HglZCpH4fJaCMa6fgQcz9TL4BoPifiq3BPtHDtUbq7mknFTlskfhplFAhWR6gAIGpXoJj0hyJz+pQgdf40f+emEKZbWR8OCav0O64TEowpghQj3EvCVEd/DY5HniXCohDabTYa6KQtyZTe6nv+quJio+DbzXle9PcgIdhaGVtGHeU24/7HL5edfSfQMdavOINl+ITXItC4ry0KfVgdKjaal8wf2oB+o8wSfMv7X6G0F7lyNA1ssvBvm7u3P3RGvUkp2r3G7OMy5zyQVP73CJIgwBR5clb/9amYM7FvZG1A5z7ohyYxOleZn5eKFgcAhHHhdsOeayG+vvVj5oYVHCXoKmnxRLKRl/LKccD2Q0A5ck594DYDb1ZYv8g=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707338872

%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

