Latest builds

# Release name System Finished at
Succeeded 18038710 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-12-20 16:38:57
Succeeded 17893349 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-12-13 23:28:11
Succeeded 17791014 haskell-idris-ghc7.8.3-0.9.15.1-shared x86_64-linux 2014-12-09 03:35:27
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
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)