stable

alt-ergo-2.2.0-6.fc33, frama-c-22.0-1.fc33, & 4 more

FEDORA-2020-3807c1a216 created by jjames 3 years ago for Fedora 33

Changes in ocaml-zarith 1.11:

  • Fixes #72, #75, #78: multiple fixes for of_string, support for underscores [hhugo]
  • Fix #74: fix Q.to_float for denormal numbers [pascal-cuoq]
  • Fix #84: always represent min_int by a tagged integer [xavierleroy]
  • muliple fixes for min_int arguments [xavierleroy]
  • Improvement #85: optimize the fast paths for comparison and equality tests [xavierleroy]
  • Fix #80: ar tool is detected in configure [jsmolic]

Changes in frama-c 22.0 (Titanium):

Changes in ocaml-cryptokit 1.16.1:

All other builds are simple rebuilds due to the ocaml-zarith update.

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-2020-3807c1a216

This update has been submitted for testing by jjames.

3 years ago

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

3 years ago

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

3 years ago

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

3 years ago

This update has been pushed to testing.

3 years ago

This update can be pushed to stable now if the maintainer wishes

3 years ago

This update has been submitted for stable by bodhi.

3 years ago

This update has been pushed to stable.

3 years ago

Please login to add feedback.

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

Automated Test Results