Cabal revisions of funsat-0.5.2

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

 Name:                funsat Version:             0.5.2+x-revision: 1 Cabal-Version:       >= 1.2 Description:    Library+ build-depends: base <4.8+  Exposed-modules:     Funsat.Solver                       Funsat.Types                       Funsat.Resolution