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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-47

%DESC%
Utility library for the tamarin prover

%CSIZE%
243657

%ISIZE%
1268467

%SHA256SUM%
89e5d0d96fd5a027ccad1e08d356f2e8cd9cb2da63977f6373d6b6734d640440

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo34MEACgkQeGxj8zDXy5Ka3w//X4dWhx6r5mgmdUoKMMi7abVAabpvODB9K+u+VmEvbSyaDQS1gfXQFC+llTpM/aSkvX6ydQ9iU/7+nHEgU9Kba04/huflKsN8tjvanWGrvlF6BQF3CIoYC/MIBHg6/eXklzBhN3S62K6Q0XI0a0jRwHpe1S9UHd0ERX+IMuvWKs3CnUVHQ6fPUsBYiiS+13pIDdWtaXXdbk98ncwyqsM8Zlpch0W/SfSs5+VGIwwGg+ro9F7vXfVdUdzSD2dNfjWqzdvzRJ1FuuRvpZasSPscnC7WL6h7x23f3pBE8YQdco35ZF9T/fSUttkdl8aTA6YQwVqHwdVNwVM12oIe2VelXIkVa0N72QurFQejHR8PApdUsqMj8XmnTDL23jDYOZLznulfgbq6tj8gf4EKuN+MyKvAxAIoHndudXCtFX/pXqlwflHoBwBV8180EaJ1auMluvo92YjC+OnFpBEctiK+BNxoyD8Y2excHArPRrJx49sWeTZbycVFq0wFHq+hnMT+DPVjGf9D3uBTsxKPMYpmzrCMkspX+aui3VEfywKg8etkUtExpLse90TMoFckt0unsAT74Ejh7EMryxwIWkTOngppUh7UXd12xcLjPmbUFvXxPpYTK0GVIyM5s/4/TDdT9OLuBNXpJUGa3bpY0b7hZtgIoWamdDzi/u5yW57o7b4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782046889

%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

