From e66d69205b4710aeb207e1d586cd1dbb38ab0c55 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 11 Sep 2025 07:29:45 +0200
Subject: [PATCH] =?UTF-8?q?compcert:=203.15=20=E2=86=92=203.16?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pkgs/development/coq-modules/compcert/default.nix | 5 +++++
 pkgs/top-level/coq-packages.nix                   | 4 ++++
 2 files changed, 9 insertions(+)

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";