Cabal revisions of sbv-8.13

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

  Name        : sbv Version     : 8.13+x-revision: 1 Category    : Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT Synopsis    : SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. Description : Express properties about Haskell programs and automatically prove them using SMT common common-settings    default-language: Haskell2010    ghc-options     : -Wall -O2-   build-depends   : base >= 4.11 && < 5+   build-depends   : base >= 4.11 && < 4.16     if impl(ghc >= 8.10.1)       ghc-options  : -Wunused-packages