See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2.
All other builds in this update are simple rebuilds due to the coq update.
sudo dnf upgrade --refresh --advisory=FEDORA-2022-c226de665b
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
This update has been submitted for stable by bodhi.
This update has been pushed to stable.
Please login to add feedback.
Confirm request to re-trigger tests.
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
This update has been submitted for stable by bodhi.
This update has been pushed to stable.