Latest builds

# Finished at Package/release name System
Cancelled 21276706 4d ago haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 21107588 2015-04-06 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 21084600 2015-04-04 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 21063826 2015-04-03 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 21013758 2015-04-01 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 21001521 2015-04-01 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 20913452 2015-03-30 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 20798487 2015-03-28 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Cancelled 20701717 2015-03-27 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Succeeded 20568769 2015-03-24 haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
More...

Queued builds

# Queued at Package/release name System
Queued 21306559 4d ago haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux
Queued 21363762 4d ago haskell-Agda-ghc7.8.4-2.4.2.2-shared x86_64-linux

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)