diff --git a/satchmo.cabal b/satchmo.cabal
--- a/satchmo.cabal
+++ b/satchmo.cabal
@@ -1,5 +1,5 @@
 Name:           satchmo
-Version:        1.8.0
+Version:        1.8.1
 
 License:        GPL
 License-file:	gpl-2.0.txt
@@ -13,35 +13,37 @@
 		This package contains functions that construct problems,
                 to solve them, you need package satchmo-backends.
 Category:	Algorithms
-Build-depends:  mtl, process, containers, base >= 3 && <= 4, array, bytestring, directory
-Exposed-modules:
-	Satchmo.Data
+cabal-version:  >= 1.6
+build-type: Simple
+
+Library
+    Build-depends:  mtl, process, containers, base == 4.*, array, bytestring, directory
+    Exposed-modules:
+        Satchmo.Data
         Satchmo.Solve
         Satchmo.Boolean
-	Satchmo.Counting
-	Satchmo.Code
-	Satchmo.Binary
-	Satchmo.Integer
-	Satchmo.Binary.Op.Common
-	Satchmo.Binary.Op.Fixed
-	Satchmo.Binary.Op.Flexible
-	Satchmo.Polynomial
-	Satchmo.Relation
-	Satchmo.Relation.Data
-	Satchmo.Relation.Op
-	Satchmo.Relation.Prop
-	Satchmo.MonadSAT
-	Satchmo.SAT
-	Satchmo.Simple
-	Satchmo.SAT.Weighted
-Other-modules:
-	Satchmo.Binary.Data
-	Satchmo.Integer.Data
+        Satchmo.Counting
+        Satchmo.Code
+        Satchmo.Binary
+        Satchmo.Integer
+        Satchmo.Binary.Op.Common
+        Satchmo.Binary.Op.Fixed
+        Satchmo.Binary.Op.Flexible
+        Satchmo.Polynomial
+        Satchmo.Relation
+        Satchmo.Relation.Data
+        Satchmo.Relation.Op
+        Satchmo.Relation.Prop
+        Satchmo.MonadSAT
+        Satchmo.SAT
+        Satchmo.Simple
+        Satchmo.SAT.Weighted
+    Other-modules:
+        Satchmo.Binary.Data
+        Satchmo.Integer.Data
         Satchmo.Boolean.Op
         Satchmo.Integer.Op
         Satchmo.Boolean.Data
-hs-source-dirs:	.
-extensions: 
-build-type: Simple
-ghc-options: -funbox-strict-fields
-ghc-prof-options: -auto
+    hs-source-dirs:     .
+    extensions: 
+