Lastest builds
| # | Release Name |
System |
Finished at |
 | 3258718 | idris-0.9.5.1 |
x86_64-linux |
2012-11-01 11:56:25 |
| | 3258610 | idris-0.9.5.1 |
i686-linux |
2012-11-01 11:55:52 |
| | 3257909 | idris-0.9.5.1 |
x86_64-darwin |
2012-11-01 12:36:14 |
| | 3141419 | idris-0.9.4.1 |
x86_64-linux |
2012-10-08 16:06:52 |
| | 3141357 | idris-0.9.4.1 |
x86_64-darwin |
2012-10-08 19:29:56 |
| | 3141176 | idris-0.9.4.1 |
i686-linux |
2012-10-08 15:32:20 |
| | 3052575 | idris-0.9.3.1 |
i686-linux |
2012-09-21 18:23:10 |
| | 3052272 | idris-0.9.3.1 |
x86_64-darwin |
2012-09-21 18:30:51 |
| | 3052240 | idris-0.9.3.1 |
x86_64-linux |
2012-09-21 18:22:12 |
| | 3043422 | idris-0.9.3 |
i686-linux |
2012-09-17 18:28:46 |
More... |