#1455 (Feb 10, 2018, 1:22:05 PM)

1. NEWS; (detail / hgweb)
2. updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well; (detail / hgweb)
3. support for libgmp for x86-darwin; (detail / hgweb)
4. more accessible src/Pure/ROOT.ML; (detail / hgweb)
5. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 43 min build duration;
• 1 hr 48 min total from scheduled to completion.