diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2009-03-16 12:45:27 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2009-03-16 12:45:27 +0000 |
commit | 3593b97d631d554cfec9a5eec8966fadb3192de8 (patch) | |
tree | c1a1f0bbb9270c83c803f501e14ea451e8f9fc74 /pkgs/development/interpreters/maude | |
parent | d574d882ccade3b159b16e7ea2b8aeffd9d13bcd (diff) | |
parent | 808f12e36961b15c9662bb6e890f9045cdab43ce (diff) |
* Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=14557
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"; |