%FILENAME%
haskell-sbv-9.1-31-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.1-31

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

%CSIZE%
5487698

%ISIZE%
38682457

%MD5SUM%
3fa54b5060510ee1af45adb55122a278

%SHA256SUM%
8af2459411770490357af58fedca62aa2c0432ef36eafea7a42ca63de0b41e10

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXL9kgACgkQeGxj8zDXy5IZ4Q//dHRjJKTOvNGpD4yfcHMUDEqtObJsy2OqdMUad07po2YMURjdPH873y2rGJtpm4c499s7sjyyCnEXepmlgPnu8Tt9JMaMwI/9tpssi2WgL24GGYiOK59r+8Hn/jXnEzsrNwvRrb9/9Bhf76gFoATWJ+w//LCupPS8qYc0t8u67yTWFv20DCW/L9ULHFKMvXPSPr72YswKYcBfJm1nm5BQ3BeAX76QLwjqhR4Iz1xnILvN09FaXp9nyOHukqHYWcYzSjjzVYl1/Osx14D9j9TKI2eH6sF/HJczWbt2biZUdv7JGw0IyL2joqshsH9FUXATyI18vYayXUWZzC3ysJUbFfTTnJuD/YoMsHPSVDaWA4j+f4mCNU2r3/UXZsoZWaoupESXcoqfaI1EVtVgVoEn/cxOPec0NJQEuMqoAwtIT7IcvovCXMCcxzO6LcC0RwFIaNyurq2pl7Ma2nrnxP5BOyvF4o/yXi0I5iuyZaL1v6wTvyaVurlOK0DWU0+fHCx27SeTKc/eCsT8psgawg4PO9TXNRCVbq6u+YaiSljXzrX4QoUENdsnSebxwiTBSEIqNDOeRC/eqJrE9fU3sM2WBFkW5VogUm9szNOMfcKNbU3BtdGjsG+3ckPlMst+115DK4mIMg5ejIqSzU8HTxuQpxv1ksNNJLdpIpTCXmu1sUk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707864240

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

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

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

