Marco Maggesi fa47d66e22 Updated HOL Light to revision 112 ... svn path=/nixpkgs/trunk/; revision=30369		2011-11-10 15:35:53 +00:00
..
astronomy	gravit: cosmetic	2011-11-08 10:01:14 +00:00
biology
chemistry/avogadro
electronics	Move qt3/qt4 choice to .nix expressions	2011-09-20 22:49:13 +00:00
geometry
logic	Updated HOL Light to revision 112	2011-11-10 15:35:53 +00:00
math
misc	Downgrading boinc to the last stable version.	2011-10-13 08:58:45 +00:00