Could anyone merge https://github.com/mattam82/Coq-Equations/pull/564 so that we can merge https://github.com/coq/coq/pull/18014

Is the overlay really complete? There is a test failing on a syntax error in STLC...

Or did I misunderstand and the fix is not backwards compatible?

Indeed, my bad, the overlay is no longer backward compatible. Let's then rerun the CI to be extra safe and merge the PR first.

Last updated: Oct 13 2024 at 01:02 UTC