Marco Maggesi 7c90b6a9bc Update HOL Light to rev 122. ... svn path=/nixpkgs/trunk/; revision=31956		2012-02-01 14:37:50 +00:00
..
astronomy	gravit: cosmetic	2011-11-08 10:01:14 +00:00
biology	* More cleanup.	2010-07-28 18:01:17 +00:00
chemistry/avogadro	Fix compilation with qt-4.8	2012-01-14 18:03:41 +00:00
electronics	Adding GNU archimedes.	2012-01-12 19:23:47 +00:00
geometry	Fix DrGeo build	2010-11-19 04:07:34 +00:00
logic	Update HOL Light to rev 122.	2012-02-01 14:37:50 +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