Latest builds

# Release name System Finished at
Succeeded 19860234 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-02-20 16:58:20
Succeeded 19821240 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-02-18 00:18:02
Succeeded 19660066 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-02-14 22:09:34
Succeeded 19569952 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-02-11 22:33:05
Succeeded 19404750 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-02-05 01:47:25
Succeeded 19279183 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-01-30 01:02:02
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
More...

Queued builds

# P Release name System Queued at
Queued 20001915 100 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-02-26 23:36:45
Queued 20020554 100 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-02-27 22:00:56

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)