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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-79

%DESC%
Utility library for the tamarin prover

%CSIZE%
244199

%ISIZE%
1272587

%SHA256SUM%
158642575206be44688c1cdbf3601ad4698d7a1b430af17e3352aa2699075991

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBWC8ACgkQeGxj8zDXy5LseQ/9H971/aTmwl4krxHa01PcwmN7KkplwhJW2y9XvFSqsNDYzK23PXGqiwaU05qebYnOL0uVySSkY9INR4Cnu2nGOQwxHIypqPt1HphyXuGwN6bPCYqn5P+nAzfyDtVoe7aOsLMY/0I4vYf/DEC8mzYOLXV1NJ9XTkRKBRAuPp++J9wXjq9x/CawJvEjget81QaKBRoKj++F67U+4LGXATDl+ly3PP/ITW0p/QcodIUHW66+KVVkF597NYmhFzp29ZD4PP1VDymOFtn+S+KJQ9QeS5cwQe4ON/xy8Ni5zGXAzYSs43s0tVRVYcZKKvJgRiHj7Dy7VtzXJ7rrL2446h62VkZDNSdblw8JhopMRGDrgBlX0EU49P0OHhz8JwtI/puEHQcBMs+Hqgx9bc2yKkQrvXoDuKmekV047bmkMpyR5VQVPCRWaMUa2g0HI1TbIlpOYoYdDFsgNcOII2r/KUraj2MCf73+75Pb6h6WXdIAsDjWXieIkg+Bb52BMI6GpG+edHWkdfCN0NELLVEYDKMem24dagxxMO7hYsLNZht0Eh5hVL0lTzDfh5ZG4B1XtYIZRsfe6FoIEyhaVgYpG1xXLH5hb/3PTfV8coM4IVE4E/JODrKcQkWvzXPCKzOG5aJcxGHUHpeyVpZNnpjt4iQBhk9Rgn5Bw2mvzQn4zdUA4LA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791055897

%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

