diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,6 @@
+2024-07-07
+        * Version bump (3.20). (#522)
+
 2024-05-07
         * Version bump (3.19.1). (#512)
 
diff --git a/copilot-prettyprinter.cabal b/copilot-prettyprinter.cabal
--- a/copilot-prettyprinter.cabal
+++ b/copilot-prettyprinter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-prettyprinter
-version:             3.19.1
+version:             3.20
 synopsis:            A prettyprinter of Copilot Specifications.
 description:
   A prettyprinter of Copilot specifications.
@@ -45,7 +45,7 @@
     base   >= 4.9 && < 5,
     pretty >= 1.0 && < 1.2,
 
-    copilot-core >= 3.19.1 && < 3.20
+    copilot-core >= 3.20 && < 3.21
 
   exposed-modules: