maude: 3.3.1 -> 3.4

Author: timKraeuter

pkgs/development/interpreters/maude/default.nix

@@ -5,16 +5,16 @@
 }:
 
 let
-  version = "3.3.1";
+  version = "3.4";
 in
 
 stdenv.mkDerivation {
   pname = "maude";
   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 ];