Eelco Dolstra e31341510d * Merged from the trunk. Let's see how well this works with ... Subversion 1.5... svn path=/nixpkgs/branches/stdenv-updates/; revision=13601		2008-12-10 09:59:21 +00:00
..
default.nix	Finalized maude 2.4 release.	2008-11-14 22:53:09 +00:00
unstable.nix	Updated maude to 2.4 release.	2008-11-13 19:35:48 +00:00