Required. The commit to use as the basis for the comparison.
Required. The commit to compare against the base commit.
Language

News entries

No news entry changes

New packages

NameVersion
coq-ide-server8.13.2More information
coq-ide8.13.2More information

Removed packages

No removed packages

Version changes

NameVersions
coq-stdpp
coq-equations
coq
ocaml-zarith
coq-bignums
coq-gappa
coq-mathcomp
coq-interval

Lint warnings

No lint warning changes