From 81aca8b2efe3fc8c57cb2bede033b1fa94f8a5fc Mon Sep 17 00:00:00 2001
From: "R. Ryantm" <ryantm-bot@ryantm.com>
Date: Wed, 23 Apr 2025 02:22:43 +0000
Subject: [PATCH] rocqPackages.rocq-elpi: 2.5.0 -> 2.5.1

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

diff --git a/pkgs/development/rocq-modules/rocq-elpi/default.nix b/pkgs/development/rocq-modules/rocq-elpi/default.nix
index 74b02ce3e1e2..a4c97316664a 100644
--- a/pkgs/development/rocq-modules/rocq-elpi/default.nix
+++ b/pkgs/development/rocq-modules/rocq-elpi/default.nix
@@ -31,10 +31,10 @@ let
     defaultVersion = lib.switch rocq-core.rocq-version [
       {
         case = "9.0";
-        out = "2.5.0";
+        out = "2.5.1";
       }
     ] null;
-    release."2.5.0".sha256 = "sha256-Z5xjO83X/ZoTQlWnVupGXPH3HuJefr57Kv128I0dltg=";
+    release."2.5.1".sha256 = "sha256-vw18iPPoI44tM8C05Wj4YvFAi1jjfyjZ90dbxX4NgQM=";
     releaseRev = v: "v${v}";
 
     mlPlugin = true;