| Aggregated version | Version | Update time |
|---|---|---|
| 3.0 | 3.0-Prelude-Embedded-b10 | Feb 18, 2009 |
| 3.0-b36 | Feb 12, 2009 | |
| 3.0-b35 | Feb 06, 2009 | |
| 3.0-b34 | Jan 29, 2009 | |
| 3.0-b33 | Jan 22, 2009 | |
| 3.0-b32 | Jan 15, 2009 | |
| 3.0-b31 | Jan 08, 2009 | |
| 3.0-b30 | Dec 25, 2008 | |
| 3.0-Prelude-Embedded-m2 | Dec 24, 2008 | |
| 3.0-b29 | Dec 15, 2008 | |
| 3.0-Prelude | Nov 01, 2008 | |
| 3.0-Prelude-b28b | Oct 18, 2008 | |
| 10.0 | 10.0-b28 | Oct 09, 2008 |