Latest builds

# Release name System Finished at
Succeeded 20566081 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-03-26 08:09:22
Succeeded 20263272 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-03-10 06:31:59
Succeeded 20073767 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-03-02 02:45:44
Succeeded 19815191 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-02-18 06:02:36
Succeeded 19642017 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-02-14 21:14:35
Succeeded 19404835 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-02-04 17:00:28
Succeeded 19202912 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-01-28 01:57:38
Succeeded 18888340 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-01-20 15:56:27
Succeeded 18657170 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-01-13 01:21:32
Succeeded 18558213 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-01-08 13:38:04
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)