Cabal revisions of minisat-0.1.2

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

 name:            minisat version:         0.1.2+x-revision: 1 build-type:      Simple cabal-version:   >= 1.6 Synopsis:        A Haskell bundle of the Minisat SAT solver  library   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