diff options
author | Peter Simons <simons@cryp.to> | 2009-02-17 12:51:04 +0000 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2009-02-17 12:51:04 +0000 |
commit | 25a9e7392456b54efd55b1ab42ab879ed4fd4fc0 (patch) | |
tree | 8cea86fe97816c64b59b5411abe8053598d498ad /pkgs/development/interpreters/maude | |
parent | e94a279e0e630b8d0fde9f394eceda6133f05023 (diff) |
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
Diffstat (limited to 'pkgs/development/interpreters/maude')
-rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 59a51c5681c65..d53c02b31f69b 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"; |