Commit graph

3 commits

Author SHA1 Message Date
Peter Simons
17d75b8168 Fixed build of pkgs/development/libraries/buddy with gcc 4.3.3.
svn path=/nixpkgs/trunk/; revision=16150
2009-07-02 17:06:01 +00:00
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