Latest builds

# Release name System Finished at
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
Cancelled 18471383 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-01-08 11:11:02
Succeeded 18315062 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2015-01-04 21:31:22
Cancelled 18204330 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux 2014-12-27 14:38:31
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)