Cabal revisions of minisat-0.1.3

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

 name:            minisat
 version:         0.1.3
+x-revision: 1
 build-type:      Simple
 cabal-version:   >= 1.10
 Synopsis:        A Haskell bundle of the Minisat SAT solver
 
 library
   default-extensions: ForeignFunctionInterface
-  build-depends:   base >= 3 && < 5, async
+  build-depends:   base >= 3 && < 5, async >= 2.0.0.0
   C-sources:       minisat-c-bindings/minisat.cc
                    minisat/minisat/core/Solver.cc
                    minisat/minisat/simp/SimpSolver.cc