#2041 (Oct 26, 2023, 12:50:09 AM)

1. updated to vampire-4.8; (detail / hgweb)
2. tuned README; (detail / hgweb)
3. update Vampire version, following hints by Martin Desharnais; (detail / hgweb)
4. removed junk; (detail / hgweb)
5. tuned component_vampire script for Vampire 4.8 and added new flag to force version name (detail / hgweb)

Started by an SCM change

This run spent:

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