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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.2-42

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

%CSIZE%
4860199

%ISIZE%
33864545

%MD5SUM%
72346d6696cd3cfaab4adfa016e244b1

%SHA256SUM%
babb8bfb21bc4b0870b43c51467d9e12a39effd98ec23974384ed7779698c9c0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjBvXIACgkQeGxj8zDXy5KiiRAApbFyRGIrWG30m0GuiBRX6quGuKFChXndagKL6NphaRsb3Fi169KhELUV+dotDcKVkYCCMneX4lGJGEEZr8COyoY2A9pCyts0Eml0J9aHN94g0iox2GLn3EPzoWI8LneDdDYt/PWoounJ3lXnsB5H888flsR2mgwYv65ntdAuA3OnK08NZS1YEYWpIgjElBDYvl0xbtu0D0emxlF2fo/eWf8iZwrOILyLhmUqYRRDNBDw4ZZyweJs4AvhsIF4PI04pq+uhIz4/lesKBQFCMqjJfclaBSfBjzYx456zJpv2BJFDqRsUYC/cydfJ202pQhc9AQPhZXNRrBeXSnhmTcIwZ/Y3MpelVdsWAC3x1J1p9fTbrmB87ytmTypD5PRpXrlijtNz0isIF4rx8G6Vi9qHTbtjhA04caqB2j87R9cMPq7cjbZdHZ9On7yLzOzu8hXozVf8p+EV/tFUWTAaSYVY6vSqq8UKObCCqymX4buTSz/P04n3yC5TpKlmjrY8uHkO2LGPLWBX9s06xoZBtogbQOh7ZCDkKgaplq6BnF9ojkGRr5aMwsg/iaZxYX4SSyUHi8kObmAepgb0TeEb5CBrHDF6yLO4INGj722tKfO1Liun4eOhAL5WaqnU0eu319B3PwCINqAOdMXhIhILkWGxEH5sknePU8Sl2TP/o4q4WE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1757526250

%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

