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

* 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

Updating gtkwave

2011-03-22 11:36:58 +00:00

geometry

Fix DrGeo build

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

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

Make tulip run without hassle. Unfortunately, some operations repeatably crash tulip even when built vs Qt4.6

2011-07-01 09:53:11 +00:00