diff --git a/copilot.cabal b/copilot.cabal
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             2.0.9
+version:             2.1.0
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -40,7 +40,7 @@
                        base >= 4.0 && <5
                      , copilot-core >= 0.2.3
                      , copilot-language >= 0.4
-                     , copilot-libraries
+                     , copilot-libraries >= 0.4
                      , copilot-cbmc
     exposed-modules: Language.Copilot