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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-37

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

%CSIZE%
4845453

%ISIZE%
34420436

%SHA256SUM%
163b63aef62b024ae302181083e3e730d75a34b5aef748d3e662bdb19642dd67

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo659MACgkQeGxj8zDXy5KXVw//aRJizmbW/w/e4AWiqLLi7sJV6eOZTCfymO61jqpd5PLUpwWalSV0CIiKU6XR4q2wEBY9Bs92peUjMdnm0pyT8efAurBgTlbzIaI1a8Fty6h0KlK1d6mUy+N+vx+XgGYL8SB5CATyyeADdHJSPVTg4l/X6jf6f9CTpMZkKa8EzSyCloH24yOY/agPMM8vqtZP/6NI53hrEvZ7ozDfNhthGNszZMs4Tlr8Pjxzy2+oPGsUgv6d6+ixmNAvYo9Y+LoycvUg+kNGIoqlf077WRM7APiQPH0x75UchIi07PhtXmoNQhp7Q9U9rAdfs5PIdsRFg+fDtWNaHs13SNqqkFPkxoiYBl0AxTchQqYaWatrcJLRVc9TKIpSPfv1Xm9vkb4+TD9FbznCUIq6hpy+NyV2T/ordqy6q8zu1szkUgRZRqTn41icY69pnNRNKoxj+97iVMSWrgVHDMcwIDoMTPpBTF671kT7XrOo7adapuGS0tSxJw0vy6R944fVTlAYFDQdwka0LG8X2rQcCpgPi5YnvbH5KbDGiAaLRuKlGDmnmNvactdoXl9yWprwbHbvBYFY8Nk4VSIhEmex5BifkQg0VeSdGdkrZPocZDzetmz2ukAg9zxknWcWVwQ6x8/qSfG4tfpRwezva43C08k8psk6jBHxshFDM7qZZQDSFo/CP0E=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782244272

%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

