Latest builds

# Finished at Package/release name System
Succeeded 20566081 2015-03-26 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 20263272 2015-03-10 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 20073767 2015-03-02 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 19815191 2015-02-18 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 19642017 2015-02-14 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 19404835 2015-02-04 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 19202912 2015-01-28 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 18888340 2015-01-20 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 18657170 2015-01-13 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
Succeeded 18558213 2015-01-08 haskell-idris-ghc7.8.4-0.9.15.1-shared x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)