Coq 8.15 RC1

The tag for the 8.15 first release candidate has been set (V8.15+rc1).

The 8.15 release will not have any more changes other than bug fixes with low compatibility impact.

Package managers, please start preparing 8.15-compatible versions of your packages.

1 Like