3 commits

Author	SHA1	Message	Date
Peter Simons	e79001d4d6	tecla: update to version 1.6.2	2014-01-13 17:14:33 +01:00
Peter Simons	c1469fba93	pkgs/development/libraries/tecla: enable Hydra build on all platforms ... svn path=/nixpkgs/trunk/; revision=23470	2010-08-26 18:43:37 +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