From 263dc0c329c55980df9de0cfae9510b21ac4b942 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20Kr=C3=A4uter?= <tim.kraeuterr@gmail.com>
Date: Sat, 3 Aug 2024 15:27:02 +0200
Subject: [PATCH] maude: 3.3.1 -> 3.4

---
 pkgs/development/interpreters/maude/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix
index 667c797cd093..2050760adaf6 100644
--- a/pkgs/development/interpreters/maude/default.nix
+++ b/pkgs/development/interpreters/maude/default.nix
@@ -5,7 +5,7 @@
 }:
 
 let
-  version = "3.3.1";
+  version = "3.4";
 in
 
 stdenv.mkDerivation {
@@ -13,8 +13,8 @@ stdenv.mkDerivation {
   inherit version;
 
   src = fetchurl {
-    url = "https://github.com/SRI-CSL/Maude/archive/refs/tags/Maude${version}.tar.gz";
-    sha256 = "ueM8qi3fLogWT8bA+ZyBnd9Zr9oOKuoiu2YpG6o5J1E=";
+    url = "https://github.com/maude-lang/Maude/archive/refs/tags/Maude${version}.tar.gz";
+    sha256 = "IXWEWAmh388NpNSt9wnOpLkzhZ09N+AStO2wn5dRT8o=";
   };
 
   nativeBuildInputs = [ flex bison unzip makeWrapper ];