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 5227432 2013-06-05 idris-0.9.8 x86_64-linux
Failed 4761972 2013-04-18 idris-0.9.7 x86_64-linux
Failed 4486771 2013-03-26 idris-0.9.7 x86_64-linux

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)