Eelco Dolstra 3593b97d63 * Sync with the trunk. ... svn path=/nixpkgs/branches/stdenv-updates/; revision=14557		2009-03-16 12:45:27 +00:00
..
default.nix	Updated SHA256 hash for Full Maude 2.4. Unfortunately, the maintainers	2009-02-17 12:51:04 +00:00
unstable.nix	Updated maude to 2.4 release.	2008-11-13 19:35:48 +00:00