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 5227432 idris-0.9.8 x86_64-linux 2013-06-05 16:04:04
Failed 4761972 idris-0.9.7 x86_64-linux 2013-04-18 18:51:37
Failed 4486771 idris-0.9.7 x86_64-linux 2013-03-26 12:39:21

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)