diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for expressions-z3
 
+## 0.2
+
+* Bump dependencies
+
 ## 0.1.6
 
 * Bump dependencies
diff --git a/expressions-z3.cabal b/expressions-z3.cabal
--- a/expressions-z3.cabal
+++ b/expressions-z3.cabal
@@ -1,5 +1,5 @@
 name:                expressions-z3
-version:             0.1.6
+version:             0.2
 synopsis:            Encode and Decode expressions from Z3 ASTs
 description:
   A simple interface for converting expressions back and forth between pure
@@ -64,7 +64,7 @@
   exposed-modules:     Data.Expression.Z3
   build-depends:       base >=4.9 && <4.12,
                        containers >=0.5 && <0.7,
-                       expressions >=0.1.7 && <0.2,
+                       expressions >=0.1.7 && <0.3,
                        singletons >=2.2 && <2.5,
                        transformers >=0.5.2 && <0.6,
                        list-t >=1.0 && <1.1,