Automatic update for coq-8.17.1-3.fc39.
* Wed Jul 12 2023 Richard W.M. Jones <email@example.com> - 8.17.1-3 - OCaml 5.0 rebuild for Fedora 39 - Only build coq and friends on architectures with the native compiler. * Mon Jul 10 2023 Jerry James <firstname.lastname@example.org> - 8.17.1-1 - Version 8.17.1 - Build in release mode - Disable the native compiler, which is incompatible with OCaml 5.0
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-2023-430f9f8610
Please login to add feedback.