Latest builds

# Release name System Finished at
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
Succeeded 17290149 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-11-20 12:26:23
Succeeded 16963684 haskell-Agda-ghc7.8.3-2.4.2.1-shared x86_64-linux 2014-11-17 02:46:00
Succeeded 16910942 haskell-Agda-ghc7.8.3-2.4.2-shared x86_64-linux 2014-11-14 12:50:27
Succeeded 16847335 haskell-Agda-ghc7.8.3-2.4.2-shared x86_64-linux 2014-11-11 12:16:05
Succeeded 16729313 haskell-Agda-ghc7.8.3-2.4.2-shared x86_64-linux 2014-11-05 00:43:47
Succeeded 16597517 haskell-Agda-ghc7.8.3-2.4.2-shared x86_64-linux 2014-10-30 17:44:16
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)