This job is not a member of the latest evaluation of its jobset. This means it was removed or had an evaluation error.

Latest builds

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