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.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2025-5a6dcecf19Please 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