Automatic update for coq-8.16.0-2.fc38.
* Thu Oct 6 2022 Jerry James <email@example.com> - 8.16.0-2 - Remove the manual, which has a non-free license (bz 2132567)
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-2022-28289c4816
Please login to add feedback.