diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,35 +1,45 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+        * Include `copilot-bluespec` in mainline `copilot` repo. (#623)
+
 2025-05-08
-        * Version bump (4.4). (#43)
+        * Version bump (4.4). (copilot-bluespec#43)
 
 2025-05-05
-        * Version bump (4.3.1). (#41)
-        * Move Copilot.Compile.Bluespec.External out of shared directory. (#36)
-        * Allow building with filepath-1.5.*. (#39)
+        * Version bump (4.3.1). (copilot-bluespec#41)
+        * Move Copilot.Compile.Bluespec.External out of shared directory.
+          (copilot-bluespec#36)
+        * Allow building with filepath-1.5.*. (copilot-bluespec#39)
 
 2025-03-10
-        * Version bump (4.3). (#34)
+        * Version bump (4.3). (copilot-bluespec#34)
 
 2025-01-20
-        * Version bump (4.2). (#31)
-        * Implement missing floating-point operations. (#28)
-        * Allow using same trigger name in multiple declarations. (#30)
+        * Version bump (4.2). (copilot-bluespec#31)
+        * Implement missing floating-point operations. (copilot-bluespec#28)
+        * Allow using same trigger name in multiple declarations.
+          (copilot-bluespec#30)
 
 2024-11-08
-        * Version bump (4.1). (#25)
+        * Version bump (4.1). (copilot-bluespec#25)
 
 2024-09-09
-        * Version bump (4.0). (#23)
-        * Support translating Copilot array updates to Bluespec. (#19)
+        * Version bump (4.0). (copilot-bluespec#23)
+        * Support translating Copilot array updates to Bluespec.
+          (copilot-bluespec#19)
 
 2024-08-03
-        * Test GHC 9.4 through 9.8. (#20)
+        * Test GHC 9.4 through 9.8. (copilot-bluespec#20)
 
 2024-07-11
-        * Version bump (3.20). (#11)
-        * Support translating Copilot struct updates to Bluespec (#10).
-        * Fix a bug in the translation of the signum function. (#14)
-        * Fix a bug in the translation of floating-point comparisons. (#15)
+        * Version bump (3.20). (copilot-bluespec#11)
+        * Support translating Copilot struct updates to Bluespec.
+          (copilot-bluespec#10)
+        * Fix a bug in the translation of the signum function.
+          (copilot-bluespec#14)
+        * Fix a bug in the translation of floating-point comparisons.
+          (copilot-bluespec#15)
 
 2024-03-08
-        * Version bump (3.19). (#5)
+        * Version bump (3.19). (copilot-bluespec#5)
         * Create new library for Bluespec backend.
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.4
+version                   : 4.5
 synopsis                  : A compiler for Copilot targeting FPGAs.
 description               :
   This package is a back-end from Copilot to FPGAs in Bluespec.
@@ -44,7 +44,7 @@
                           , filepath          >= 1.4    && < 1.6
                           , pretty            >= 1.1.2  && < 1.2
 
-                          , copilot-core      >= 4.4    && < 4.5
+                          , copilot-core      >= 4.5    && < 4.6
                           , language-bluespec >= 0.1    && < 0.2
 
   exposed-modules         : Copilot.Compile.Bluespec