Latest builds

# Release name System Finished at
Succeeded 21013758 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-04-01 23:40:36
Succeeded 21001521 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-04-01 02:07:02
Succeeded 20913452 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-30 07:53:59
Succeeded 20798487 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-28 02:33:09
Cancelled 20701717 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-27 09:16:50
Succeeded 20568769 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-24 18:08:55
Succeeded 20422657 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-18 03:25:44
Succeeded 20258639 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-16 22:20:08
Succeeded 20096527 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-04 22:37:31
Cancelled 20020554 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux 2015-03-02 10:30:20
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)