From 25a9e7392456b54efd55b1ab42ab879ed4fd4fc0 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Tue, 17 Feb 2009 12:51:04 +0000
Subject: [PATCH] Updated SHA256 hash for Full Maude 2.4. Unfortunately, the
 maintainers have the habit of releasing updates under the exact same file
 name and URL.

svn path=/nixpkgs/trunk/; revision=14094
---
 pkgs/development/interpreters/maude/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix
index 59a51c5681c6..d53c02b31f69 100644
--- a/pkgs/development/interpreters/maude/default.nix
+++ b/pkgs/development/interpreters/maude/default.nix
@@ -13,7 +13,7 @@ stdenv.mkDerivation rec {
   };
   fullMaude = fetchurl {
     url = "http://maude.cs.uiuc.edu/download/current/FM2.4/full-maude24.maude";
-    sha256 = "0fwpnp5a8vw7q3iczwlra9074is95a1087ikx0a0idy8p4drnl61";
+    sha256 = "9e4ebdc717dc968d0b6c1179f360e60b3a39ea8cecc1a7fa49f2105bbddc48c4";
   };
   docs = fetchurl {
     url = "http://mirror.switch.ch/mirror/gentoo/distfiles/maude-2.3.0-extras.tar.bz2";