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 3234662 2012-10-24 Agda-executable-2.3.0.1 x86_64-darwin
Succeeded 3234649 2012-10-24 Agda-executable-2.3.0.1 i686-linux
Succeeded 3234643 2012-10-24 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 3180754 2012-10-11 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 3180465 2012-10-11 Agda-executable-2.3.0.1 x86_64-darwin
Succeeded 3180338 2012-10-11 Agda-executable-2.3.0.1 i686-linux
Succeeded 3141730 2012-10-08 Agda-executable-2.3.0.1 x86_64-darwin
Succeeded 3140990 2012-10-08 Agda-executable-2.3.0.1 i686-linux
Succeeded 3139796 2012-10-08 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 3044057 2012-09-17 Agda-executable-2.3.0.1 x86_64-darwin
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)