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 |
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
|
wxmaxima: update to version 12.04.0
|
2012-07-07 22:20:18 +02:00 |
misc
|
Update and fix Tulip
|
2012-02-27 07:10:05 +00:00 |