Latest builds

# Release name System Finished at
Succeeded 17597202 lhs2tex-1.18.1 x86_64-linux 2014-11-26 21:45:13
Succeeded 17523656 lhs2tex-1.18.1 x86_64-linux 2014-11-24 08:34:45
Succeeded 17512680 lhs2tex-1.18.1 x86_64-linux 2014-11-23 16:47:34
Succeeded 17299443 lhs2tex-1.18.1 x86_64-linux 2014-11-21 18:44:23
Succeeded 16997693 lhs2tex-1.18.1 x86_64-linux 2014-11-19 14:16:56
Succeeded 16980838 lhs2tex-1.18.1 x86_64-linux 2014-11-19 12:01:28
Succeeded 16914834 lhs2tex-1.18.1 x86_64-linux 2014-11-16 02:53:31
Succeeded 16847744 lhs2tex-1.18.1 x86_64-linux 2014-11-11 12:16:55
Succeeded 16739060 lhs2tex-1.18.1 x86_64-linux 2014-11-05 01:14:33
Succeeded 16597548 lhs2tex-1.18.1 x86_64-linux 2014-10-31 12:37:44
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)