diff --git a/holmes.cabal b/holmes.cabal
--- a/holmes.cabal
+++ b/holmes.cabal
@@ -11,7 +11,7 @@
 name:               holmes
 description:        A reference library for constraint-solving with propagators and CDCL.
 synopsis:           Tools and combinators for solving constraint problems.
-version:            0.1.0.0
+version:            0.1.0.1
 
 library
   exposed-modules: Control.Monad.Cell.Class
@@ -37,7 +37,7 @@
                , Data.JoinSemilattice.Class.Zipping
                , Data.CDCL
 
-  build-depends: base >=4.13 && < 4.14
+  build-depends: base >= 4.12 && < 4.14
                , hashable >= 1.3 && < 1.4
                , hedgehog >= 1.0 && < 1.1
                , logict >= 0.7 && < 0.8