3 commits

Author	SHA1	Message	Date
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