diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
         * Disable test suite via newly added manual cabal flag. (#673)
diff --git a/copilot-bluespec.cabal b/copilot-bluespec.cabal
--- a/copilot-bluespec.cabal
+++ b/copilot-bluespec.cabal
@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-bluespec
-version                   : 4.6.1
+version                   : 4.7
 synopsis                  : A compiler for Copilot targeting FPGAs.
 description               :
   This package is a back-end from Copilot to FPGAs in Bluespec.
@@ -51,8 +51,8 @@
                           , ieee754           >= 0.8.0  && < 0.9
                           , pretty            >= 1.1.2  && < 1.2
 
-                          , copilot-core      >= 4.6.1 && < 4.7
-                          , language-bluespec >= 0.1   && < 0.2
+                          , copilot-core      >= 4.7 && < 4.8
+                          , language-bluespec >= 0.1 && < 0.2
 
   exposed-modules         : Copilot.Compile.Bluespec