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