[riscv-reports] [#125046] sisyphus_riscv64 DONE (try 2) srpm=rocq-9.2.0-alt2.src.rpm

[Girar sisyphus_riscv64 pender recycler]

http://web.build.srt.basealt.ru/tasks/archive/done/_122/125046/logs/events.2.1.log

subtask  name  riscv64
   #100  rocq    46:21

2026-May-14 06:02:38 :: shared task #125046 for sisyphus_riscv64 resumed by recycler:
2026-May-14 06:02:38 :: message: sync
#100 build rocq-9.2.0-alt2.src.rpm
2026-May-14 06:02:56 :: [riscv64] #100 rocq-9.2.0-alt2.src.rpm: build start
2026-May-14 06:49:17 :: [riscv64] #100 rocq-9.2.0-alt2.src.rpm: build OK
2026-May-14 06:49:19 :: 100: build check OK
2026-May-14 06:49:19 :: build check OK
2026-May-14 06:49:20 :: #100: rocq-9.2.0-alt2.src.rpm: version check OK
2026-May-14 06:49:20 :: build version check OK
2026-May-14 06:49:20 :: noarch check OK
2026-May-14 06:49:21 :: plan: src +1 -1 =20971, riscv64 +9 -9 =37053
#100 rocq 9.2.0-alt1 -> 9.2.0-alt2
 Mon May 11 2026 Leonid Znamenok <respublica at altlinux.org> 9.2.0-alt2
 - Dropped dependency on python2-base (Closes: 59080).
2026-May-14 06:49:47 :: patched apt indices
2026-May-14 06:49:49 :: created next repo
2026-May-14 06:49:59 :: duplicate provides check OK
2026-May-14 06:50:24 :: dependencies check OK
2026-May-14 06:51:01 :: [riscv64] ELF symbols check OK
2026-May-14 06:51:17 :: [riscv64.0] #100 coq-core-compat: install check start
2026-May-14 06:51:17 :: [riscv64.1] #100 rocq: install check start
2026-May-14 06:51:17 :: [riscv64.2] #100 rocq-coqide-server: install check start
2026-May-14 06:51:17 :: [riscv64.3] #100 rocq-core: install check start
2026-May-14 06:51:18 :: [riscv64.4] #100 rocq-rocqide: install check start
	riscv64: rocq=9.2.0-alt2 post-install unowned files:
 /usr/lib64/ocaml
2026-May-14 06:52:30 :: [riscv64.1] #100 rocq: install check OK
	riscv64: rocq-core=9.2.0-alt2 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2026-May-14 06:54:13 :: [riscv64.2] #100 rocq-coqide-server: install check OK
2026-May-14 06:54:13 :: [riscv64.0] #100 coq-core-compat: install check OK
2026-May-14 06:54:15 :: [riscv64.3] #100 rocq-core: install check OK
2026-May-14 06:54:30 :: [riscv64.4] #100 rocq-rocqide: install check OK
2026-May-14 06:54:33 :: gears inheritance check OK
2026-May-14 06:54:33 :: srpm inheritance check OK
check-subtask-perms: #100: rocq: approved by superuser iv
2026-May-14 06:54:33 :: acl check OK
2026-May-14 06:54:40 :: created contents_index files
2026-May-14 06:54:45 :: created hash files: riscv64 src
2026-May-14 06:54:46 :: task #125046 for sisyphus_riscv64 TESTED
2026-May-14 06:54:46 :: task is ready for commit
2026-May-14 06:54:49 :: repo clone OK
2026-May-14 06:54:49 :: packages update OK
2026-May-14 06:54:50 :: [riscv64] update OK
2026-May-14 06:54:50 :: repo update OK
2026-May-14 06:54:55 :: repo save OK
2026-May-14 06:54:55 :: src index update OK
2026-May-14 06:54:56 :: updated /srpms/r/rocq.git branch `sisyphus_riscv64'
2026-May-14 06:54:58 :: gears update OK
2026-May-14 06:54:58 :: task #125046 for sisyphus_riscv64 DONE