Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2023-10-31 20:25:29 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.17445 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Package is "coq" Tue Oct 31 20:25:29 2023 rev:24 rq:1121332 version:8.18.0 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2023-09-20 13:26:44.797394139 +0200 +++ /work/SRC/openSUSE:Factory/.coq.new.17445/coq.changes 2023-10-31 20:25:44.806043635 +0100 @@ -1,0 +2,5 @@ +Mon Oct 30 22:26:00 UTC 2023 - Aaron Puchert <aaronpuchert@alice-dsl.net> + +- Increase stack size limit to fix build on riscv64. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.fKgYGb/_old 2023-10-31 20:25:45.530070229 +0100 +++ /var/tmp/diff_new_pack.fKgYGb/_new 2023-10-31 20:25:45.530070229 +0100 @@ -91,6 +91,9 @@ %setup -q -a 50 -a 51 %build +# The default stack size limit is insufficient on riscv64, so we double it. +ulimit -s 16384 + export CFLAGS='%{optflags}' ./configure \ -prefix %{_prefix} \