#1565 (Oct 5, 2021, 12:52:32 AM)

1. include arm64-linux; (detail / hgweb)
2. prefer existing OCaml installation; (detail / hgweb)
3. include arm64-linux; (detail / hgweb)
4. no patchelf on macOS (undetected due to cached executables?); (detail / hgweb)
5. provide opam-2.1.0 for experimentation; (detail / hgweb)
6. rebuild cygwin-20211004.tar.gz; (detail / hgweb)
7. include arm64-linux; (detail / hgweb)
8. updated to cygwin-20211004: build again; (detail / hgweb)
9. merged (detail / hgweb)
10. removed pointless NEWS: both Docker/ubuntu and Cygwin provide perl by default; (detail / hgweb)
11. actually use cygwin-20211002 (amending ff0ca375457c); (detail / hgweb)
12. discontinued perl; (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. proper term operation Term.dest_abs; (detail / hgweb)
15. tuned; (detail / hgweb)
16. tuned proofs;
    fewer warnings; (detail / hgweb)
17. more standard binder syntax; (detail / hgweb)
18. clarified 'let' syntax: avoid conflict with existing 'let' in FOL; (detail / hgweb)
19. tuned; (detail / hgweb)
20. tuned; (detail / hgweb)
21. merged (detail / hgweb)
22. removal of a redundant theorem (and white space) (detail / hgweb)
23. new material from the Roth development, mostly about finite sets, disjoint famillies and partitions (detail / hgweb)
24. clarified and updated for release; (detail / hgweb)
25. formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc; (detail / hgweb)
26. more NEWS and CONTRIBUTORS; (detail / hgweb)
27. clarified comments; (detail / hgweb)
28. support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing); (detail / hgweb)
29. clarified dependencies; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 31 sec waiting;
• 2 hr 5 min build duration;
• 2 hr 7 min total from scheduled to completion.