Marco Maggesi 97d48a5426 Update HOL Light to rev 118 ... svn path=/nixpkgs/trunk/; revision=31468		2012-01-10 16:12:11 +00:00
..
astronomy
biology
chemistry/avogadro
electronics	Updating kicad.	2011-12-18 14:49:39 +00:00
geometry
logic	Update HOL Light to rev 118	2012-01-10 16:12:11 +00:00
math	maxima: updated to version 5.26.0	2011-12-22 12:30:19 +00:00
misc	State qt version (3/4) in packages, not in all-packages.nix	2012-01-07 17:06:49 +00:00