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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-40

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

%CSIZE%
4846935

%ISIZE%
34419383

%SHA256SUM%
43a7263017fc81cab8cdc02ae13063aa0ed49eabe53ab71790b3f19fe16905a6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo9xscACgkQeGxj8zDXy5Imlw/+JkGn8aR59pev/8d+b/S4Gctt1yjVJlecrhRxspuk1ZFv7MzDkjcTebHknY5DhRpXb9hw1bpR5fY3sChKQAJ+Sqo8BqFkQHB+B2uPOTSRNdkSUxkwWu89VhZpHFyPThhSy6BY7/kj9DSkgmQsi8JMK9TIhAX1+/W0G2CQH/pd0fdLgF+6cpd/bMySdfo8X7vg/L1R/obGdYXFNoGjcVEk8kvhqFV1BqPY+2kOv9acELYKFr/LhGR8H4oy9+caGKNVvHHNG3J5iwfmKQBri3+xXoKttWOvF8cais+egNlee7QkQJ8TwHQtwTvjNXRHKgkc1Nti/y6N67uZFXoLzpRLnonZK042bGvG8rtf6HIDaTIg2xDYZHi8Kka0w+/v1BmWP1XOBZGJmAG+p6NiBc8utufyIPWLSJP3NcdEbWTsixMBWYAS8kdmpS+Oy1XkC4fec3XLkvr12K5sO2ArvwWXRPsWU94UBkg6p6vzzxr2fyvnytcBvzimEHheB/HdNeP3pWTmxRWOJoQ4iTB2g5cmOYEzsgZADO1w4FdrpeaOgsh/+Kiocu+5HfmGFy5pmcUeboQMjg9NiLXz1JJqzJV7ReLTu9KX4y1Gx7kFCZBrmP9HszDEk9ohF1acYg6m5DjcEqAtfRVK6v6XJy9iYglGs7I/yolZIeTbcIvXmYMy9/A=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782432584

%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

