Latest builds

# Release name System Finished at
Succeeded 17293298 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-11-21 12:49:23
Succeeded 16977336 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-11-19 02:46:02
Succeeded 16890428 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-11-13 20:22:06
Succeeded 16847556 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-11-11 12:16:34
Succeeded 16729565 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-11-05 00:44:46
Succeeded 16605017 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-10-31 13:51:14
Succeeded 16497766 haskell-idris-ghc7.8.3-0.9.14.3-shared x86_64-linux 2014-10-26 15:59:08
Succeeded 16434007 haskell-idris-ghc7.8.3-0.9.14.3-shared x86_64-linux 2014-10-23 12:17:42
Succeeded 16395698 haskell-idris-ghc7.8.3-0.9.14.3-shared x86_64-linux 2014-10-21 19:29:36
Succeeded 16335945 haskell-idris-ghc7.8.3-0.9.14.3-shared x86_64-linux 2014-10-21 07:38:22
More...

Queued builds

# P Release name System Queued at
Queued 17571383 10 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-11-24 21:35:30

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)