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