From 4f6ebaa6cd82d54638f5954bafe5ff5312284e34 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 14 Jan 2025 13:01:33 +0100
Subject: [PATCH] =?UTF-8?q?coqPackages.paco:=204.2.0=20=E2=86=92=204.2.2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../development/coq-modules/ITree/default.nix | 12 +++------
 pkgs/development/coq-modules/paco/default.nix | 26 +++++--------------
 2 files changed, 10 insertions(+), 28 deletions(-)

diff --git a/pkgs/development/coq-modules/ITree/default.nix b/pkgs/development/coq-modules/ITree/default.nix
index b827c06ef2c8..218d7e2f3be8 100644
--- a/pkgs/development/coq-modules/ITree/default.nix
+++ b/pkgs/development/coq-modules/ITree/default.nix
@@ -14,15 +14,11 @@ mkCoqDerivation rec {
   defaultVersion =
     with lib.versions;
     lib.switch coq.version [
-      {
-        case = range "8.13" "8.20";
-        out = "5.2.0";
-      }
-      {
-        case = range "8.10" "8.16";
-        out = "4.0.0";
-      }
+      { case = range "8.13" "8.20"; out = "5.2.0+20241009"; }
+      { case = range "8.10" "8.16"; out = "4.0.0"; }
     ] null;
+  release."5.2.0+20241009".sha256 = "sha256-eg47YgnIonCq7XOUgh9uzoKsuFCvsOSTZhgFLNNcPD0=";
+  release."5.2.0+20241009".rev = "abd1c7d3935cf03f02bf90e028e6cd3d3dce7713";
   release."5.2.0".sha256 = "sha256-rKLz7ekZf/9xcQefBRsAdULmk81olzQ1W28y61vCDsY=";
   release."5.1.2".sha256 = "sha256-uKJIjNXGWl0YS0WH52Rnr9Jz98Eo2k0X0qWB9hUYJMk=";
   release."5.1.1".sha256 = "sha256-VlmPNwaGkdWrH7Z6DGXRosGtjuuQ+FBiGcadN2Hg5pY=";
diff --git a/pkgs/development/coq-modules/paco/default.nix b/pkgs/development/coq-modules/paco/default.nix
index 7f704a267969..d4e95619c4ad 100644
--- a/pkgs/development/coq-modules/paco/default.nix
+++ b/pkgs/development/coq-modules/paco/default.nix
@@ -13,27 +13,13 @@ mkCoqDerivation {
   defaultVersion =
     with lib.versions;
     lib.switch coq.coq-version [
-      {
-        case = range "8.13" "8.20";
-        out = "4.2.0";
-      }
-      {
-        case = range "8.12" "8.17";
-        out = "4.1.2";
-      }
-      {
-        case = range "8.9" "8.13";
-        out = "4.1.1";
-      }
-      {
-        case = range "8.6" "8.13";
-        out = "4.0.2";
-      }
-      {
-        case = isEq "8.5";
-        out = "1.2.8";
-      }
+      { case = range "8.13" "8.20"; out = "4.2.2"; }
+      { case = range "8.12" "8.17"; out = "4.1.2"; }
+      { case = range "8.9" "8.13"; out = "4.1.1"; }
+      { case = range "8.6" "8.13"; out = "4.0.2"; }
+      { case = isEq "8.5"; out = "1.2.8"; }
     ] null;
+  release."4.2.2".sha256 = "sha256-qr6o45Q90FK+kkBUJ+W7QhiA0YQRb1RUwwXUpTTFt8A=";
   release."4.2.0".sha256 = "sha256-YHYtiz9hium96n3owL/C99AjJAFTlTCmmb2+ttevgMY=";
   release."4.1.2".sha256 = "sha256:1l8mwakqp4wnppsldl8wp2j24h1jvadnvrsgf35xnvdyygypjp2v";
   release."4.1.1".sha256 = "1qap8cyv649lr1s11r7h5jzdjd4hsna8kph15qy5fw24h5nx6byy";