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

sudo dnf upgrade --advisory=FEDORA-2020-3807c1a216

This update has been submitted for testing by jjames.

a year ago

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

a year ago

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

a year ago

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

a year ago

This update has been pushed to testing.

a year ago

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

a year ago

This update has been submitted for stable by bodhi.

a year ago

This update has been pushed to stable.

a year 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
a year ago
in testing
a year ago
in stable
a year ago

Automated Test Results