diff --git a/presburger.cabal b/presburger.cabal
--- a/presburger.cabal
+++ b/presburger.cabal
@@ -1,5 +1,5 @@
 Name:           presburger
-Version:        1.3
+Version:        1.3.1
 License:        BSD3
 License-file:   LICENSE
 Author:         Iavor S. Diatchki
@@ -28,5 +28,5 @@
   type: exitcode-stdio-1.0
   hs-source-dirs: tests
   main-is: qc.hs
-  build-depends: base, presburger == 1.2, QuickCheck
+  build-depends: base, presburger == 1.3.1, QuickCheck