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)