diff --git a/singletons-presburger.cabal b/singletons-presburger.cabal
--- a/singletons-presburger.cabal
+++ b/singletons-presburger.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: b271b824f909f5d2533590977ec2a9e9d107034176402483ca143b699d7d46cd
+-- hash: 23033bfe49a2dac012b73e07213833c1ab32b4713b0a4cc1d4a4b772f8b74f5f
 
 name:           singletons-presburger
-version:        0.3.0.1
+version:        0.4.0.0
 synopsis:       Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
 description:    The @singletons-presburger@ plugin augments GHC type-system with Presburger
                 Arithmetic Solver for Type-level natural numbers, with integration with <https://hackage.haskell.org/package/singletons singletons> package.
@@ -47,7 +47,7 @@
   build-depends:
       base >=4.7 && <5
     , ghc >=7.10 && <8.11
-    , ghc-typelits-presburger
+    , ghc-typelits-presburger >=0.4
     , reflection
     , singletons
   default-language: Haskell2010