5 commits

Author	SHA1	Message	Date
Peter Simons	884f30e61f	maude: update unstable version to 2.4 alpha 91c ... svn path=/nixpkgs/trunk/; revision=12920	2008-09-25 21:37:59 +00:00
Peter Simons	656127373d	maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now. ... svn path=/nixpkgs/trunk/; revision=12890	2008-09-19 10:06:58 +00:00
Peter Simons	a16eebd0a6	Cosmetic, no functional change intended. ... This patch moves curly braces to the end of the line, i.e. foo = { ... }; instead of the previously used style: foo = { ... }; I commit this change hoping that my contributions to this project now conform to the rules described in maintainers/docs/coding-conventions.txt so that the self-appointed indention sheriff of the NixOS community can finally get off my back and rest assured knowing that all i's are dotted and all t's are crossed. svn path=/nixpkgs/trunk/; revision=12386	2008-07-18 20:11:25 +00:00
Peter Simons	057bd7c1c2	maude: build of unstable beta version because it has less bugs in full-maude ... svn path=/nixpkgs/trunk/; revision=12385	2008-07-18 20:11:12 +00:00
Peter Simons	b64e42ce35	added maude beta version ... svn path=/nixpkgs/trunk/; revision=12384	2008-07-18 20:11:02 +00:00