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.
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