nixpkgs/pkgs/development/interpreters/maude
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