public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
38,588 Commits 1 Branch 0 Tags 1.5 GiB
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