Build #633 (Jan 27, 2022, 1:27:10 PM)

1. useful lemma integral_less (detail / hgweb)
2. merged (detail / hgweb)
3. treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis) (detail / hgweb)
4. fixed dodgy intro! attributes (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 3 hr 34 min build duration;
• 3 hr 34 min total from scheduled to completion.