[riscv-reports] [#71487] sisyphus_riscv64 DONE srpm=ocaml-lablgtk3-3.1.5-alt2.src.rpm srpm=coq-8.20.0-alt1.src.rpm

[Girar sisyphus_riscv64 pender recycler]

http://web.build.srt.basealt.ru/tasks/archive/done/_69/71487/logs/events.1.1.log

subtask  name            riscv64
   #100  ocaml-lablgtk3     7:04
   #200  coq               53:56

2025-Jan-31 16:05:35 :: shared task #71487 for sisyphus_riscv64 started by recycler:
2025-Jan-31 16:05:35 :: message: sync_with_sisyphus
#100 build ocaml-lablgtk3-3.1.5-alt2.src.rpm
#200 build coq-8.20.0-alt1.src.rpm
2025-Jan-31 16:05:35 :: created build repo
2025-Jan-31 16:05:41 :: [riscv64] #100 ocaml-lablgtk3-3.1.5-alt2.src.rpm: build start
2025-Jan-31 16:12:45 :: [riscv64] #100 ocaml-lablgtk3-3.1.5-alt2.src.rpm: build OK
2025-Jan-31 16:12:45 :: [riscv64] #200 coq-8.20.0-alt1.src.rpm: build start
2025-Jan-31 17:06:41 :: [riscv64] #200 coq-8.20.0-alt1.src.rpm: build OK
2025-Jan-31 17:06:42 :: #100: ocaml-lablgtk3-3.1.5-alt2.src.rpm: build check OK
2025-Jan-31 17:06:44 :: #200: coq-8.20.0-alt1.src.rpm: build check OK
2025-Jan-31 17:06:44 :: build check OK
2025-Jan-31 17:06:45 :: noarch check OK
2025-Jan-31 17:06:45 :: plan: src +2 -1 =18622, riscv64 +11 -4 =31785
#100 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
 Sat Jan 25 2025 Leonid Znamenok <respublica at altlinux.org> 3.1.5-alt2
 - NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-31 17:07:05 :: patched apt indices
2025-Jan-31 17:07:07 :: created next repo
2025-Jan-31 17:07:15 :: duplicate provides check OK
2025-Jan-31 17:07:35 :: dependencies check OK
2025-Jan-31 17:08:10 :: [riscv64] ELF symbols check OK
2025-Jan-31 17:08:26 :: [riscv64.0] #200 coq: install check start
2025-Jan-31 17:08:26 :: [riscv64.1] #200 coq-coqide: install check start
2025-Jan-31 17:08:26 :: [riscv64.2] #200 coq-coqide-server: install check start
2025-Jan-31 17:08:26 :: [riscv64.3] #200 coq-core: install check start
2025-Jan-31 17:08:27 :: [riscv64.4] #100 ocaml-lablgtk3: install check start
2025-Jan-31 17:08:27 :: [riscv64.5] #100 ocaml-lablgtk3-devel: install check start
	riscv64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-31 17:09:30 :: [riscv64.0] #200 coq: install check OK
2025-Jan-31 17:10:21 :: [riscv64.4] #100 ocaml-lablgtk3: install check OK
2025-Jan-31 17:10:35 :: [riscv64.5] #100 ocaml-lablgtk3-devel: install check OK
	riscv64: 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-31 17:11:09 :: [riscv64.3] #200 coq-core: install check OK
2025-Jan-31 17:11:13 :: [riscv64.2] #200 coq-coqide-server: install check OK
	riscv64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-31 17:11:31 :: [riscv64.1] #200 coq-coqide: install check OK
2025-Jan-31 17:11:36 :: gears inheritance check OK
2025-Jan-31 17:11:36 :: srpm inheritance check OK
check-subtask-perms: #100: ocaml-lablgtk3: approved by superuser iv
check-subtask-perms: #200: coq: approved by superuser iv
2025-Jan-31 17:11:36 :: acl check OK
2025-Jan-31 17:11:43 :: created contents_index files
2025-Jan-31 17:11:48 :: created hash files: riscv64 src
2025-Jan-31 17:11:48 :: task #71487 for sisyphus_riscv64 TESTED
2025-Jan-31 17:11:49 :: task is ready for commit
2025-Jan-31 17:11:50 :: repo clone OK
2025-Jan-31 17:11:50 :: packages update OK
2025-Jan-31 17:11:51 :: [riscv64] update OK
2025-Jan-31 17:11:51 :: repo update OK
2025-Jan-31 17:11:54 :: repo save OK
2025-Jan-31 17:11:54 :: src index update OK
2025-Jan-31 17:11:57 :: created /srpms/c/coq.git branch `sisyphus_riscv64'
fatal: tag '3.1.5-alt2' already exists
2025-Jan-31 17:11:58 :: updated /srpms/o/ocaml-lablgtk3.git branch `sisyphus_riscv64'
2025-Jan-31 17:12:01 :: gears update OK
2025-Jan-31 17:12:01 :: ACL for new project `coq' assigned to user `recycler'
2025-Jan-31 17:12:02 :: task #71487 for sisyphus_riscv64 DONE