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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.4-7

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

%CSIZE%
4845693

%ISIZE%
34519452

%SHA256SUM%
09873c494bd55c069c24c7280244e9439496be64dd8ba4712b457170689ff03c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdayoACgkQeGxj8zDXy5JBOQ/+NauhR117Xn1nIf8tPljWg3otLZ9O6LlhdJtggFF8qJBFOWh8mkM3NDjHFt7qUuHIk4ptIBSr93NsTpL+gw4Kiix3RX7FKfmsJ3rfpb/v/siKR20wsNl4gYzKEcdhZzJWehBBrxndO93qc/yRIThr41cUhcn/xCCDlCLvf7UgRan2ApSFuBVNSRIRKnLomK133plLC9Xd9Wo91NZv+qApLuHvz4Gi/NQLz778szNU7FLAbdvsGNr+vf8Yh/6ws0fyubZ1gZzQo4+6szOWnV1MzjSZbV6naYOcF65yO0o0HQ3W2HabpDo2mV7eCw5wbNhg2i+wkFc9+pQahwIgD010z4XhkdHR7/dMq8pvUbiLrzWxMMJ6AjHNIPVJSKKJ3ewHFhNQEeeBpqWF9GV+sJmhtijLLuXydBWNkeKWOR+nQK8dzC7ZJQni8OBWJBUcBDiexA8bRoJPXKYXTRUVRVXruVWy0gcDt9Srvq2Wn73wMU+n299CXV9tsaZNBTXkSqImWh/O/VZsEi0UlYUxJpY0Kehrkoh7NfGcrzqT0KIMYO7c5IID72Ztdf4xz1W25599PxJyIc3ZuPldyrEGP4c3Zh3KzrSw1h9nJo2lZe7vV2TLfongMVBRJ48XGVxs4kLDrBm89QeEDZYLDT4f0quQ1rrt2/OVtglY8BO4AARs+ro=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788699956

%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

