Commit graph

2 commits

Author SHA1 Message Date
Eelco Dolstra 94d7d1fdbb * Got rid of all --disable-static flags; they're redundant now.
* Also a bunch of style cleanups (tabs, with args, ...).

svn path=/nixpkgs/branches/stdenv-updates/; revision=15235
2009-04-21 23:18:09 +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