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