%FILENAME%
haskell-tamarin-prover-utils-1.10.0-136-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-136

%DESC%
Utility library for the tamarin prover

%CSIZE%
245715

%ISIZE%
1301060

%MD5SUM%
e50b7c00494a280936afdb81af2507c5

%SHA256SUM%
b2410a7d3247b48d8ec0773af838a10aac3724242472cfc1de50ee5765567c23

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoUy8ACgkQeGxj8zDXy5I6oA/9HCXLNHQX8LJhs2gu27rl10xn5Uneu/CIIY844VDnrw9gohFBRpyKeCJ6qwCYpRdlA9SaAdYi8LcRmBemNfiwLJpykXfSzGahSqjM19+kMWUSSoyUWLkULX3vN4or16CifSQFCoBIRRU81olSXHRUQPiyhwytd/Wf7Gufd3ykwMqzaCz73rtzIEclmPm/cSkb5uLCKKa7DOzvUN/ipuG9HdvoHr3D/WI4D2rj+15D1RW6QBkNH+Wpf0jpxOFDW7ZUlxSgJn815ulDnqARhkT1pBTCBC3hnRyC8NZiM6y1RcekLVNr7DkHOI9XZvc9IA86klLqJnZnPphC9quhmmFqKijL2SCSBDZz8IW/no3QQAtTw5lI9zExGvuLfCDaUWq8AyygLPO5x3PEbtUPvyQkbxqoTezzrTPp6+4YTatUnIvWdIYP+kw2o23W1L3ScAMsviCQwPhaIdouzDMh+P/GjX7YL8XSPKawxxbSdolppU3g2KiH/j5v3poPCPn3tdhRT+LTklOOdjE73exAyjnFvNWBZnH7fftdtPFxC59NN5Jy3HPlpXcUPZpTTEDid7duSEUAmaV86ULmA3Cp/RaGtVIbeP5B3Ye5d+fEhSyWg2fmC9aCK6C3vq8HiB83YxuEsKfzbAKnXBI1UU4+MsTdmum0Rd5zxzSOlTnFjIqrNRE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056047

%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

