| Aggregated version | Version | Update time |
|---|---|---|
| 2 | 2 | Sep 21, 2011 |
| 3.0 | 3.0-Prelude-Embedded-m2 | Aug 04, 2011 |
| 3.0-Prelude-Embedded-b13 | Aug 04, 2011 | |
| 3.0-Prelude-Embedded-b12 | Aug 04, 2011 | |
| 3.0-Prelude-Embedded-b10 | Aug 04, 2011 | |
| 3.0-Prelude-b28b | Aug 04, 2011 | |
| 3.0-Prelude-Embedded-b14 | Aug 04, 2011 | |
| 3.0-Prelude-Embedded-b11 | Aug 04, 2011 | |
| 3.0-b55 | Jul 16, 2009 | |
| 3.0-b54 | Jul 09, 2009 | |
| 3.0-b53 | Jul 03, 2009 | |
| 3.0-b52 | Jun 26, 2009 | |
| 3.0-b51 | Jun 18, 2009 | |
| 3.0-b50 | Jun 11, 2009 | |
| 3.0-b49 | Jun 04, 2009 | |
| 3.0-Preview | May 29, 2009 | |
| 3.0-b48 | May 28, 2009 | |
| 3.0-Preview-b47c | May 22, 2009 | |
| 3.0-Preview-b47b | May 14, 2009 | |
| 3.0-Preview-b47a | May 07, 2009 | |
| 3.0-b47 | Apr 30, 2009 | |
| 3.0-b46 | Apr 24, 2009 | |
| 3.0-b45 | Apr 18, 2009 | |
| 3.0-b44 | Apr 09, 2009 | |
| 3.0-b43 | Apr 01, 2009 | |
| 3.0-b42 | Mar 27, 2009 | |
| 3.0-b41 | Mar 19, 2009 | |
| 3.0-b40 | Mar 12, 2009 | |
| 3.0-b39 | Mar 05, 2009 | |
| 3.0-b38 | Feb 26, 2009 | |
| 3.0-b37 | Feb 19, 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-b29 | Dec 15, 2008 | |
| 1 | 1 | Aug 04, 2011 |