Comparing
2cae49f9…
and
1042d269…
(View)
Compare revisions
Compare by datetime
Base commit
Required.
The commit to use as the basis for the comparison.
Target commit
Required.
The commit to compare against the base commit.
Locale
eo_EO.UTF-8
vi_VN.UTF-8
pl_PL.UTF-8
da_DK.UTF-8
de_DE.UTF-8
zh_CN.UTF-8
pt_BR.UTF-8
es_ES.UTF-8
en_US.UTF-8
fr_FR.UTF-8
Language
Update results
Compare packages
Compare package derivations
Compare system test derivations
View JSON
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