Automatic update for coq-8.17.1-3.fc39.
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.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 <loganjerry@gmail.com> - 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-430f9f8610Please login to add feedback.
This update was automatically created
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