From b8b0db70c53f5daa4ebb03e22d1f1ca256a33017 Mon Sep 17 00:00:00 2001
From: Lucie <135951230+lweqx@users.noreply.github.com>
Date: Mon, 12 May 2025 14:49:33 +0200
Subject: [PATCH] coqPackages.coq-elpi: 2.5.0 -> 2.5.2

---
 pkgs/development/coq-modules/coq-elpi/default.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/coq-modules/coq-elpi/default.nix b/pkgs/development/coq-modules/coq-elpi/default.nix
index 0f8a2a0252fb..332dc6344106 100644
--- a/pkgs/development/coq-modules/coq-elpi/default.nix
+++ b/pkgs/development/coq-modules/coq-elpi/default.nix
@@ -72,11 +72,11 @@ let
     defaultVersion = lib.switch coq.coq-version [
       {
         case = "9.0";
-        out = "2.5.0";
+        out = "2.5.2";
       }
       {
         case = "8.20";
-        out = "2.5.0";
+        out = "2.5.2";
       }
       {
         case = "8.19";
@@ -115,6 +115,7 @@ let
         out = "1.6.3_8.11";
       }
     ] null;
+    release."2.5.2".sha256 = "sha256-lLzjPrbVB3rrqox528YiheUb0u89R84Xmrgkn0oplOs=";
     release."2.5.0".sha256 = "sha256-Z5xjO83X/ZoTQlWnVupGXPH3HuJefr57Kv128I0dltg=";
     release."2.4.0".sha256 = "sha256-W2+vVGExLLux8e0nSZESSoMVvrLxhL6dmXkb+JuKiqc=";
     release."2.3.0".sha256 = "sha256-XVOI+s8Qpa7f17+Xq0y7IGPLFeJqo+cDcd3zfMuO7UU=";