Comparing
b2595418…
and
bd0f2173…
(View cgit)
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
cs_CZ.UTF-8
es_ES.UTF-8
en_US.UTF-8
nl_NL.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
Name
Version
ghc-text-icu
0.8.0.4
More information
Removed packages
No removed packages
Version changes
Name
Versions
agda
2.6.3
(old)
2.6.4
(new)
agda-cubical
0.5
(old)
0.6
(new)
agda-stdlib
1.7.2
(old)
1.7.3
(new)
agda-1lab
0.0-1.47ca1d2
(old)
0.0-2.549fdb1
(new)
emacs-agda2-mode
2.6.3
(old)
2.6.4
(new)
Lint warnings
No lint warning changes