Peter Simons 25a9e73924 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		2009-02-17 12:51:04 +00:00
..
default.nix	Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainers	2009-02-17 12:51:04 +00:00