|
astronomy
|
xplanet-1.2.2; builds with libpng-1.5
|
2012-02-19 09:22: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
|
Backport r32353 from stdenv-udpates
|
2012-02-17 17:40:58 +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
|
wxmaxima: updated to version 12.01.0
|
2012-02-09 13:22:57 +00:00 |
