Latest builds

# Finished at Package/release name System
Succeeded 23016647 2015-06-10 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 22937800 2015-06-09 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 22842999 2015-06-06 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 22830129 2015-06-03 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 22702156 2015-06-01 haskell-idris-0.9.18.1 x86_64-linux
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
More...

Queued builds

# Queued at Package/release name System
Started 23343019 4d ago haskell-idris-0.9.18.1 x86_64-linux

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)