%FILENAME%
haskell-sbv-10.4-1-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-1

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

%CSIZE%
4853700

%ISIZE%
34432813

%MD5SUM%
190f3a87b27e98733fb25c17f5f9fccd

%SHA256SUM%
bbcfdf637dcdf5601925150eac0e6ba8d71cb679cdc42befaa1b90a4513712b2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpEvLQACgkQeGxj8zDXy5LaGBAApsLm14hguxeP1khZUp193TBMO4C8qieh9/IlV595PgRnJKi656CKdz64bOMzuyUDTg8l+eF+1be2qyqG3Y37dp5V7tAhzfAIqSGoQSG95sU0ic2u52glF97TNcPGKPgeC6vdyi/JP9iUnlhWRDZcKPL06QjicOvq3elrW16leZXccMVnaETePtKO5UeA7C433XvV91exUWQt2CLg3miUQKE2jZrBKvdUP4YZhQFhJfAkZdlvvpga/iIYogjZqUqLABWnCTQBrazxloO9JfJVwlLsWD1G/hJVPvcTF2mWQ27rkwDA6gDcQYIGPMpb+0antF8MaSTKmhoiVlYgrGVh8LFZvlArEjRFqkXeCk+hN8kukmj0unbPfzhI/TegXQUcbfH5gw8PZ5jsM663lHTxviD+Iuqrcsz8ufyKyDsSuZwn6RFKgMXhk8AOkCxb/4RYyUaQBPgJD6TXUSNSM/tgOZuCUj6vW9dZc8ryEVPZD0uZBV0vkfnuIu5LIi3hzzUWT7klyc3y8cxhfrLbgXIkT1j/TSPGwc3sPiO/Ea1l+q+P9eeDMVYwa0Y/ZL3uHjiKAFlAqihpLCX4jIIi3HoCmrcyrrdTyaXPZ5jPBhGCm6PxfAwoZfCokSuZJ7vHz/+gBbNcSwz/CKjNZiXpSR5Ltpw9mYdia/4JqRG5nSktjbI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782887792

%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

