#487 (Oct 19, 2016, 8:14:14 AM)

1. merge from afp-2016 (detail / hgweb)
2. adjust SPARCv8 timeout for single-core runs (detail / hgweb)
3. new entry SPARCv8 (detail / hgweb)
4. add Source_Coding_Theorem to ROOTS (detail / hgweb)
5. new entry: Source_Coding_Theorem (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 min 50 sec build duration;
• 1 min 57 sec total from scheduled to completion.