On Tue, Dec 16, 2025 at 05:04:20PM +0100, Claudio Jeker wrote:
> gcc15 is very sensitive to missing includes.
> Here is a collection of ports that fail to build because something is
> missing. In some cases upstream may have fixed this already but I just did
> the minimal work here.
> 
> I bumped all port REVISIONS since I'm not sure if this alters code on
> clang.

lean is ok.

No point in looking at upstream. That won't have been fixed in 3.52 and
lean4 is basically a rewrite from scratch.