The release candidate has been tagged (Bump version to 8.19+rc1 · coq/coq@dba73c0 · GitHub).
The final release should have the same behaviour unless we find some serious bugs.
Package managers please prepare a version of your packages for 8.19.
The release candidate has been tagged (Bump version to 8.19+rc1 · coq/coq@dba73c0 · GitHub).
The final release should have the same behaviour unless we find some serious bugs.
Package managers please prepare a version of your packages for 8.19.