Cabal revisions of Hsmtlib-0.2.0.6

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

 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
 version:             0.2.0.6
+x-revision: 1
 
 -- A short (one-line) description of the package.
 synopsis:            Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
 description:         
   Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2.
 
-  The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, Z3.
+  The current suported solvers are Cvc4, MathSat, Z3.
   Additional solvers can be used if they are SMT-LIB 2 compliant. 
 
   More information and tutorials can be found in <https://github.com/MfesGA/Hsmtlib>