Lastest builds
| # | Release Name |
System |
Timestamp |
 | 4375736 | idris-0.9.7 |
x86_64-linux |
2013-03-11 12:22:39 |
| | 4375813 | idris-0.9.7 |
i686-linux |
2013-03-11 12:15:50 |
| | 4308471 | idris-0.9.6.1 |
i686-linux |
2013-03-08 01:02:09 |
| | 4293969 | idris-0.9.6.1 |
x86_64-linux |
2013-03-08 00:02:56 |
| | 4170821 | idris-0.9.6.1 |
i686-linux |
2013-02-20 12:29:17 |
| | 4170201 | idris-0.9.6.1 |
x86_64-linux |
2013-02-20 12:20:34 |
| | 3969606 | idris-0.9.6 |
x86_64-linux |
2013-01-31 04:51:16 |
| | 3963473 | idris-0.9.6 |
x86_64-linux |
2013-01-31 02:44:56 |
| | 3969799 | idris-0.9.6 |
i686-linux |
2013-01-31 00:02:40 |
| | 3963571 | idris-0.9.6 |
i686-linux |
2013-01-30 23:19:39 |
More... |