#2485 (Mar 7, 2024, 1:33:08 AM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04; (detail)
2. update to current long-term-support version dotnet-8.0.x; (detail)
3. merged (detail)
4. proper release bundle_name (amending 0e7dd3eaa6e8); (detail)
5. more multiset lemmas (detail)
6. optional cartouche syntax and proper name printing in atp Isar output (detail)
7. merged (detail)
8. removed unused variable (detail)
9. added virtual, greedy portfolio for E 3.0 (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. more accurate timeout;
   tuned whitespace; (detail)
2. move multiset lemmas into distro (detail)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.