Latest builds

# Release name System Finished at
Succeeded 19211334 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-01-28 02:27:37
Succeeded 18898675 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-01-20 07:35:04
Succeeded 18816203 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-01-16 13:56:38
Succeeded 18668775 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-01-13 01:51:48
Succeeded 18552482 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-01-08 13:09:05
Succeeded 18467946 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-01-08 08:45:42
Succeeded 18313522 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2014-12-29 17:45:24
Cancelled 18199469 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2014-12-27 14:38:31
Succeeded 18151997 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2014-12-24 18:25:20
Succeeded 18118488 haskell-Agda-ghc7.8.3-2.4.2.2-shared x86_64-linux 2014-12-24 03:04:39
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)