[riscv-reports] [#118997] sisyphus_riscv64 DONE del=coq srpm=rocq-9.2.0-alt1.src.rpm

[Girar sisyphus_riscv64 pender recycler]

http://web.build.srt.basealt.ru/tasks/archive/done/_116/118997/logs/events.1.3.log

subtask  name  riscv64
   #200  rocq    46:41

2026-Apr-16 06:29:10 :: shared task #118997 for sisyphus_riscv64 started by recycler:
2026-Apr-16 06:29:10 :: message: sync
#100 delete coq
#200 build rocq-9.2.0-alt1.src.rpm
2026-Apr-16 06:29:18 :: [riscv64] #200 rocq-9.2.0-alt1.src.rpm: build start
2026-Apr-16 06:30:33 :: [riscv64] #200 rocq-9.2.0-alt1.src.rpm: build OK (cached)
2026-Apr-16 06:30:34 :: 200: build check OK (cached)
2026-Apr-16 06:30:34 :: build check OK
2026-Apr-16 06:30:34 :: #200: rocq-9.2.0-alt1.src.rpm: version check OK
2026-Apr-16 06:30:34 :: build version check OK
2026-Apr-16 06:30:34 :: noarch check OK
2026-Apr-16 06:30:35 :: plan: src +1 -1 =20817, riscv64 +9 -7 =36833
2026-Apr-16 06:30:59 :: patched apt indices
2026-Apr-16 06:31:01 :: created next repo
2026-Apr-16 06:31:11 :: duplicate provides check OK
2026-Apr-16 06:31:35 :: dependencies check OK
2026-Apr-16 06:31:57 :: [riscv64] ELF symbols check OK
2026-Apr-16 06:32:14 :: [riscv64.0] #200 coq-core-compat: install check start
2026-Apr-16 06:32:14 :: [riscv64.1] #200 rocq: install check start
2026-Apr-16 06:32:14 :: [riscv64.2] #200 rocq-coqide-server: install check start
2026-Apr-16 06:32:14 :: [riscv64.3] #200 rocq-core: install check start
2026-Apr-16 06:32:14 :: [riscv64.4] #200 rocq-rocqide: install check start
	riscv64: rocq=9.2.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2026-Apr-16 06:33:10 :: [riscv64.1] #200 rocq: install check OK (cached)
2026-Apr-16 06:33:14 :: [riscv64.2] #200 rocq-coqide-server: install check OK (cached)
2026-Apr-16 06:33:14 :: [riscv64.0] #200 coq-core-compat: install check OK (cached)
	riscv64: rocq-core=9.2.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2026-Apr-16 06:33:16 :: [riscv64.3] #200 rocq-core: install check OK (cached)
2026-Apr-16 06:33:20 :: [riscv64.4] #200 rocq-rocqide: install check OK (cached)
2026-Apr-16 06:33:22 :: gears inheritance check OK
2026-Apr-16 06:33:22 :: srpm inheritance check OK
check-subtask-perms: #100: coq: approved by superuser iv
check-subtask-perms: #200: rocq: approved by superuser iv
2026-Apr-16 06:33:22 :: acl check OK
2026-Apr-16 06:33:30 :: created contents_index files
2026-Apr-16 06:33:35 :: created hash files: riscv64 src
2026-Apr-16 06:33:36 :: task #118997 for sisyphus_riscv64 TESTED
2026-Apr-16 06:33:36 :: task is ready for commit
2026-Apr-16 06:33:38 :: repo clone OK
2026-Apr-16 06:33:38 :: packages update OK
2026-Apr-16 06:33:39 :: [riscv64] update OK
2026-Apr-16 06:33:39 :: repo update OK
2026-Apr-16 06:33:42 :: repo save OK
2026-Apr-16 06:33:42 :: src index update OK
2026-Apr-16 06:33:45 :: created /srpms/r/rocq.git branch `sisyphus_riscv64'
2026-Apr-16 06:33:45 :: saved /srpms/c/coq.git branch `sisyphus_riscv64' as `old/sisyphus_riscv64-task118997'
2026-Apr-16 06:33:45 :: removed /srpms/c/coq.git branch `sisyphus_riscv64'
2026-Apr-16 06:33:51 :: gears update OK
2026-Apr-16 06:33:51 :: task #118997 for sisyphus_riscv64 DONE