Lastest builds
| # | Release Name |
System |
Finished at |
 | 2548755 | idris-0.9.2.1 |
i686-linux |
2012-05-08 23:40:27 |
| | 2538005 | idris-0.9.2.1 |
x86_64-darwin |
2012-05-08 18:32:12 |
| | 2535882 | idris-0.9.2.1 |
x86_64-linux |
2012-05-08 19:03:59 |
| | 2512773 | idris-0.9.2.1 |
i686-linux |
2012-05-03 05:56:10 |
| | 2501891 | idris-0.9.2.1 |
x86_64-darwin |
2012-05-03 15:43:16 |
| | 2501869 | idris-0.9.2.1 |
x86_64-linux |
2012-05-02 23:27:56 |
| | 2192037 | idris-0.9.2 |
x86_64-linux |
2012-03-05 18:18:43 |
| | 2190487 | idris-0.9.2 |
i686-linux |
2012-03-03 21:06:27 |
| | 2182960 | idris-0.9.2 |
x86_64-darwin |
2012-03-01 12:31:13 |
| | 2128713 | idris-0.9.1 |
i686-linux |
2012-02-24 14:57:19 |
More... |