Lastest builds
| # | Release Name |
System |
Timestamp |
 | 4330737 | Agda-executable-2.3.0.1 |
x86_64-linux |
2013-03-08 18:23:38 |
| | 4331682 | Agda-executable-2.3.0.1 |
i686-linux |
2013-03-08 16:36:12 |
| | 4304013 | Agda-executable-2.3.0.1 |
i686-linux |
2013-03-07 23:52:19 |
| | 4301146 | Agda-executable-2.3.0.1 |
x86_64-linux |
2013-03-07 23:49:49 |
| | 4251505 | Agda-executable-2.3.0.1 |
x86_64-linux |
2013-02-28 17:19:15 |
| | 4250984 | Agda-executable-2.3.0.1 |
i686-linux |
2013-02-28 12:12:07 |
| | 4033141 | Agda-executable-2.3.0.1 |
x86_64-linux |
2013-02-09 20:13:27 |
| | 4032913 | Agda-executable-2.3.0.1 |
i686-linux |
2013-02-09 20:11:58 |
| | 3969370 | Agda-executable-2.3.0.1 |
x86_64-linux |
2013-01-30 19:56:48 |
| | 3966689 | Agda-executable-2.3.0.1 |
i686-linux |
2013-01-30 19:47:28 |
More... |