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