[#371761] [test-only] FAILED (try 3) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[#371761] [test-only] FAILED (try 3) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.3.1.log
https://packages.altlinux.org/tasks/371761

subtask  name            aarch64  i586  ppc64le  x86_64
    #40  ocaml-lablgtk3     2:37  1:34     3:14    1:39

2025-Jan-26 14:49:04 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-25 20:11:04
2025-Jan-26 14:49:04 :: created build repo
2025-Jan-26 14:49:05 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:05 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:05 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:05 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:49:13 :: task abort requested by respublica.
2025-Jan-26 14:50:39 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:50:39 :: [i586] task processing CANCELLED
2025-Jan-26 14:50:44 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:50:44 :: [x86_64] task processing CANCELLED
2025-Jan-26 14:51:42 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:51:42 :: [aarch64] task processing CANCELLED
2025-Jan-26 14:52:19 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-26 14:52:19 :: [ppc64le] task processing CANCELLED
2025-Jan-26 14:50:39 :: [i586] build FAILED
2025-Jan-26 14:50:44 :: [x86_64] build FAILED
2025-Jan-26 14:51:42 :: [aarch64] build FAILED
2025-Jan-26 14:52:19 :: [ppc64le] build FAILED
2025-Jan-26 14:52:19 :: task #371761 for sisyphus FAILED

[#371761] [test-only] FAILED (try 4) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.4.1.log
https://packages.altlinux.org/tasks/371761

subtask  name  aarch64    i586  ppc64le  x86_64
   #200  coq    failed  failed   failed  failed

2025-Jan-26 14:53:55 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-26 14:53:13
2025-Jan-26 14:53:56 :: created build repo
2025-Jan-26 14:53:57 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:53:57 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:53:57 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:53:57 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-26 14:54:24 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:25 :: [i586] #200 coq.git 8.20.0-alt1: build start
2025-Jan-26 14:54:25 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:25 :: [x86_64] #200 coq.git 8.20.0-alt1: build start
2025-Jan-26 14:54:45 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:45 :: [aarch64] #200 coq.git 8.20.0-alt1: build start
2025-Jan-26 14:54:54 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-26 14:54:54 :: [ppc64le] #200 coq.git 8.20.0-alt1: build start
[i586] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/firstorder/firstorder_plugin.cma plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Formula.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Unify.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Sequent.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Rules.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Instances.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Ground.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__G_ground.cmo)
[i586] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -bin-annot -bin-annot-occurrences -I plugins/ssr/.ssreflect_plugin.objs/byte -I /usr/lib/ocaml/dynlink -I /usr/lib/ocaml/findlib -I /usr/lib/ocaml/str -I /usr/lib/ocaml/threads -I /usr/lib/ocaml/unix -I /usr/lib/ocaml/zarith -I boot/.boot.objs/byte -I clib/.clib.objs/byte -I config/.config.objs/byte -I engine/.engine.objs/byte -I gramlib/.gramlib.objs/byte -I interp/.interp.objs/byte -I kernel/.kernel.objs/byte -I kernel/byterun/.coqrun.objs/byte -I lib/.lib.objs/byte -I library/.library.objs/byte -I parsing/.parsing.objs/byte -I perf/.coqperf.objs/byte -I plugins/ltac/.ltac_plugin.objs/byte -I plugins/ssrmatching/.ssrmatching_plugin.objs/byte -I pretyping/.pretyping.objs/byte -I printing/.printing.objs/byte -I proofs/.proofs.objs/byte -I tactics/.tactics.objs/byte -I vernac/.vernac.objs/byte -intf-suffix .ml -no-alias-deps -open Ssreflect_plugin -o plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo -c -impl plugins/ssr/ssrtacs.ml)
[i586] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[i586] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[i586] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[i586] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[i586] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[i586] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[i586] Promoting "_build/default/coq-core.install" to "coq-core.install"
[i586] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-26 14:55:44 :: [i586] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 14:55:44 :: [i586] #200 coq.git 8.20.0-alt1: build FAILED
2025-Jan-26 14:55:44 :: [i586] requesting cancellation of task processing
[ppc64le] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[ppc64le] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ltac/ltac_plugin.cma plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacarg.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacsubst.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacenv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pptactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Leminv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Taccoerce.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacintern.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_debug.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_matching.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacinterp.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_option.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacentries.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Profile_ltac_tactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Internals.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_ltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extraargs.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_tactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__ComRewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_rewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_obligations.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_eqdecide.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_class.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_auto.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extratactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Coretactics.cmo)
[ppc64le] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib64/ocaml/compiler-libs/ocamlcommon.cma /usr/lib64/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib64/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib64/ocaml/str/str.cma /usr/lib64/ocaml/unix/unix.cma /usr/lib64/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib64/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib64/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib64/ocaml/findlib/findlib.cma /usr/lib64/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib64/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[ppc64le] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[ppc64le] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[ppc64le] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[ppc64le] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[ppc64le] Promoting "_build/default/coq-core.install" to "coq-core.install"
[ppc64le] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[ppc64le] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-26 14:57:58 :: [ppc64le] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 14:57:58 :: [ppc64le] #200 coq.git 8.20.0-alt1: build FAILED
[x86_64] Running[3497]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis5.timing theories/Reals/Ranalysis5.v)
[x86_64] Running[3498]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ratan.timing theories/Reals/Ratan.v)
[x86_64] Running[3499]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Machin.timing theories/Reals/Machin.v)
[x86_64] Running[3500]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Rtrigo.timing theories/Reals/Rtrigo.v)
[x86_64] Running[3501]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis.timing theories/Reals/Ranalysis.v)
[x86_64] Running[3502]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/NewtonInt.timing theories/Reals/NewtonInt.v)
[x86_64] Running[3503]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Integration.timing theories/Reals/Integration.v)
[x86_64] Running[3504]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Reals.timing theories/Reals/Reals.v)
[x86_64] Running[3505]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/setoid_ring/Rings_R.timing theories/setoid_ring/Rings_R.v)
[x86_64] Promoting "_build/default/coq-stdlib.install" to "coq-stdlib.install"
2025-Jan-26 14:59:21 :: [x86_64] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 14:59:21 :: [x86_64] #200 coq.git 8.20.0-alt1: build FAILED
[aarch64] Running[3497]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis5.timing theories/Reals/Ranalysis5.v)
[aarch64] Running[3498]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ratan.timing theories/Reals/Ratan.v)
[aarch64] Running[3499]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Machin.timing theories/Reals/Machin.v)
[aarch64] Running[3500]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Rtrigo.timing theories/Reals/Rtrigo.v)
[aarch64] Running[3501]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Ranalysis.timing theories/Reals/Ranalysis.v)
[aarch64] Running[3502]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/NewtonInt.timing theories/Reals/NewtonInt.v)
[aarch64] Running[3503]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Integration.timing theories/Reals/Integration.v)
[aarch64] Running[3504]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Reals/Reals.timing theories/Reals/Reals.v)
[aarch64] Running[3505]: (cd _build/default && ../install/default/bin/coqc -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/setoid_ring/Rings_R.timing theories/setoid_ring/Rings_R.v)
[aarch64] Promoting "_build/default/coq-stdlib.install" to "coq-stdlib.install"
2025-Jan-26 15:05:07 :: [aarch64] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-26 15:05:07 :: [aarch64] #200 coq.git 8.20.0-alt1: build FAILED
2025-Jan-26 14:55:44 :: [i586] build FAILED
2025-Jan-26 14:57:59 :: [ppc64le] build FAILED
2025-Jan-26 14:59:22 :: [x86_64] build FAILED
2025-Jan-26 15:05:07 :: [aarch64] build FAILED
2025-Jan-26 15:05:07 :: task #371761 for sisyphus FAILED

