origin/trunk-#5393 (Jul 24, 2025, 10:58:32 PM)

Started by upstream project parallel-build build number 5393
originally caused by:

• Started by GitHub push by gasche

• origin/trunk

1. Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` (details / githubweb)
2. Changes (details / githubweb)