From 17e8a70e529d9e51c4a7ec57f30b755d6b9549b5 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Fri, 21 Apr 2023 11:13:20 +0200
Subject: [PATCH] maude: update from version 3.3 to 3.3.1

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

diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix
index 8c733b45b6e2..3a9343c26be8 100644
--- a/pkgs/development/interpreters/maude/default.nix
+++ b/pkgs/development/interpreters/maude/default.nix
@@ -4,7 +4,7 @@
 
 let
 
-  version = "3.3";
+  version = "3.3.1";
 
   fullMaude = fetchurl {
     url = "https://maude.cs.illinois.edu/w/images/b/bc/Full-Maude-3.2.1.zip";
@@ -19,7 +19,7 @@ stdenv.mkDerivation {
 
   src = fetchurl {
     url = "https://github.com/SRI-CSL/Maude/archive/refs/tags/Maude${version}.tar.gz";
-    sha256 = "aebf21523ba7999b4594e315d49b92c5feaef7ca5d176e2e62a8ee1b901380c6";
+    sha256 = "ueM8qi3fLogWT8bA+ZyBnd9Zr9oOKuoiu2YpG6o5J1E=";
   };
 
   nativeBuildInputs = [ flex bison unzip makeWrapper ];