packages feed

Cabal revisions of minisat-0.1

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

revision 1
 name:            minisat version:         0.1+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   -- On Windows finding the library is harder, so depend on   -- Haskell zlib package which also contains the z library   if os(windows)