From fe543c7576ec04e4512f1d8ef8babfd72808f573 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Mon, 23 Feb 2026 09:38:44 +0100
Subject: [PATCH] coqPackages.compcert: fix fmt

---
 .../coq-modules/compcert/default.nix          | 28 ++++++-------------
 1 file changed, 8 insertions(+), 20 deletions(-)

diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix
index fe4f294e81d0..42e51aad93d5 100644
--- a/pkgs/development/coq-modules/compcert/default.nix
+++ b/pkgs/development/coq-modules/compcert/default.nix
@@ -38,28 +38,16 @@ let
     releaseRev = v: "v${v}";
 
     defaultVersion =
+      let
+        case = case: out: { inherit case out; };
+      in
       with lib.versions;
       lib.switch coq.version [
-        {
-          case = range "8.15" "9.1";
-          out = "3.17";
-        }
-        {
-          case = range "8.14" "8.20";
-          out = "3.15";
-        }
-        {
-          case = isEq "8.13";
-          out = "3.10";
-        }
-        {
-          case = isEq "8.12";
-          out = "3.9";
-        }
-        {
-          case = range "8.8" "8.11";
-          out = "3.8";
-        }
+        (case (range "8.15" "9.1") "3.17")
+        (case (range "8.14" "8.20") "3.15")
+        (case (isEq "8.13") "3.10")
+        (case (isEq "8.12") "3.9")
+        (case (range "8.8" "8.11") "3.8")
       ] null;
 
     release = {