Commit graph

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