%FILENAME%
haskell-sbv-8.16-45-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
8.16-45

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

%CSIZE%
5366464

%ISIZE%
37680308

%MD5SUM%
f89f177a25c707bc857cc7e6205cfbaf

%SHA256SUM%
9dfed85aba8d09186ab68f81ea04a29793042d2cf81b931f011ce7dba6f6f68d

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHxYpMACgkQeGxj8zDXy5Lhtw//WP3mcBHVomudpo/fUlJ6+bm326kVsa/lbfgDxn2/3qBYaeBpwgeaFtTqSDdNu0DlzoJT3BQRlgcdk/NZRzZEHppVR060TYUvUD7qWXrVh28A2I3qUizGvBtmPSzx5bZvygddhNvXzTyuiWBWRJo7rhXCRwO5a9UCXA/+uWzv/7NB2DgX5KZ7fUjXKKABKxgkgJTsQmznCyrp0WQQhGWE8q/adIzWJICbsMhIwz5Vio8UKk0dbZfzKO4bi6jwR06lhUG5SdpWskWLtloqUdYt2xIzl4+a/bmm8Dl2gUv+rmSVOXcQknRr4JGD9aTabS0DUxQRB8DLQp6x3qH4z+0doEOtl6xUicK5LVzntPVqYSaVY7SvWKF4wFe6+0GMNHnxq1xbitD9nPZ9+L4paJBT2Z5uNYZV3saiJpVR4SGPXatZIXfD3XQS6nvlVbyAE3BS8o/23X84cNwKgo6MduVSCtx+NaGXSYUM59Ltm8m99VU9aOyvrz2oplEcUoiby0bmUYfbFHwwfz469DYz4xwsxo6E9AmVNlT/Hq+c79XKPFx20ds4DBqqEjK2uEIaXg22KRrE5zmVJUWq9rhkmmvyg692Ac64EIQi3Bqytp4YKEyvD7uBhbjnhBtD2bAKp3izttPR+LdeQ8K9Pgz25tVf8gRnBj+v/AeqNZxCFFFNRh8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1643208995

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-async
haskell-libbf
haskell-random
haskell-syb
haskell-uniplate

%MAKEDEPENDS%
ghc
haskell-doctest
haskell-glob
hlint
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

