diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
index 415278df..16c4d1a3 100644
--- a/copilot-c99/CHANGELOG
+++ b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2022-10-31
+2022-11-07
+        * Version bump (3.12). (#389)
         * Removed deprecated flag from cabal file. (#380)
         * Generate type declarations in separate header file. (#373)
 
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
index f896b62e..678571e5 100644
--- a/copilot-core/CHANGELOG
+++ b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2022-11-02
+2022-11-07
+        * Version bump (3.12). (#389)
         * Deprecate Copilot.Core.PrettyPrinter. (#383)
         * Replace uses of Copilot.Core.Type.Equality with definitions from
           base:Data.Type.Equality; deprecate Copilot.Core.Type.Equality. (#379)
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
index 36b857c5..45f73df8 100644
--- a/copilot-interpreter/CHANGELOG
+++ b/copilot-interpreter/CHANGELOG
@@ -1,4 +1,5 @@
-2022-10-21
+2022-11-07
+        * Version bump (3.12). (#389)
         * Use pretty-printer from copilot-prettyprinter. (#383)
 
 2022-09-07
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
index d0d810b0..16b831c2 100644
--- a/copilot-language/CHANGELOG
+++ b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
-2022-10-21
+2022-11-07
+        * Version bump (3.12). (#389)
         * Use pretty-printer from copilot-prettyprinter. (#383)
 
 2022-09-07
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
index 48ff3a2c..e5b301ab 100644
--- a/copilot-libraries/CHANGELOG
+++ b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2022-11-07
+        * Version bump (3.12). (#389)
+
 2022-09-07
         * Version bump (3.11). (#376)
 
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
index 2cb7160a..03eaa0fa 100644
--- a/copilot-prettyprinter/CHANGELOG
+++ b/copilot-prettyprinter/CHANGELOG
@@ -1,2 +1,3 @@
-2022-10-21
+2022-11-07
+        * Version bump (3.12). (#389)
         * Create new library for pretty-printer. (#383)
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
index d3dfa299..c88d3e0b 100644
--- a/copilot-theorem/CHANGELOG
+++ b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2022-11-02
+2022-11-07
+        * Version bump (3.12). (#389)
         * Add functionality for bisimulation proofs of Copilot specifications. (#363)
         * Use pretty-printer from copilot-prettyprinter. (#383)
         * Replace uses of Copilot.Core.Type.Equality with definitions from
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
index 1677ec34..dd4925c0 100644
--- a/copilot/CHANGELOG
+++ b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2022-11-07
+        * Version bump (3.12). (#389)
+
 2022-09-07
         * Version bump (3.11). (#376)