Lastest builds
| # | Release Name |
System |
Timestamp |
 | 3234662 | Agda-executable-2.3.0.1 |
x86_64-darwin |
2012-10-24 14:41:55 |
| | 3234643 | Agda-executable-2.3.0.1 |
x86_64-linux |
2012-10-24 14:23:44 |
| | 3234649 | Agda-executable-2.3.0.1 |
i686-linux |
2012-10-24 14:23:33 |
| | 3180465 | Agda-executable-2.3.0.1 |
x86_64-darwin |
2012-10-11 12:37:00 |
| | 3180754 | Agda-executable-2.3.0.1 |
x86_64-linux |
2012-10-11 11:20:04 |
| | 3180338 | Agda-executable-2.3.0.1 |
i686-linux |
2012-10-11 11:14:48 |
| | 3141730 | Agda-executable-2.3.0.1 |
x86_64-darwin |
2012-10-08 19:56:52 |
| | 3139796 | Agda-executable-2.3.0.1 |
x86_64-linux |
2012-10-08 15:52:24 |
| | 3140990 | Agda-executable-2.3.0.1 |
i686-linux |
2012-10-08 15:34:30 |
| | 3044057 | Agda-executable-2.3.0.1 |
x86_64-darwin |
2012-09-17 20:56:22 |
More... |