Lluís Batlle i Rossell d533e31357 Updating gtkwave ... svn path=/nixpkgs/trunk/; revision=20825		2010-03-25 15:07:53 +00:00
..
biology
electronics	Updating gtkwave	2010-03-25 15:07:53 +00:00
geometry/drgeo
logic	Add HOL Light and its dependencies.	2010-02-15 11:00:02 +00:00
math
xplanet	* Build on GCC 4.4.	2010-01-26 15:27:18 +00:00