%FILENAME%
haskell-sbv-10.2-73-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.2-73

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

%CSIZE%
4682430

%ISIZE%
32734691

%SHA256SUM%
c57a022b60436e5f9fbd79696dd34b07dc57997c8a256ecc39e4f9cf800bce08

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljpe8ACgkQeGxj8zDXy5K2PhAAnFRpzip9f6UeEkfQPPxB7JKY6i0vbzW04t0JQRHxHSXs5+fbg0XyJ5vAj2QXxtlkA+jkMKtGKhCT58MYdXNgKyEqXRE4yUhU59gRtURyntVimcXS2G8MyYXkj69VC87uv/EE8Kn+XAqEeGrC6z/Q4/mbOKR91wIii2p2juSe/s0TO4rWU2DoJNX1q1+asvHZkDJD28cGKutPT2knZmaEJJKBDHv/73F6E2lPdYYMACZ9r/FdgIu+9R47DBE5yxmE1PjIKJSFCg61CmBHLIhQcAiYYB8GcR/PLNVIglsqmnBd9A5y07ItUfkUMJJCP72zzdG7rI4PkRZdZPPNnFzJuLxdN2l32xmPNz8SPPw3+PJ7An3SbKRVhbmZGGesNGkx1jET0VMQHiS4e8hLYOVR4evfSFED77y+f5GvgjKDnGL5EzYHYtB++XmoYVay3N3DnD7uMwYX2UqH3rS9tjUG3nIqjHJShalXDQCkyzwvrCFkg8NOnrAZKV8hXEzFJw9LuYOf8cBtl+cUzQUSUOWM/wcR6UPYdOoWVjZNBykcjJOCkyZ5kG67ZYax8nFF3by6d8U3QaEDvgeOjFjbRUH5387yjhDUHm6OWj+5OLSOHIwal6Wf6OyQpXZc8lpSiceLH0uycOxP0PTR6KFOwGEEFohXbYdQOPoHSbqbAy1LKyo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1768136630

%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

