FEDORA-2022-5fc4d80950 — enhancement update for alt-ergo, antlr4-project, & 2 more

stable

alt-ergo-2.3.3-1.fc37, antlr4-project-4.10.1-2.fc37, & 2 more

FEDORA-2022-5fc4d80950 created by jjames 10 months ago for Fedora 37

Changes in alt-ergo 2.3.1:

Fix issue #248. Avoid double rounding int intervals

Changes in alt-ergo 2.3.2:

Fix preludes installation
Fix altgr-ergo building rule
Fix issue with dynlink of parsers

Changes in alt-ergo 2.3.3:

Fix configure use of bash
Add conflict instructions with the Alt-ergo-free package

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.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-5fc4d80950

This update's test gating status has been changed to 'waiting'.

10 months ago

This update's test gating status has been changed to 'ignored'.

10 months ago

This update has been submitted for stable by bodhi

10 months ago

Please login to add feedback.

Metadata

Type

enhancement

Karma

Signed

Content Type

RPM

Test Gating

ignored

Builds

alt-ergo-2.3.3-1.fc37

antlr4-project-4.10.1-2.fc37

coq-8.15.2-2.fc37

golang-github-google-cel-0.11.4-3.fc37

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

0 days

Dates

submitted

10 months ago

in testing

10 months ago

in stable

10 months ago

BZ#2072116 coq fails to build latex docs with Sphinx 4.5.0

BZ#2074269 antlr4-project-4.10.1 is available

BZ#2098671 F37FailsToInstall: antlr4, antlr4-runtime-test-annotation-processors

alt-ergo-2.3.3-1.fc37

antlr4-project-4.10.1-2.fc37

coq-8.15.2-2.fc37

golang-github-google-cel-0.11.4-3.fc37

Automated Test Results

ignored