Eelco Dolstra 210ba6316e * Urgh. Some files that had been deleted in the trunk came back ... through the stdenv-updates merge (probably because they had been modified in the branch). svn path=/nixpkgs/trunk/; revision=15403		2009-04-29 16:19:57 +00:00
..
default.nix	Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainers	2009-02-17 12:51:04 +00:00