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
..
default.nix	maude, tecla, buddy: new packages	2008-07-15 09:58:30 +00:00