stable

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

FEDORA-2016-9ccfd3f094 created by jjames 7 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.

7 years ago

This update has been pushed to testing.

7 years ago

This update has been submitted for stable by jjames.

7 years ago

This update has been pushed to stable.

7 years ago

Please login to add feedback.

Metadata
Type
bugfix
Severity
low
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
7 years ago
in testing
7 years ago
in stable
7 years ago

Automated Test Results