diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+        * Relax version constraints on what4. (#716)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
 
diff --git a/copilot-verifier.cabal b/copilot-verifier.cabal
--- a/copilot-verifier.cabal
+++ b/copilot-verifier.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          copilot-verifier
-Version:       4.6.1
+Version:       4.7
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com
 Copyright:     (c) Galois, Inc 2021-2024
@@ -45,9 +45,9 @@
     bv-sized >= 1.0.0 && < 1.1,
     bytestring,
     containers >= 0.5.9.0,
-    copilot-c99 >= 4.6.1 && < 4.7,
-    copilot-core >= 4.6.1 && < 4.7,
-    copilot-theorem >= 4.6.1 && < 4.7,
+    copilot-c99 >= 4.7 && < 4.8,
+    copilot-core >= 4.7 && < 4.8,
+    copilot-theorem >= 4.7 && < 4.8,
     crucible >= 0.7.1 && < 0.8,
     crucible-llvm >= 0.7 && < 0.8,
     crux >= 0.7.1 && < 0.8,
@@ -62,7 +62,7 @@
     text,
     transformers,
     vector,
-    what4 >= 1.6.1 && < 1.7
+    what4 >= 1.6.1 && < 1.8
 
 library
   import: bldflags
@@ -80,10 +80,10 @@
   hs-source-dirs: examples
   build-depends:
     case-insensitive,
-    copilot >= 4.6.1 && < 4.7,
-    copilot-language >= 4.6.1 && < 4.7,
-    copilot-libraries >= 4.6.1 && < 4.7,
-    copilot-prettyprinter >= 4.6.1 && < 4.7,
+    copilot >= 4.7 && < 4.8,
+    copilot-language >= 4.7 && < 4.8,
+    copilot-libraries >= 4.7 && < 4.8,
+    copilot-prettyprinter >= 4.7 && < 4.8,
     copilot-verifier
   exposed-modules:
     Copilot.Verifier.Examples