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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.3-41

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

%CSIZE%
4846976

%ISIZE%
34420594

%SHA256SUM%
c46ea57ce7791e92bf0c4df1f006abcb9fd40d0cb6ce13ec30b15da9636ec020

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/G2UACgkQeGxj8zDXy5KYlQ/9FEja4/ERnRltXO5jDirKvwBz8bziVLMOpFrpPFFS/oklH6Iwl5318hKgtyrVtTCb+KGE+sT5TesW/4WfWfk2ZGRIOnzjlazU7lQZcYxKi2c/ls+XsDtgBCcIunXUja+GqkCxdxtQ7jshLPGuQjTCE7W/Mc6orZU655ccJ1w/pIC1A93U3xGzg5FoUkeZwVCofGIvthSXBMzyiICZkAF08THA0tjOb1cGryOnPjZsspHoewdbMd5FPL4zjXbr88rxl38MVAZE1rGoAq+h6XqNQd4uE71GHPnsZpq/g7y0FUOgkgsgDkJ2WtPejH05p0OzhasTMsV9AXj9fVHuK8nyAKQVzT3MfNPV4CuHq8wDUlrmqHD4LyDiWFUuWSsJ+hc2Qmn8NgoooAd9MKQ3e+f21N8AoIMOaDhUbuNk6nLNzPbogZRhie1E/fx0HimL5SIrqlWL52a7YKJ9c/9a/86VtC0jrtZNo4B4xtA/yy2HLGJNwsQJbN4twOgm1iOlJ+WgC6tdInd5O766tSV6822GV6IZ6VhusK+ecofGCytLKJ+mYkfcUCogB1SuBRxo4fwSyYQueyMGD+Eczgs2PBKmzc3ESh50aOgPGv3zh1Rfn3m3vLyah8gb+OYPjAmnHyjBnYSQG+uzx0uRdTXPqtg+qr0eHmuT9VQnU3CbDkkFtho=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782519637

%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

