nixpkgs

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

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