Latest builds

# Release name System Finished at
Succeeded 10358307 Agda-executable-2.3.0.1 x86_64-linux 2014-04-17 12:24:29
Succeeded 10349640 Agda-executable-2.3.0.1 x86_64-linux 2014-04-15 12:02:11
Succeeded 10324786 Agda-executable-2.3.0.1 x86_64-linux 2014-04-13 16:42:02
Succeeded 10246637 Agda-executable-2.3.0.1 x86_64-linux 2014-04-11 19:54:23
Dependency failed 10189612 Agda-executable-2.3.0.1 x86_64-linux 2014-04-09 23:44:16
Succeeded 10119791 Agda-executable-2.3.0.1 x86_64-linux 2014-04-07 20:26:11
Succeeded 10083130 Agda-executable-2.3.0.1 x86_64-linux 2014-04-07 09:50:22
Succeeded 10041079 Agda-executable-2.3.0.1 x86_64-linux 2014-04-06 17:09:33
Succeeded 10027528 Agda-executable-2.3.0.1 x86_64-linux 2014-04-05 02:06:41
Succeeded 9941489 Agda-executable-2.3.0.1 x86_64-linux 2014-04-02 17:39:21
More...