Latest builds

# Finished at Package/release name System
Succeeded 31312516 2016-01-30 presburger-1.3.1 x86_64-linux
Succeeded 30692625 2016-01-18 presburger-1.3.1 x86_64-linux
Succeeded 30213159 2016-01-10 presburger-1.3.1 x86_64-linux
Succeeded 29974495 2016-01-06 presburger-1.3.1 x86_64-linux
Succeeded 29630406 2015-12-30 presburger-1.3.1 x86_64-linux
Succeeded 29594575 2015-12-28 presburger-1.3.1 x86_64-linux
Succeeded 29396606 2015-12-24 presburger-1.3.1 x86_64-linux
Succeeded 29123229 2015-12-19 presburger-1.3.1 x86_64-linux
Succeeded 28606848 2015-12-06 presburger-1.3.1 x86_64-linux
Succeeded 27706143 2015-11-15 presburger-1.3.1 x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)