Marco Maggesi a9d2f34301 Update HOL Light to release 102 ... svn path=/nixpkgs/trunk/; revision=28718		2011-08-21 08:41:22 +00:00
..
astronomy	stellarium: build this package on Linux only	2011-07-15 12:47:20 +00:00
biology
chemistry/avogadro	Fix typo in URL	2011-08-15 23:39:11 +00:00
electronics
geometry
logic	Update HOL Light to release 102	2011-08-21 08:41:22 +00:00
math	pari-gp-2.5.0	2011-08-09 20:20:58 +00:00
misc