4 commits

Author	SHA1	Message	Date
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
Peter Simons	8d7fe32a0e	maude, tecla, buddy: new packages ... Maude is a high-level specification language. Buddy and libtecla are required to build Maude. svn path=/nixpkgs/trunk/; revision=12358	2008-07-15 09:58:30 +00:00