Comparing `2cae49f9…` and `1042d269…`

Compare packages Compare derivations

News entries

No news entry changes

New packages

No new packages

Removed packages

No removed packages

Version changes

Name	Versions
coq-interval	3.4.1 (old) 4.0.0 (new)
coq-gappa	1.4.2 (old) 1.4.4 (new)
coq	8.10.2 (old) 8.11.2 (new)
coq-flocq	3.2.0 (old) 3.3.1 (new)
coq-mathcomp	1.10.0 (old) 1.11.0 (new)
coq-bignums	8.10.0 (old) 8.11.0 (new)
coq-equations	1.2.1 (old) 1.2.3 (new)
coq-coquelicot	3.0.3 (old) 3.1.0 (new)

Lint warnings

No lint warning changes