Latest builds

# Release name System Finished at
Succeeded 10659583 Agda-executable-2.3.0.1 x86_64-linux 2014-04-24 12:20:46
Succeeded 10597997 Agda-executable-2.3.0.1 x86_64-linux 2014-04-24 11:42:14
Succeeded 10575812 Agda-executable-2.3.0.1 x86_64-linux 2014-04-24 07:59:35
Succeeded 10568027 Agda-executable-2.3.0.1 x86_64-linux 2014-04-23 04:03:34
Succeeded 10504865 Agda-executable-2.3.0.1 x86_64-linux 2014-04-22 22:01:56
Succeeded 10405388 Agda-executable-2.3.0.1 x86_64-linux 2014-04-18 16:24:05
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
More...