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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-36

%DESC%
Utility library for the tamarin prover

%CSIZE%
243958

%ISIZE%
1268341

%MD5SUM%
049235a8e883e15788883ff32df7e476

%SHA256SUM%
d35f8fc6976179af54a921e56b52ce85615d039a9f8b11ff31e60d47cbf28a49

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHm1IACgkQeGxj8zDXy5K1JBAAn1oywxhi0y9HbyScaxlo7XRxKXxIDxmgVEYDD+NR9yD4633zzDqZ6LN3orWktukEE0Vg+LTy/03GGQyHEZs/ZH8L2xjGA5b4ZLk1t4zM8nU4YGTpTW5hZlUu8fgSkX+xdYmbvp1PuC2bygb2AGSaa1+cZ7UxOITR9xOba17G/3FfA4xws3YUJKrYjRBwLo8C6JEByu5/ZLlQ5lqUWLK0xoHqYBRtmViDNdbf5U469vUUjK+b3xDKkQK7NqEZIbQCEjqGi4kELsEfGjBW1Cb9amnGU/W/77C3e/NBft9jvoSh0sEgrC3g5g42j4liv9++wyYWnZAFRATDYUkmDeBLrTPQjAOiHGiQ4n2fO238ksQ9q7a5Fbw7zsCfHogWxqsNrJyWdvCP6lQ+PDivW36v+G/9QmajXMPZ9RGnBZeH30w04dzi37m6f0yWe3Wlvqq2dEIc6YozZXZX74oDEoOeW7Z+4SLYUnyUPuWOwe+FBgwvKExlQK+YnBKFiBwi47Z1BmvvxfbAnfUevJqOyMb4mkjUXLZSzCElzyBE+jPYLxv4h+swyzh7koXNQWDV0bORsBWdTMFNact1Rd5agJ3IOuKw38p1pvGTKd4oFC9VIHs+jVZvdwBSI+HRwMJlBokFqw54pyCG+9ezGypXKvoD+2II+M+ldF+3O0fcTE/O/HU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778883382

%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

