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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-80

%DESC%
Utility library for the tamarin prover

%CSIZE%
257750

%ISIZE%
1436715

%MD5SUM%
f6a2c15072bb9d2cabc3be6796bf3d2b

%SHA256SUM%
899b260df964d74cf2bed96a112f3c6086c91d9e72572cfbbffa02fb8632d23f

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CooACgkQrx0hme8KPM9pfg//S92kX9DXMCGgDk9Jm9VMweO3PGKMDGZvW5qhH5vHS8F2wkt8Pzj+EF1YflAlRe7ZDQwav4qNyXnmCXgZjJf6f4K7HjZddiIr5wyug8mFijf3+VEg0Hb7tgVOozh15kBu5m6psPSd/BjyAG0nbYQ28eM22Q36kaWXm3xDG/N16SViG3wdFd8Ly+wTNIDTKTdsZJ4PlVO27uqj73ZkEzK/aoqZVQ8a+2VnGleNr7ohXVBYDBwZfqTIR9DRFyLW5sS4DRFlCLJTR6nFSWZ0aQDL/Yy6JRfkvL4a5s1Tc36VeWLea/gLX0qe1ikRPwBpcx4FoXOkHhyW6ydwqoD4jmEzJNxhsKnFBfx8OxxVoy1+VkME7XYawXyqZ7kXjJvguEDkTL27MzmEmVTMq8U86jLINikv5GcsGcy3RE+5BzSx0hDPRnC+OsaawUaYAEZcDtEfzqK4ARK71ssg1vcDNDFeCsGLjk60zu+nH2SlOaUJqSOi9s6bA+0aER73JIb8fZqvblHz63EXuEvj31eF9ijO07hLLTtTsHQR982fkakd5cNN4zBh+/NkQcPD9rREvnejasq3VfmuvJ2Fa3FtiiElYLZUIJ5ZdBKb6bWinetilLm78Oem1Xq5GRl2A2kSPUPUl218oqFmVaq5dPl/wvZJHQlhqyEh39j+FJzWOQ4MhBE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685897800

%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

