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

* More cleanup.

2010-07-28 18:01:17 +00:00

chemistry/avogadro

Fix typo in URL

2011-08-15 23:39:11 +00:00

electronics

Move qt3/qt4 choice to .nix expressions

2011-09-20 22:49:13 +00:00

geometry

Fix DrGeo build

2010-11-19 04:07:34 +00:00

logic

Updated HOL Light to revision 112

2011-11-10 15:35:53 +00:00

math

pari-gp-2.5.0

2011-08-09 20:20:58 +00:00

misc

Downgrading boinc to the last stable version.

2011-10-13 08:58:45 +00:00