#1072 (Sep 7, 2017, 9:35:09 AM)

1. update metadata (detail / hgweb)
2. adapt to changes in MFMC_Countable (detail / hgweb)
3. merged (detail / hgweb)
4. derive characterisation for rel_pmf from finite MFMC theorem (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 8 min 39 sec build duration;
• 8 min 45 sec total from scheduled to completion.