Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2026-08-04 21:35:35 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.16738 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq" Tue Aug 4 21:35:35 2026 rev:33 rq:1369336 version:9.2.0 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2026-04-01 19:53:18.763819881 +0200 +++ /work/SRC/openSUSE:Factory/.coq.new.16738/coq.changes 2026-08-04 21:38:36.040941437 +0200 @@ -1,0 +2,7 @@ +Mon Aug 3 20:47:43 UTC 2026 - Aaron Puchert <[email protected]> + +- Use "rocq" instead of "coq" with Dune >= 3.21. +- Disable native compilation on non-x86 for OCaml >= 5. +- Based on proposal by Olaf Hering. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.Ji82dF/_old 2026-08-04 21:38:36.992974741 +0200 +++ /var/tmp/diff_new_pack.Ji82dF/_new 2026-08-04 21:38:36.996974881 +0200 @@ -109,6 +109,18 @@ %prep %setup -q -a 50 -a 51 -n %{_name}-%{version} +%if %{pkg_vcmp ocaml-dune >= 3.21} +sed --regexp-extended --in-place=~ ' +s|lang dune [0-9\.]+|lang dune 3.21| +s|using coq 0.8|using rocq 0.11| +' dune-project +diff -u "$_"~ "$_" || : $? +sed --regexp-extended --in-place=~ ' +s|coq |rocq | +' dune +diff -u "$_"~ "$_" || : $? +%endif + %build %if 0%{?qemu_user_space_build} # The OCaml compiler sometimes needs a bit more stack than the usual limit. @@ -129,7 +141,13 @@ -datadir %{_datadir}/%{_name} \ -docdir %{_docdir}/%{_name} \ -configdir %{_sysconfdir}/xdg/%{_name} \ +%if %{pkg_vcmp ocaml >= 5.0} +%ifarch x86_64 -native-compiler yes \ +%endif +%else + -native-compiler yes \ +%endif -natdynlink yes \ -browser "xdg-open %s" make %{?_smp_mflags} dunestrap
