diff --git a/satchmo-funsat.cabal b/satchmo-funsat.cabal
--- a/satchmo-funsat.cabal
+++ b/satchmo-funsat.cabal
@@ -1,5 +1,5 @@
 Name:           satchmo-funsat
-Version:        1.3
+Version:        1.4
 
 License:        GPL
 License-file:	gpl-2.0.txt
@@ -7,9 +7,10 @@
 Maintainer:	Johannes Waldmann
 Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/
 Synopsis:       funsat driver as backend for satchmo
+Category:	Algorithms
 description:	this driver calls funsat (download from hackage)
 		to solve CNF-SAT constraints produced by satchmo
-Build-depends: satchmo, funsat, parse-dimacs, base, containers, array
+Build-depends: satchmo>=1.4, funsat, parse-dimacs, base, containers, array
 Exposed-modules:
         Satchmo.Solver.Funsat
 hs-source-dirs:	.