From f771f20b231bd72d17d17c5b8ad558bc30153ae5 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Thu, 16 Jul 2026 11:34:31 +0200
Subject: [PATCH] coqPackages.smtcoq: improve formatting

---
 .../coq-modules/smtcoq/default.nix            | 34 +++----------------
 1 file changed, 5 insertions(+), 29 deletions(-)

diff --git a/pkgs/development/coq-modules/smtcoq/default.nix b/pkgs/development/coq-modules/smtcoq/default.nix
index 8ffe698cea6f..032b02af9416 100644
--- a/pkgs/development/coq-modules/smtcoq/default.nix
+++ b/pkgs/development/coq-modules/smtcoq/default.nix
@@ -43,36 +43,12 @@ mkCoqDerivation {
 
   inherit version;
   defaultVersion =
+    let
+      case = case: out: { inherit case out; };
+    in
     with lib.versions;
-    lib.switch coq.version [
-      {
-        case = isEq "8.19";
-        out = "SMTCoq-2.2+8.19";
-      }
-      {
-        case = isEq "8.18";
-        out = "SMTCoq-2.2+8.18";
-      }
-      {
-        case = isEq "8.17";
-        out = "SMTCoq-2.2+8.17";
-      }
-      {
-        case = isEq "8.16";
-        out = "SMTCoq-2.2+8.16";
-      }
-      {
-        case = isEq "8.15";
-        out = "SMTCoq-2.2+8.15";
-      }
-      {
-        case = isEq "8.14";
-        out = "SMTCoq-2.2+8.14";
-      }
-      {
-        case = isEq "8.13";
-        out = "SMTCoq-2.2+8.13";
-      }
+    lib.switch coq.coq-version [
+      (case (range "8.13" "8.19") "SMTCoq-2.2+${coq.coq-version}")
     ] null;
 
   propagatedBuildInputs = [