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