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

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.2-72

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

%CSIZE%
4688344

%ISIZE%
32771294

%MD5SUM%
968b4c577efbf2f6860704c3e659d4a6

%SHA256SUM%
39cdb0f81c6fd53bf13ada9175de2cc4b731361778211db6f40cb2ddc7b0b02d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksqiQACgkQeGxj8zDXy5KMKw//XLtNhmbXPa4zeVXAl9ObeBpRGO2DrxwYYAM3MxuvQ0Z22bAwLf8Y3npFVO1dHHzguiy0Hpkmyqe1LqKEEfcF3bf4opUQCvTUzLDdfeYgygD3IivIJWR2sW2Nu1iJkIB0jF5nH4oKeea/lmlI89Z/UkrbADfrgNpcF/rahzlk36xWGOThqqaEmApaqBjKMp+ZUmL3LY4FjOWdW/bFAbE8LzWd/ba9FR4zgqyEMB41p9M2vQSIog6gyTyIXKGG7rpfQAhcx1by+bb/kMuCXDIZhNJ92KyfkQ5w/YCNtag5NCxApF4UejbLIb8UATKIG1FCWUOzMI1ro7s/oDtPm3RH3rkxCxaQe7WrDmQJPk4OUx2/eFmsIkqp2mMjHVoEhmHK+ftjHu/3AXgT2gQo5njlgOz+ZRfPw5Y7FlF/Y9GBUOf//8TX4opfeeumjJ39r1GL88ucUfcgwu1hGjRGA4puPXji3P3BApSt4fMIvhTJZuBN5UbaRVa9pidOtEKT0XrlMIFwn9pw25R2zf3wU50dwZ+ceFOIyFfoewFP5Y6y3aHdWppl6hy4OIWX6sydZI3N1VGwx0nkYevGTYzeGguCr8m+H7txTj64b+QxgEzlEfoYkW8MhLnjOUYyC+wsB2ZZLnJroyf47uC/Uj8i3CFpFRcnKRq7RIg/UmX1nsfUiTA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1764533759

%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

