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

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

6 months ago

This update has been submitted for testing by bodhi.

6 months ago

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

6 months ago

This update has been pushed to testing.

6 months ago

This update has been submitted for stable by bodhi.

6 months ago

This update has been pushed to stable.

6 months 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
3 days
Dates
submitted
6 months ago
in testing
6 months ago
in stable
6 months ago

Automated Test Results