Latest builds

# Finished at Package/release name System
Dependency failed 31327037 2016-01-30 idris-0.10 x86_64-linux
Succeeded 31172440 2016-01-27 idris-0.10 x86_64-linux
Succeeded 30879938 2016-01-21 idris-0.9.20.2 x86_64-linux
Succeeded 30661566 2016-01-18 idris-0.9.20.2 x86_64-linux
Cancelled 30640842 2016-01-18 idris-0.9.20.2 x86_64-linux
Succeeded 30366850 2016-01-12 idris-0.9.20.2 x86_64-linux
Succeeded 30329558 2016-01-11 idris-0.9.20.2 x86_64-linux
Succeeded 30222495 2016-01-10 idris-0.9.20.2 x86_64-linux
Succeeded 29974272 2016-01-06 idris-0.9.20.2 x86_64-linux
Succeeded 29871379 2016-01-02 idris-0.9.20.2 x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)