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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-31

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

%CSIZE%
4849760

%ISIZE%
34461290

%SHA256SUM%
62c9be1c5221993c9d605bf807eddc14efd1f4d9fb5111a8783faa10eef51adc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1gTgACgkQeGxj8zDXy5I6dxAAmhjptM0XIbjsxcSKMgEguClv6Z6jjIOCe1y5DjTViek+Mi7y1CMzEObtUkk8EAsX/DlYBDc5ACHKTbrws21gONtv/jI4nwy8tg7Tm3lvOAUpkz364Dx6EYq5HL4B8KrYkP3616WECUOPaArRonddcOojAXZYLpFusrSHMtDKBRYaI7ZNrNnITJ5jy/l364fE9GsZilISdwOIJIsGesgV3D0dOr6qnbyGBEstaftfhKhQJKayapdq4ieOed86GuV8wKToTvNP1IMvs7W3ooOCNgz+WSfZyfk2Z5rQUb2E/aa6PwZFi/qwX2B5hYOaOJWPpaQpOKFMxpIuW7VeHPIH/P2UsHPGhkBOZxdKHCPuQ0hz/x+8yee+5bQ2MgTJ028ZvZ2xFdK8E+6u+9NBeGoReMONRt5i7NuBIAb1RG8DFKOCT436P5o/XTYKQBzCEQYUH11yMIHZMY+t/xnmDf+8TUABtSaB8EdUwlumxfCIoySwSjzi1N36x7aRug0yn0fXWSPGYaPUgoTGBFXxIyV9hX56lJHI/qYsF0IPERArrjYfJBBEedAuhv9uuIQ/txD4z6/GffIwmTpxn2X+EeYvsc2Nvy0OECbAYQUsyEa/LxpE2TKFPIWpKTllv/PivvHMtj4xpjBu0O2EeBZKf5RddODhEaLfbRBRmnsfGDpRd58=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781890370

%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

