Hello all. I need 3 OCaml package reviews to update the coq stack to latest versions. I am willing to swap reviews.
ocaml-store: https://bugzilla.redhat.com/show_bug.cgi?id=2445872 rocq: https://bugzilla.redhat.com/show_bug.cgi?id=2445873 rocq-stdlib: https://bugzilla.redhat.com/show_bug.cgi?id=2445874 These packages, along with all other pending updates to the coq stack, have been built in a COPR: https://copr.fedorainfracloud.org/coprs/jjames/Rocq9/. (The ppc64le builds are missing because after launching the first 3 builds this morning, I waited for over 2 hours. The other architectures were long done, but the ppc64le builds were still pending. I finally gave up and omitted ppc64le builds. I don't anticipate any problems with that architecture.) Note that the rocq-stdlib review depends on the rocq review. Also, the rocq package is a rename review. Coq upstream learned that many American English speakers found the name coq offensive. This was surprising both to the French developers of coq, and to non-American English speakers. (An American English speaker myself, I never found the name offensive, but that may be because I took 4 years of French in high school and understood the origins of the name.) To avoid giving offense, they changed the name to rocq. I want to thank Dennis van Raaij for doing most of the work of moving from coq to rocq. Thank you, Dennis! -- Jerry James http://www.jamezone.org/ -- _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://forge.fedoraproject.org/infra/tickets/issues/new
