Changes in frama-c:

  • Unbundle flamegraph
  • Install bash completions in the right place

Changes in ocaml-biniou 1.2.1:

  • Remove which dependency (#25)
  • Migrate to dune (#29)
  • Generate opam file from dune and port to opam 2.0 (#30)

Changes in ocaml-easy-format 1.3.2:

  • Port from jbuilder to dune. (#24)
  • Port to opam 2.0 and make dune a non build dependency (#25)

Changes in ocaml-zarith 1.9:

  • Issue #50: add opam file, make it easy to "opam publish" new versions
  • Issue #38: configure detects 32bit OCaml switch on 64bit host
  • Fix #36: change Q.equal, leq, geq comparisons for undef
  • Request #47: move infix comparison operators of Z in submodule, avoid shadowing the polymorphic compare
  • Fix #49: INT_MAX undeclared
  • Request #46: add prefixnonocaml option ()
  • Request #45: fix ocamllibdir/caml/mlvalues.h bug (Cygwin)
  • Fix: attempting to build numbers too large for GMP raises an OCaml exception instead of crashing with "gmp: overflow in mpz type"

All other package updates are rebuilds due to the changes above.

How to install

sudo dnf upgrade --advisory=FEDORA-2019-a50dde4101

This update has been submitted for testing by jjames.

2 years ago

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

2 years ago

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

2 years ago

This update has been pushed to testing.

2 years ago

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

2 years ago

This update has been submitted for stable by jjames.

2 years ago

This update has been pushed to stable.

2 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
2 years ago
in testing
2 years ago
in stable
2 years ago
BZ#1742447 ocaml-biniou-1.2.1 is available
0
0
BZ#1742464 ocaml-easy-format-1.3.2 is available
0
0

Automated Test Results