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.4
+version:             0.5
 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.13,
                        containers >=0.5 && <0.7,
-                       expressions >=0.4 && <0.5,
+                       expressions >=0.5 && <0.6,
                        singletons >=2.2 && <2.6,
                        transformers >=0.5.2 && <0.6,
                        list-t >=1.0 && <1.1,