| Aggregated version | Version | Update time |
|---|---|---|
| 3.0 | 3.0-Prelude-Embedded-b14 | Mar 15, 2009 |
| 3.0-Prelude-Embedded-b13 | Mar 12, 2009 | |
| 3.0-Prelude-Embedded-b12 | Mar 07, 2009 | |
| 3.0-Prelude-Embedded-b11 | Feb 25, 2009 | |
| 3.0-Prelude-Embedded-b10 | Feb 18, 2009 | |
| 3.0-Prelude-Embedded-m2 | Dec 19, 2008 |