Latest builds

# Release name System Finished at
Succeeded 17571383 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-11-25 02:23:08
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
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)