FEDORA-2016-9ccfd3f094 — bugfix update for flocq, gappalib-coq, & 2 more

stable

flocq-2.5.2-1.fc25, gappalib-coq-1.3.1-1.fc25, & 2 more

FEDORA-2016-9ccfd3f094 created by jjames 8 years ago for Fedora 25

Changes in flocq 2.5.2:

Ensured compatibility from Coq 8.4 to 8.6

Changes in gappalib-coq 1.3.1:

Ensured compatibility from Coq 8.4 to 8.6
Fixed floatx_relative statement

How to install

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-2016-9ccfd3f094

This update has been submitted for testing by jjames.

8 years ago

This update has been pushed to testing.

8 years ago

This update has been submitted for stable by jjames.

8 years ago

This update has been pushed to stable.

8 years ago

Please log in to add feedback.

Metadata

Type

bugfix

Severity

low

Karma

Signed

Content Type

RPM

Test Gating

None

Autopush Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

disabled

Dates

submitted

8 years ago

in testing

8 years ago

in stable

8 years ago

Builds

flocq-2.5.2-1.fc25

gappalib-coq-1.3.1-1.fc25

why-2.35-19.fc25

why3-0.87.2-2.fc25

flocq-2.5.2-1.fc25

gappalib-coq-1.3.1-1.fc25

why-2.35-19.fc25

why3-0.87.2-2.fc25

Automated Test Results

None