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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-32

%DESC%
Utility library for the tamarin prover

%CSIZE%
243701

%ISIZE%
1268431

%SHA256SUM%
1c6dc7efae8c1b98d7818cb64918ea2ba83df18e23fb27070736c853ba6242f7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoBexMACgkQeGxj8zDXy5LW4Q//RlYKpscTJJNgBA8p4grqlUGDWqeeJ8hgljtI10YvEoW8vVwEr0dWejRwx/Q1cyJadDBvMiN8LoxUoZgQgvjPTDGXHQCPcooAxhDA9Bv5Ion1X2uI34LAa8iw9mrs32LZI38ZapsEpnhlMDaBWNgnL/TuIGddnJ0TBKxsTjp6pz74nOYH1xtknHuBQquvEUkkHTFrG3tkF7pQ06CDc6pyp/12QHH+FRMOMxljkAK8qMd2ixn8RjEfgnfkeF9sRh5R3DiN6Y+wKYbkEck4d6On6cY/UrFEJP/xZ0rCL/9XOtPLe9OpurEOW3CLDK/KvbVgqrc1P4Y0TYOJojBiGN4x4ZT+xofk215TiEwxvtzh0alGuB+JKRxytNog3AntWEi5o8xOoWyrp0d9R3g14vlB+9bDFmUIpqrXYt462M1Gipz83xoNoFZcz51VlSQlASqZKaTr+nRLfUCP+FanvdPS4H6gEZmu8YyLtSJke2imz+kwRd2ruY0ckEvWMNJyO89/an5eF/z9tPU08MOPMlLNQkR3OAdpB2JdLj2nBgqtlEqABOcF3WjUV20aUlcozvHROzb2XqvLev8cjrDw2OQ29aJFkk3NI3r+hMvG8xWAFJEngvfiZunuYXEht75HlCj811jFefywtNKoSsspjpKshaYwkKOEnuUZITxS62+F9vs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778481926

%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