[#371761] [test-only] FAILED (try 5) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.5.1.log
https://packages.altlinux.org/tasks/371761

subtask  name  aarch64    i586  ppc64le  x86_64
   #300  coq     17:25  failed   failed    9:16

2025-Jan-27 09:18:54 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 09:18:47
2025-Jan-27 09:18:54 :: created build repo
2025-Jan-27 09:18:55 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:18:55 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:18:55 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:18:55 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:19:14 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:14 :: [i586] #300 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:19:16 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:16 :: [x86_64] #300 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:19:33 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:33 :: [aarch64] #300 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:19:40 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:19:41 :: [ppc64le] #300 coq.git 8.20.0-alt1: build start
[i586] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib/ocaml/compiler-libs/ocamlcommon.cma /usr/lib/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib/ocaml/str/str.cma /usr/lib/ocaml/unix/unix.cma /usr/lib/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib/ocaml/findlib/findlib.cma /usr/lib/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[i586] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/firstorder/firstorder_plugin.cma plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Formula.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Unify.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Sequent.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Rules.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Instances.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Ground.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__G_ground.cmo)
[i586] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[i586] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[i586] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[i586] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[i586] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[i586] Promoting "_build/default/coq-core.install" to "coq-core.install"
[i586] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[i586] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:20:32 :: [i586] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:20:32 :: [i586] #300 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:20:32 :: [i586] requesting cancellation of task processing
[ppc64le] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ltac/ltac_plugin.cma plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacarg.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacsubst.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacenv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pptactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Leminv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Taccoerce.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacintern.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_debug.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_matching.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacinterp.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_option.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacentries.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Profile_ltac_tactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Internals.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_ltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extraargs.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_tactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__ComRewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_rewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_obligations.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_eqdecide.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_class.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_auto.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extratactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Coretactics.cmo)
[ppc64le] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[ppc64le] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib64/ocaml/compiler-libs/ocamlcommon.cma /usr/lib64/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib64/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib64/ocaml/str/str.cma /usr/lib64/ocaml/unix/unix.cma /usr/lib64/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib64/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib64/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib64/ocaml/findlib/findlib.cma /usr/lib64/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib64/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[ppc64le] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[ppc64le] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[ppc64le] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[ppc64le] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[ppc64le] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[ppc64le] Promoting "_build/default/coq-core.install" to "coq-core.install"
[ppc64le] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:22:43 :: [ppc64le] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:22:43 :: [ppc64le] #300 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:28:32 :: [x86_64] #300 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:36:58 :: [aarch64] #300 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:20:32 :: [i586] build FAILED
2025-Jan-27 09:22:43 :: [ppc64le] build FAILED
2025-Jan-27 09:36:58 :: task #371761 for sisyphus FAILED

