Latest builds

# Finished at Package/release name System
Succeeded 24062129 2015-07-25 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23999777 2015-07-25 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23979195 2015-07-24 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23789057 2015-07-19 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23751722 2015-07-17 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23661688 2015-07-15 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23644914 2015-07-15 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23569799 2015-07-10 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23418352 2015-07-07 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 23343019 2015-07-03 haskell-idris-0.9.18.1 x86_64-linux
More...

Queued builds

# Queued at Package/release name System
Queued 24373077 19h ago haskell-idris-0.9.18.1 x86_64-linux

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)