Fix at https://github.com/coq/coq/pull/14280, any kind soul could merge it quickly?
(Wait for base to finish just to be sure, but it should be enough.)
Last updated: Oct 13 2024 at 01:02 UTC