Changes in alt-ergo 2.3.1:
Changes in alt-ergo 2.3.2:
Changes in alt-ergo 2.3.3:
See https://github.com/antlr/antlr4/releases/tag/4.10 and https://github.com/antlr/antlr4/releases/tag/4.10.1 for changes in antlr4-project 4.10.1.
The coq and golang-github-google-cel builds are simple rebuilds due to the ANTLR update.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2022-5fc4d80950
Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi