[riscv-reports] [#131428] sisyphus_riscv64 DONE srpm=rocq-9.2.0-alt3.src.rpm

[Girar sisyphus_riscv64 pender recycler]

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

subtask  name  riscv64
   #100  rocq    45:23

2026-Jul-05 13:28:12 :: shared task #131428 for sisyphus_riscv64 started by recycler:
2026-Jul-05 13:28:12 :: message: sync
#100 build rocq-9.2.0-alt3.src.rpm
2026-Jul-05 13:28:18 :: [riscv64] #100 rocq-9.2.0-alt3.src.rpm: build start
2026-Jul-05 14:13:41 :: [riscv64] #100 rocq-9.2.0-alt3.src.rpm: build OK
2026-Jul-05 14:13:43 :: 100: build check OK
2026-Jul-05 14:13:43 :: build check OK
2026-Jul-05 14:13:43 :: #100: rocq-9.2.0-alt3.src.rpm: version check OK
2026-Jul-05 14:13:43 :: build version check OK
2026-Jul-05 14:13:43 :: noarch check OK
2026-Jul-05 14:13:44 :: plan: src +1 -1 =21210, riscv64 +9 -9 =37555
#100 rocq 9.2.0-alt2 -> 9.2.0-alt3
 Wed Jul 01 2026 Leonid Znamenok <respublica at altlinux.org> 9.2.0-alt3
 - Fixed FTBFS with dune 3.21.
2026-Jul-05 14:14:11 :: patched apt indices
2026-Jul-05 14:14:13 :: created next repo
2026-Jul-05 14:14:23 :: duplicate provides check OK
2026-Jul-05 14:14:48 :: dependencies check OK
2026-Jul-05 14:15:27 :: [riscv64] ELF symbols check OK
2026-Jul-05 14:15:41 :: [riscv64.0] #100 coq-core-compat: install check start
2026-Jul-05 14:15:41 :: [riscv64.1] #100 rocq: install check start
2026-Jul-05 14:15:41 :: [riscv64.2] #100 rocq-coqide-server: install check start
2026-Jul-05 14:15:42 :: [riscv64.3] #100 rocq-core: install check start
2026-Jul-05 14:15:42 :: [riscv64.4] #100 rocq-rocqide: install check start
	riscv64: rocq=9.2.0-alt3 post-install unowned files:
 /usr/lib64/ocaml
2026-Jul-05 14:16:51 :: [riscv64.1] #100 rocq: install check OK
	riscv64: rocq-core=9.2.0-alt3 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2026-Jul-05 14:18:28 :: [riscv64.3] #100 rocq-core: install check OK
2026-Jul-05 14:18:28 :: [riscv64.0] #100 coq-core-compat: install check OK
2026-Jul-05 14:18:29 :: [riscv64.2] #100 rocq-coqide-server: install check OK
2026-Jul-05 14:18:43 :: [riscv64.4] #100 rocq-rocqide: install check OK
2026-Jul-05 14:18:45 :: gears inheritance check OK
2026-Jul-05 14:18:45 :: srpm inheritance check OK
check-subtask-perms: #100: rocq: approved by superuser iv
2026-Jul-05 14:18:46 :: acl check OK
2026-Jul-05 14:18:53 :: created contents_index files
2026-Jul-05 14:18:58 :: created hash files: riscv64 src
2026-Jul-05 14:18:59 :: task #131428 for sisyphus_riscv64 TESTED
2026-Jul-05 14:18:59 :: task is ready for commit
2026-Jul-05 14:19:01 :: repo clone OK
2026-Jul-05 14:19:01 :: packages update OK
2026-Jul-05 14:19:02 :: [riscv64] update OK
2026-Jul-05 14:19:02 :: repo update OK
2026-Jul-05 14:19:06 :: repo save OK
2026-Jul-05 14:19:06 :: src index update OK
2026-Jul-05 14:19:07 :: updated /srpms/r/rocq.git branch `sisyphus_riscv64'
2026-Jul-05 14:19:09 :: gears update OK
2026-Jul-05 14:19:09 :: task #131428 for sisyphus_riscv64 DONE