diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix
index fa694b632a03..056c8436b82d 100644
--- a/pkgs/development/coq-modules/compcert/default.nix
+++ b/pkgs/development/coq-modules/compcert/default.nix
@@ -40,6 +40,10 @@ let
     defaultVersion =
       with lib.versions;
       lib.switch coq.version [
+        {
+          case = range "8.15" "9.0";
+          out = "3.16";
+        }
         {
           case = range "8.14" "8.20";
           out = "3.15";
@@ -68,6 +72,7 @@ let
       "3.13.1".sha256 = "sha256-ldXbuzVB0Z+UVTd5S4yGSg6oRYiKbXLMmUZcQsJLcns=";
       "3.14".sha256 = "sha256-QXJMpp/BaPiK5okHeo2rcmXENToXKjB51UqljMHTDgw=";
       "3.15".sha256 = "sha256-QFTueGZd0hAWUj+c5GZL/AyNpfN4FuJiIzCICmwRXJ8=";
+      "3.16".sha256 = "sha256-Ep8bcSFs3Cu+lV5qgo89JJU2vh4TTq66Or0c4evo3gM=";
     };
 
     strictDeps = true;
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index f7a41d8a05f4..b219b9aba156 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -227,6 +227,10 @@ let
             version =
               with lib.versions;
               lib.switch self.coq.version [
+                {
+                  case = range "8.19" "8.20";
+                  out = "3.15";
+                }
                 {
                   case = range "8.15" "8.18";
                   out = "3.13.1";