[#371761] [test-only] FAILED (try 6) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.6.1.log
https://packages.altlinux.org/tasks/371761

subtask  name  aarch64    i586  ppc64le  x86_64
   #400  coq     17:15  failed   failed    9:16

2025-Jan-27 09:40:43 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 09:39:59
2025-Jan-27 09:40:44 :: created build repo
2025-Jan-27 09:40:45 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:40:45 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:40:45 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:40:45 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 09:41:04 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:04 :: [i586] #400 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:41:05 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:05 :: [x86_64] #400 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:41:22 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:23 :: [aarch64] #400 coq.git 8.20.0-alt1: build start
2025-Jan-27 09:41:29 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 09:41:29 :: [ppc64le] #400 coq.git 8.20.0-alt1: build start
[i586] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -bin-annot -bin-annot-occurrences -I plugins/ssr/.ssreflect_plugin.objs/byte -I /usr/lib/ocaml/dynlink -I /usr/lib/ocaml/findlib -I /usr/lib/ocaml/str -I /usr/lib/ocaml/threads -I /usr/lib/ocaml/unix -I /usr/lib/ocaml/zarith -I boot/.boot.objs/byte -I clib/.clib.objs/byte -I config/.config.objs/byte -I engine/.engine.objs/byte -I gramlib/.gramlib.objs/byte -I interp/.interp.objs/byte -I kernel/.kernel.objs/byte -I kernel/byterun/.coqrun.objs/byte -I lib/.lib.objs/byte -I library/.library.objs/byte -I parsing/.parsing.objs/byte -I perf/.coqperf.objs/byte -I plugins/ltac/.ltac_plugin.objs/byte -I plugins/ssrmatching/.ssrmatching_plugin.objs/byte -I pretyping/.pretyping.objs/byte -I printing/.printing.objs/byte -I proofs/.proofs.objs/byte -I tactics/.tactics.objs/byte -I vernac/.vernac.objs/byte -intf-suffix .ml -no-alias-deps -open Ssreflect_plugin -o plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo -c -impl plugins/ssr/ssrtacs.ml)
[i586] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/firstorder/firstorder_plugin.cma plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Formula.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Unify.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Sequent.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Rules.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Instances.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__Ground.cmo plugins/firstorder/.firstorder_plugin.objs/byte/firstorder_plugin__G_ground.cmo)
[i586] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[i586] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[i586] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[i586] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[i586] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[i586] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[i586] Promoting "_build/default/coq-core.install" to "coq-core.install"
[i586] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:42:22 :: [i586] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:42:22 :: [i586] #400 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:42:22 :: [i586] requesting cancellation of task processing
[ppc64le] Running[2264]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ltac/ltac_plugin.cma plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacarg.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacsubst.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacenv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pptactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Leminv.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Taccoerce.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacintern.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_debug.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_matching.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacinterp.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tactic_option.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Pltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Tacentries.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Profile_ltac_tactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Internals.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_ltac.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extraargs.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_tactic.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__ComRewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_rewrite.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_obligations.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_eqdecide.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_class.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__G_auto.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Extratactics.cmo plugins/ltac/.ltac_plugin.objs/byte/ltac_plugin__Coretactics.cmo)
[ppc64le] Running[2265]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ring/ring_plugin.cma plugins/ring/.ring_plugin.objs/byte/ring_plugin.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring_ast.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__Ring.cmo plugins/ring/.ring_plugin.objs/byte/ring_plugin__G_ring.cmo)
[ppc64le] Running[2266]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -o topbin/coqtop_byte_bin.bc -linkall /usr/lib64/ocaml/compiler-libs/ocamlcommon.cma /usr/lib64/ocaml/compiler-libs/ocamlbytecomp.cma /usr/lib64/ocaml/compiler-libs/ocamltoplevel.cma config/byte_config.cma config/config.cma boot/boot.cma /usr/lib64/ocaml/str/str.cma /usr/lib64/ocaml/unix/unix.cma /usr/lib64/ocaml/threads/threads.cma clib/clib.cma perf/coqperf.cma -I perf lib/lib.cma gramlib/gramlib.cma /usr/lib64/ocaml/zarith/zarith.cma kernel/byterun/coqrun.cma -I kernel/byterun /usr/lib64/ocaml/dynlink/dynlink.cma kernel/kernel.cma library/library.cma engine/engine.cma pretyping/pretyping.cma interp/interp.cma parsing/parsing.cma proofs/proofs.cma printing/printing.cma tactics/tactics.cma /usr/lib64/ocaml/findlib/findlib.cma /usr/lib64/ocaml/findlib/findlib_dynload.cma topbin/.coqtop_byte_bin.eobjs/byte/findlib_initl.cmo vernac/vernac.cma sysinit/sysinit.cma tools/coqworkmgr/coqworkmgrlib.cma stm/stm.cma toplevel/toplevel.cma plugins/ltac/ltac_plugin.cma dev/dev.cma /usr/lib64/ocaml/findlib/findlib_top.cma topbin/.coqtop_byte_bin.eobjs/byte/dune__exe__Coqtop_byte_bin.cmo)
[ppc64le] Running[2267]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/funind/funind_plugin.cma plugins/funind/.funind_plugin.objs/byte/funind_plugin.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun_common.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Recdef.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Invfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Indfun.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_termops.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Glob_term_to_relation.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_proofs.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Functional_principles_types.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__Gen_principle.cmo plugins/funind/.funind_plugin.objs/byte/funind_plugin__G_indfun.cmo)
[ppc64le] Running[2268]: (cd _build/default && /usr/bin/ocamlc -w -40 -g -a -o plugins/ssrmatching/ssrmatching_plugin.cma plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__Ssrmatching.cmo plugins/ssrmatching/.ssrmatching_plugin.objs/byte/ssrmatching_plugin__G_ssrmatching.cmo)
[ppc64le] Running[2269]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Micromega_core_plugin -g -a -o plugins/micromega/micromega_plugin.cma plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Vect.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Polynomial.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Simplex.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Persistent_cache.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Linsolve.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Itv.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Certificate.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__Coq_micromega.cmo plugins/micromega/.micromega_plugin.objs/byte/micromega_plugin__G_micromega.cmo)
[ppc64le] Running[2270]: (cd _build/default && /usr/bin/ocamlc -w -40 -open Gramlib -g -a -o plugins/ssr/ssreflect_plugin.cma plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrprinters.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrcommon.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrview.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrvernac.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacticals.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrbwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrelim.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrequality.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssripats.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.cmo plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrtacs.cmo)
[ppc64le] Promoting "_build/default/coq-core.install" to "coq-core.install"
[ppc64le] Running[2271]: (cd _build/default && ../install/default/bin/coqc -noinit -boot -R theories Coq -I plugins/firstorder -I plugins/funind -I plugins/ltac2 -I plugins/ltac2_ltac1 -I plugins/nsatz -I plugins/ring -I plugins/rtauto -I plugins/ssr -I plugins/ssrmatching -I plugins/syntax -I plugins/btauto -I plugins/micromega -I plugins/cc -I plugins/derive -I plugins/extraction -I plugins/ltac -w +default -q -w -deprecated-native-compiler-option -native-compiler off -time-file theories/Init/Notations.timing theories/Init/Notations.v)
[ppc64le] Promoting "_build/default/coqide-server.install" to "coqide-server.install"
2025-Jan-27 09:44:25 :: [ppc64le] coq.git 8.20.0-alt1: remote: build failed
2025-Jan-27 09:44:25 :: [ppc64le] #400 coq.git 8.20.0-alt1: build FAILED
2025-Jan-27 09:50:21 :: [x86_64] #400 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:58:38 :: [aarch64] #400 coq.git 8.20.0-alt1: build OK
2025-Jan-27 09:42:22 :: [i586] build FAILED
2025-Jan-27 09:44:26 :: [ppc64le] build FAILED
2025-Jan-27 09:58:38 :: task #371761 for sisyphus FAILED

