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.
