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

# Finished at Package/release name System
Succeeded 4332565 2013-03-08 Agda-executable-2.3.0.1 i686-linux
Succeeded 4332282 2013-03-08 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 4299203 2013-03-07 Agda-executable-2.3.0.1 i686-linux
Succeeded 4297986 2013-03-07 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 4251293 2013-02-28 Agda-executable-2.3.0.1 i686-linux
Succeeded 4250851 2013-02-28 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 4033200 2013-02-09 Agda-executable-2.3.0.1 i686-linux
Succeeded 4032820 2013-02-09 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 3904665 2013-01-25 Agda-executable-2.3.0.1 i686-linux
Succeeded 3903869 2013-01-25 Agda-executable-2.3.0.1 x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)