%FILENAME%
haskell-sbv-10.5-4-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.5-4

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

%CSIZE%
4845076

%ISIZE%
34441766

%SHA256SUM%
e088376cc792a6dcb74b95fa0c0a3ed9119d10e448653aaaf7861e7702df1f9b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCSo0ACgkQeGxj8zDXy5IkehAAp74ovSyZyN+XEFYQKFzEmqCP7XPS3giH1aH26hljZk/mwWXBmChikqNxIoj2q9YLEcvC/WdHUy4WckQfmLBb3hhwAnPPCYMkTsCecZcruOXBaN6vomQQOvE7MInr+RDei3gT9d14LfuUTBJZxkOq/0Aoin+0E37BKKt9i1aYcv8TkZZ/jPJMSNoMpHWiaUNfwoqjdNKMYifPhQgNjkegtwPtCCdGSRH10QDcx2DFQ7kt3/KvTw+XJS4sSaN8IcO1BEFeH+W4Q14hzDA2AT5WyHPqEWXx0kvbjrURd4DRHeAN2cg5o0pX6P9wyOu1Z6gc3uxqu6VKIe+QduqNXB3UyAuZ1swTX9xBuM2zJVSB8SGEEp24C9APwb/lSdnXmqcJAfUhIAzGmUZ3wvYx00GYZqWqWRI5Y+3t1auRy8zkRXLzeQxhH3CWClNgtt/8S6q+hBj0AnlWqZBJ24clxtiY2vnAS3sUCNucTq5zmmbU78kywBzN13nnP7jEJtkTWx+OeD3Ie8e3zitmdUIqaw2vjVo41k7NHiUUTLFzFg9U1u9JXNCJG4G/N+m+col1j5koAV/R8N4BDTacxx7dAo6F813Cp4BBp44W52K8lhAichl/9pGfaxgHjLqELOdEUlyyvZv03O4rtyG22MRUL1fQMZqLSxKZyuUvS+Lc3k/N+60=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791117324

%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

