#1461 (Feb 13, 2018, 3:04:03 PM)

1. updated polyml component; (detail / hgweb)
2. no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples); (detail / hgweb)

Started by an SCM change

This run spent:

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