#1567 (Oct 7, 2021, 12:50:07 AM)

1. include arm64-linux; (detail / hgweb)
2. updated to Vampire 4.6, as proposed by Martin Desharnais; (detail / hgweb)
3. build from official downloads; (detail / hgweb)
4. build just one vampire version; (detail / hgweb)
5. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.