%FILENAME%
haskell-sbv-10.3-28-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-28

%DESC%
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

%CSIZE%
4840393

%ISIZE%
34461807

%SHA256SUM%
cc9de64a67c98b7839e2e535f927a060aec385bfda5487c220884a3ca68a5312

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozxM8ACgkQeGxj8zDXy5KyaA/+N0XRQDSFXnpWeVV/FkSKsaP72zMUfq3b5KVYUPdIR49aecMIsoal+6ubiFml+gR8GKkQVWWgnfNS5iNvGsT/EepCcOOiGxO+8/4+F/OEJRfoQKYX/l6F4cUYY883xiPHeANkJshN9DSR/OljKc1L+IkpC7qOeBALk+M1ZQUuPjDKmOQ3VkZpIk/GIFbnCH5zg+sZMId4TIiDkk9nPdHrClK7R27cS9taXahMirXmaPGPU0fpGz52waS2k/UH2GoomBVbFf/Umtsa5yYSUuck5Be6oPJ/8+IUQ8MNUbnpqmMnOTRQIm2igSwCXDyuhFU7F/IXW/8NhwyV0kGQi988moQoVCte4Jh3pjNLMHh9Uu9ZXj5O5nRjWJeeqUW6fe/SE9IvETcJlbQikVNpG13dZNrgjHwKpEbURddpmtBP6tLsTiQyAkehNAxIE10stjHOUcZobqv463t2ImXcj207RFori9DMK8U+SDi3w+FDlM7YXYlYY/H9tNWCVhKHe84U6ei1B1lxMU06UlTePz4VpPDrCwKb+H2DtUan2897fnL3BvC8f8xukOGJEMopTXJmBjyhMhMI0K9wTZBVgBRlLGb+MnXz/2lh80w7f1D43/7TyrROxDPUhaQGa1GWpYXKGvs4IGvyLcQUsiU7oEiVyn8DWg9ED8thJSmSo5J1B0U=

%URL%
https://leventerkok.github.io/sbv

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781776321

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-async
haskell-libbf
haskell-random
haskell-syb
haskell-uniplate

%MAKEDEPENDS%
ghc
expac
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

