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 4331682 2013-03-08 Agda-executable-2.3.0.1 i686-linux
Succeeded 4330737 2013-03-08 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 4304013 2013-03-07 Agda-executable-2.3.0.1 i686-linux
Succeeded 4301146 2013-03-07 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 4251505 2013-02-28 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 4250984 2013-02-28 Agda-executable-2.3.0.1 i686-linux
Succeeded 4033141 2013-02-09 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 4032913 2013-02-09 Agda-executable-2.3.0.1 i686-linux
Succeeded 3969370 2013-01-30 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 3966689 2013-01-30 Agda-executable-2.3.0.1 i686-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)