Latest builds

# Release name System Finished at
Succeeded 19188702 lhs2tex-1.18.1 x86_64-linux 2015-01-28 01:03:36
Succeeded 18895386 lhs2tex-1.18.1 x86_64-linux 2015-01-20 21:59:24
Succeeded 18651420 lhs2tex-1.18.1 x86_64-linux 2015-01-13 00:53:55
Succeeded 18552738 lhs2tex-1.18.1 x86_64-linux 2015-01-08 13:14:21
Cancelled 18470235 lhs2tex-1.18.1 x86_64-linux 2015-01-08 11:11:02
Succeeded 18327148 lhs2tex-1.18.1 x86_64-linux 2015-01-05 01:23:10
Cancelled 18215595 lhs2tex-1.18.1 x86_64-linux 2014-12-27 14:38:31
Succeeded 18144999 lhs2tex-1.18.1 x86_64-linux 2014-12-24 17:58:35
Succeeded 18119575 lhs2tex-1.18.1 x86_64-linux 2014-12-24 03:08:56
Succeeded 18052600 lhs2tex-1.18.1 x86_64-linux 2014-12-20 22:44:24
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)