Latest builds

# Release name System Finished at
Succeeded 18040329 haskell-Agda-ghc7.8.3-2.4.2.2-shared x86_64-linux 2014-12-20 14:50:12
Dependency failed 17973212 haskell-Agda-ghc7.8.3-2.4.2.2-shared x86_64-linux 2014-12-17 13:48:44
Succeeded 17891310 haskell-Agda-ghc7.8.3-2.4.2.2-shared x86_64-linux 2014-12-13 21:25:14
Succeeded 17827894 haskell-Agda-ghc7.8.3-2.4.2.2-shared x86_64-linux 2014-12-11 17:35:36
Succeeded 17795790 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-12-09 03:46:40
Succeeded 17674135 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-12-02 00:25:24
Succeeded 17594492 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-11-26 15:35:06
Succeeded 17571315 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-11-25 01:08:01
Succeeded 17524478 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-11-23 22:08:51
Succeeded 17510870 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-11-22 17:56:00
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)