stable

alt-ergo-2.2.0-6.fc34, frama-c-21.1-7.fc34, & 3 more

FEDORA-2020-ba84ec948f created by jjames 4 years ago for Fedora 34

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 ocaml-cryptokit 1.16.1:

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

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

4 years ago

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

4 years ago

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

4 years ago

This update has been submitted for stable by bodhi

4 years ago

Please login to add feedback.

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

Automated Test Results