See https://coq.inria.fr/doc/v8.20/refman/changes.html#changes-in-8-20-1 for changes in coq 8.20.1.
The other packages are simple rebuilds due to the coq update. In addition, C23 compatibility patches were added to why3 and frama-c to get them to build. Note that the frama-c patch only partially addresses the issues. The test suite is currently disabled, due to failure, until upstream can fully implement C23 support.
Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi