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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-29

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

%CSIZE%
4845500

%ISIZE%
34420509

%SHA256SUM%
e1643363c20c2ce4f608e61836986d2ab7b7eb40e43dc21ecedc617a31404e8a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0bqYACgkQeGxj8zDXy5LDrBAAnqFwatxf0WUHLbOl+Wr87XK2dCL7eY0Fb4mcth6sqpzZKRi4hwHHvFXCs8sw/ATNRVCCqDPfR65GcJa1531zMKDRgmpyzlyrOa0d1QzXbmRU6g1De8nuOM16P/5oG2vMuGjesTJBZ8yk/puET1yVvJtwA5lY2hl2XIzPWExZdxKuu5wCPDMU1dgXZWADSSSCo20Ovds7ievvD7eYtnE1YhzsYXYAzwYdBPCELop5hd5SWRDORoaiofSX+XB3CCLpQ3o6T0ZwHTgM8Ys680PuEMTKry/WGdc1hp8mlo4m2zPgZEAD7xNwCTnQiQoQ1ck3hchSdkTJHYOvuikC/+wLjeP/czpDOre4RKxBD8ai16VIUfdJ5p+tH/qn8tn88XLC/ucjYwgw7fWecvcyLvdAfYl9FCZq6fpuSI0+LLwzLXE+UMWTb8ro5MuyTEAhm6ktYXwfSSpIebdWky7s/Z3kfm+wS0YtMllUgKx+L5l7LUUvONTb2VSKS5aCNHgFYCuH1mRNK63B3YsWfYJLg3IJscFdpWXybODuUkz6DvGiyYcS/OuF7wGnkKA0dHv6+27k3eF8hy1tIcEeSxhu0OkKmlqnVKmj+C523Mn9YJQvFNvETN5xTAvVd0UqylcTp+B2kUfbKBhfLlNi93MAMwAC3FHBQP7ehz9owUOEKXGaXvI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781820466

%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