[#371761] [test-only] FAILED (try 7) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.7.1.log
https://packages.altlinux.org/tasks/371761

2025-Jan-27 13:24:41 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 13:24:25
2025-Jan-27 13:24:42 :: created build repo
2025-Jan-27 13:24:43 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:24:43 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:24:43 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:24:43 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:25:02 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:02 :: [i586] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:03 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:03 :: [x86_64] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:15 :: [i586] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:25:16 :: [x86_64] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:25:21 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:21 :: [aarch64] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:29 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:25:29 :: [ppc64le] #500 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:25:44 :: [aarch64] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:25:54 :: [ppc64le] #500 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:26:15 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 13:26:15 :: #500: coq.git 8.20.0-alt1: no source package
2025-Jan-27 13:26:16 :: build check FAILED for: #500 
2025-Jan-27 13:26:16 :: task #371761 for sisyphus FAILED

[#371761] [test-only] FAILED (try 8) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.8.1.log
https://packages.altlinux.org/tasks/371761

subtask  name  aarch64  i586  ppc64le  x86_64
   #600  coq     17:27     -        -    9:18

2025-Jan-27 13:31:02 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 13:30:47
2025-Jan-27 13:31:02 :: created build repo
2025-Jan-27 13:31:03 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:17 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:18 :: [i586] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:18 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:18 :: [x86_64] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:31 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:31 :: [ppc64le] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:32 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:32 :: [aarch64] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:33 :: [i586] #600 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:31:59 :: [ppc64le] #600 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:40:36 :: [x86_64] #600 coq.git 8.20.0-alt1: build OK
2025-Jan-27 13:48:59 :: [aarch64] #600 coq.git 8.20.0-alt1: build OK
2025-Jan-27 13:49:18 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 13:49:38 :: #600: coq.git 8.20.0-alt1: build check OK
2025-Jan-27 13:49:39 :: build check OK
2025-Jan-27 13:50:39 :: noarch check OK
2025-Jan-27 13:50:41 :: plan: src +2 -1 =20053, aarch64 +11 -4 =34846, i586 +4 -4 =33850, ppc64le +4 -4 =33407, x86_64 +11 -4 =35665
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
 Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
 - NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-27 13:51:30 :: patched apt indices
2025-Jan-27 13:51:42 :: created next repo
2025-Jan-27 13:51:53 :: duplicate provides check OK
	x86_64: NEW unmet dependencies detected:
 coq-core#8.20.0-alt1:sisyphus+371761.600.8.1@1737985169  python3(TimeFileMaker) < 0
	aarch64: NEW unmet dependencies detected:
 coq-core#8.20.0-alt1:sisyphus+371761.600.8.1@1737985624  python3(TimeFileMaker) < 0
	ACLs of affected packages (1):
 coq
2025-Jan-27 13:52:33 :: unmets: x86_64 +1 -0 =1, aarch64 +1 -0 =4
2025-Jan-27 13:52:34 :: dependencies check FAILED
2025-Jan-27 13:52:34 :: task #371761 for sisyphus FAILED

[#371761] TESTED (try 9) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.9.1.log
https://packages.altlinux.org/tasks/371761

subtask  name            aarch64  i586  ppc64le  x86_64
    #40  ocaml-lablgtk3     3:21  1:42     3:31    1:47
   #700  coq               17:27     -        -    9:14

2025-Jan-27 14:05:20 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 14:04:56
2025-Jan-27 14:05:21 :: created build repo
2025-Jan-27 14:05:22 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:05:22 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:05:22 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:05:22 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 14:07:04 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:07:04 :: [i586] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:07:09 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:07:09 :: [x86_64] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:07:18 :: [i586] #700 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 14:08:43 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:08:44 :: [aarch64] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:08:53 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 14:08:53 :: [ppc64le] #700 coq.git 8.20.0-alt1: build start
2025-Jan-27 14:09:21 :: [ppc64le] #700 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 14:16:23 :: [x86_64] #700 coq.git 8.20.0-alt1: build OK
2025-Jan-27 14:26:11 :: [aarch64] #700 coq.git 8.20.0-alt1: build OK
2025-Jan-27 14:26:31 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 14:26:52 :: #700: coq.git 8.20.0-alt1: build check OK
2025-Jan-27 14:26:53 :: build check OK
2025-Jan-27 14:27:53 :: noarch check OK
2025-Jan-27 14:27:55 :: plan: src +2 -1 =20053, aarch64 +11 -4 =34846, i586 +4 -4 =33850, ppc64le +4 -4 =33407, x86_64 +11 -4 =35665
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
 Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
 - NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-27 14:28:45 :: patched apt indices
2025-Jan-27 14:28:59 :: created next repo
2025-Jan-27 14:29:10 :: duplicate provides check OK
2025-Jan-27 14:30:04 :: dependencies check OK
2025-Jan-27 14:31:10 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
	x86_64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-27 14:31:28 :: [x86_64] #700 coq: install check OK
	aarch64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-27 14:31:40 :: [aarch64] #700 coq: install check OK
2025-Jan-27 14:31:40 :: [i586] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 14:32:01 :: [ppc64le] #40 ocaml-lablgtk3: install check OK
	x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-27 14:32:08 :: [x86_64] #700 coq-coqide: install check OK
2025-Jan-27 14:32:10 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:32:36 :: [i586] #40 ocaml-lablgtk3-devel: install check OK
	aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-27 14:32:43 :: [aarch64] #700 coq-coqide: install check OK
2025-Jan-27 14:32:52 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:32:56 :: [x86_64] #700 coq-coqide-debuginfo: install check OK
2025-Jan-27 14:33:11 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 14:33:32 :: [x86_64] #700 coq-coqide-server: install check OK
2025-Jan-27 14:33:36 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 14:33:57 :: [aarch64] #700 coq-coqide-debuginfo: install check OK
2025-Jan-27 14:34:10 :: [x86_64] #700 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 14:34:36 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
	x86_64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-27 14:34:46 :: [x86_64] #700 coq-core: install check OK
2025-Jan-27 14:34:54 :: [aarch64] #700 coq-coqide-server: install check OK
2025-Jan-27 14:35:22 :: [x86_64] #700 coq-core-debuginfo: install check OK
2025-Jan-27 14:35:43 :: [x86_64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 14:35:54 :: [aarch64] #700 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 14:36:11 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:36:37 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK
	aarch64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-27 14:36:49 :: [aarch64] #700 coq-core: install check OK
2025-Jan-27 14:37:10 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 14:37:47 :: [aarch64] #700 coq-core-debuginfo: install check OK
2025-Jan-27 14:38:20 :: [aarch64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 14:39:04 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 14:39:43 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 14:40:35 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 14:40:36 :: [x86_64-i586] plan: #1 +1 -1 =11563
2025-Jan-27 14:41:03 :: [x86_64-i586] arepo build OK
2025-Jan-27 14:41:20 :: [x86_64-i586] generated apt indices
2025-Jan-27 14:41:22 :: [x86_64-i586] created next repo
2025-Jan-27 14:41:33 :: [x86_64-i586] dependencies check OK
2025-Jan-27 14:41:35 :: gears inheritance check OK
2025-Jan-27 14:41:35 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #40: ocaml-lablgtk3: Operation not permitted
girar-check-perms: access to coq DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #700: coq: Operation not permitted
2025-Jan-27 14:41:36 :: acl check IGNORED
2025-Jan-27 14:41:50 :: created contents_index files
2025-Jan-27 14:42:04 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-27 14:42:09 :: task #371761 for sisyphus TESTED

[#371761] TESTED (try 10) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.10.1.log
https://packages.altlinux.org/tasks/371761

subtask  name            aarch64  i586  ppc64le  x86_64
    #40  ocaml-lablgtk3     2:44  1:35     3:19    1:40
  #1000  coq               17:05     -        -    9:29

2025-Jan-27 18:34:00 :: test-only task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 18:33:41
2025-Jan-27 18:34:00 :: created build repo
2025-Jan-27 18:34:01 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:34:01 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:34:01 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:34:01 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 18:35:36 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:35:36 :: [i586] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:35:41 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:35:41 :: [x86_64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:35:50 :: [i586] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 18:36:45 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:36:45 :: [aarch64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:37:20 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK
2025-Jan-27 18:37:21 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-27 18:37:48 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 18:45:10 :: [x86_64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-27 18:53:50 :: [aarch64] #1000 coq.git 8.20.0-alt1: build OK
2025-Jan-27 18:54:08 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 18:54:28 :: #1000: coq.git 8.20.0-alt1: build check OK
2025-Jan-27 18:54:29 :: build check OK
2025-Jan-27 18:55:30 :: noarch check OK
2025-Jan-27 18:55:32 :: plan: src +2 -1 =20053, aarch64 +11 -4 =34846, i586 +4 -4 =33850, ppc64le +4 -4 =33407, x86_64 +11 -4 =35662
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
 Sat Jan 25 2025 Leonid Znamenok <respublica@altlinux> 3.1.5-alt2
 - NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-27 18:56:20 :: patched apt indices
2025-Jan-27 18:56:32 :: created next repo
2025-Jan-27 18:56:43 :: duplicate provides check OK
2025-Jan-27 18:57:23 :: dependencies check OK
2025-Jan-27 18:58:19 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
	x86_64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-27 18:58:35 :: [x86_64] #1000 coq: install check OK
	aarch64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-27 18:58:44 :: [aarch64] #1000 coq: install check OK
2025-Jan-27 18:58:46 :: [i586] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 18:59:05 :: [ppc64le] #40 ocaml-lablgtk3: install check OK
	x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-27 18:59:14 :: [x86_64] #1000 coq-coqide: install check OK
2025-Jan-27 18:59:16 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 18:59:43 :: [i586] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 18:59:57 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK
	aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-27 19:00:00 :: [aarch64] #1000 coq-coqide: install check OK
2025-Jan-27 19:00:02 :: [x86_64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-27 19:00:18 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 19:00:39 :: [x86_64] #1000 coq-coqide-server: install check OK
2025-Jan-27 19:00:42 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 19:01:15 :: [aarch64] #1000 coq-coqide-debuginfo: install check OK
2025-Jan-27 19:01:18 :: [x86_64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 19:01:43 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
	x86_64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-27 19:01:53 :: [x86_64] #1000 coq-core: install check OK
2025-Jan-27 19:02:13 :: [aarch64] #1000 coq-coqide-server: install check OK
2025-Jan-27 19:02:34 :: [x86_64] #1000 coq-core-debuginfo: install check OK
2025-Jan-27 19:02:55 :: [x86_64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 19:03:14 :: [aarch64] #1000 coq-coqide-server-debuginfo: install check OK
2025-Jan-27 19:03:24 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 19:03:50 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK
	aarch64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-27 19:04:13 :: [aarch64] #1000 coq-core: install check OK
2025-Jan-27 19:04:24 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 19:05:18 :: [aarch64] #1000 coq-core-debuginfo: install check OK
2025-Jan-27 19:05:59 :: [aarch64] #40 ocaml-lablgtk3: install check OK
2025-Jan-27 19:06:51 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK
2025-Jan-27 19:07:32 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK
2025-Jan-27 19:08:25 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK
2025-Jan-27 19:08:26 :: [x86_64-i586] plan: #1 +1 -1 =11563
2025-Jan-27 19:08:44 :: [x86_64-i586] arepo build OK
2025-Jan-27 19:09:01 :: [x86_64-i586] generated apt indices
2025-Jan-27 19:09:03 :: [x86_64-i586] created next repo
2025-Jan-27 19:09:15 :: [x86_64-i586] dependencies check OK
2025-Jan-27 19:09:16 :: gears inheritance check OK
2025-Jan-27 19:09:16 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #40: ocaml-lablgtk3: Operation not permitted
girar-check-perms: access to coq DENIED for respublica: does not belong to maintainers list yet
check-subtask-perms: #1000: coq: Operation not permitted
2025-Jan-27 19:09:17 :: acl check IGNORED
2025-Jan-27 19:09:29 :: created contents_index files
2025-Jan-27 19:09:40 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-27 19:09:43 :: task #371761 for sisyphus TESTED