From c29c39e1e82a62e8843be9c294d60b28491d05e7 Mon Sep 17 00:00:00 2001
From: "R. Ryantm" <ryantm-bot@ryantm.com>
Date: Mon, 1 Sep 2025 23:24:42 +0000
Subject: [PATCH] maude: 3.5 -> 3.5.1

---
 pkgs/by-name/ma/maude/package.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/by-name/ma/maude/package.nix b/pkgs/by-name/ma/maude/package.nix
index 9b7f61d52c81..825d9a72e3ef 100644
--- a/pkgs/by-name/ma/maude/package.nix
+++ b/pkgs/by-name/ma/maude/package.nix
@@ -19,13 +19,13 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "maude";
-  version = "3.5";
+  version = "3.5.1";
 
   src = fetchFromGitHub {
     owner = "maude-lang";
     repo = "Maude";
     tag = "Maude${finalAttrs.version}";
-    hash = "sha256-1no5K3+0N4MCg2Nr+9FgwWH6G9Inwh2MIYuA/auZhys=";
+    hash = "sha256-NluckH48G4Y79exEQM+hB4oMujA2jcHUFgG3qe+9fGw=";
   };
 
   # Always enabled in CVC4 1.8: https://github.com/CVC4/CVC4/pull/4519