Yury G. Kudryashov 9ee5230537 Move qt3/qt4 choice to .nix expressions ... svn path=/nixpkgs/trunk/; revision=29404		2011-09-20 22:49:13 +00:00
..
astronomy
biology
chemistry/avogadro
electronics	Move qt3/qt4 choice to .nix expressions	2011-09-20 22:49:13 +00:00
geometry
logic	Update HOL Light to release 102	2011-08-21 08:41:22 +00:00
math
misc