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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-51

%DESC%
Utility library for the tamarin prover

%CSIZE%
244192

%ISIZE%
1268397

%MD5SUM%
501a3f218b44acbf12331d9b3b9fcfa6

%SHA256SUM%
1abf96c8e85374e651edcf79026750dd0371d3020cda301561709ab9079f47a1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6t5EACgkQeGxj8zDXy5JxTQ//a+tjwyijfRfPsfw680Z5ZJsC0eCf/XssIj40V9YOQTtP8h9NSBX2hF7blDb34Hwb1sh25/1To3H2X2418AF0DPIQhqfXjkyGLfuCHDrKPaghWS6pmKUeSNuFBEbCCwiaktf18+/GSJ3YNadmzjFYPPHYqPq+VyVMVhMYXIjPwM7AK+SSy2P9fggAtcL9A2mOb7yOuysomYVk0H23RTvu5XOggbOpdY057eF6EYIG1MCnUj4EMG9H1XCCak9VX20l9M/mgoKDQH2y4Mp2SiOZMFbktV5jIYPt+KMWOmPLmCKFZ8ZR/CT8XcGr9tQ4B9/F+qsz/ymBZ+YU3raZ9WisX8nY987KZlV/O2JycAjpQXsPWESrU5cWMzOOZs6ucjrN3WY+raAMWHYrhNPc0v7qvT7XTAEuSshlCIpGrJixYoDBotrAtIQovocI7yeVh7fz9m+TAimbJ5KBwu9P1GMw/GIgnDiuLOxOi8w+69/GtYxZryP319htGmw7+LIbZiL7Wkx//iz+1p+5zKTfY/PiAGq1rWx7RToFTdrB1W7BYyMC30uRvElrro5hXzPglE6SE6OhI4p7y73T1rnJ95et9U1uGsD9d5lw58P2cTPwdqP0njRJRzMUpjAgaES7Rbxp4j7lZ2oSiFUkf4BAoG5iqz3kVfl6/3j8ePuPi2YPVa4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782232953

%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

