nixpkgs/pkgs/development/interpreters/maude
Peter Simons f1328839d4 maudeUnstable: updated full-maude to latest alpha release
svn path=/nixpkgs/trunk/; revision=13017
2008-10-09 10:10:49 +00:00
..
default.nix Cosmetic, no functional change intended. 2008-07-18 20:11:25 +00:00
unstable.nix maudeUnstable: updated full-maude to latest alpha release 2008-10-09 10:10:49 +00:00