diff --git a/satchmo.cabal b/satchmo.cabal
--- a/satchmo.cabal
+++ b/satchmo.cabal
@@ -1,11 +1,10 @@
 Name:           satchmo
-Version:        1.1
+Version:        1.1.1
 License:        GPL
 License-file:	gpl-2.0.txt
 Author:         Johannes Waldmann
 Maintainer:	Johannes Waldmann
 Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/
-Category:       Testing
 Synopsis:       SAT encoding monad
 description:	Encoding for boolean and integral constraints into CNF-SAT.
 		The encoder is provided as a State monad (hence the "mo" in "satchmo").