Latest builds

# Finished at Package/release name System
Succeeded 31300176 2016-01-30 groupoids-4.0 x86_64-linux
Succeeded 31171075 2016-01-27 groupoids-4.0 x86_64-linux
Succeeded 30884089 2016-01-21 groupoids-4.0 x86_64-linux
Succeeded 30678779 2016-01-18 groupoids-4.0 x86_64-linux
Succeeded 30636116 2016-01-18 groupoids-4.0 x86_64-linux
Succeeded 30370595 2016-01-12 groupoids-4.0 x86_64-linux
Succeeded 30222603 2016-01-10 groupoids-4.0 x86_64-linux
Succeeded 29982964 2016-01-06 groupoids-4.0 x86_64-linux
Succeeded 29660293 2015-12-30 groupoids-4.0 x86_64-linux
Succeeded 29597123 2015-12-28 groupoids-4.0 x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)