Changes in coq 8.15.1:

  • inconsistency with module subtyping and inductive types (#15838)
  • CoqIDE slowdown on large files
  • missing .vok file creation
  • cbn regression (#15567)
  • usability of schemes with elim foo using scheme with (P0 := ...) (the P0 name was not accessible in 8.15.0) (#15420)
  • See the changelog for detailed changes.

Changes in ocaml-zmq 5.1.5:

  • fix bug in STREAM sockets (#114, @c-cube)

The other builds are simple rebuilds due to the changes above.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-97e5c840db

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

7 months ago

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

7 months ago

This update has been submitted for stable by bodhi

7 months ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
7 months ago
in testing
7 months ago
in stable
7 months ago
BZ#2066731 ocaml-zmq-5.1.5 is available
0
0

Automated Test Results