|
astronomy
|
stellarium: updated to version 0.11.2
|
2012-04-02 15:19:05 +00:00 |
|
biology
|
Try to update slr
|
2012-03-16 17:15:52 +00:00 |
|
chemistry/avogadro
|
Fix compilation with qt-4.8
|
2012-01-14 18:03:41 +00:00 |
|
electronics
|
Gtkwave needs the xz libraries to build.
|
2012-02-26 21:02:03 +00:00 |
|
logic
|
Update HOL Light to rev 141
|
2012-05-30 20:53:13 +00:00 |
|
math
|
Add GiNaC
|
2012-06-09 13:09:41 +00:00 |
|
misc
|
Update and fix Tulip
|
2012-02-27 07:10:05 +00:00 |
