[riscv-reports] [#73629] sisyphus_riscv64 DONE srpm=coq-8.20.1-alt1.src.rpm

[Girar sisyphus_riscv64 pender recycler]

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

subtask  name  riscv64
   #100  coq     57:42

2025-Feb-19 21:52:44 :: shared task #73629 for sisyphus_riscv64 started by recycler:
2025-Feb-19 21:52:44 :: message: sync_with_sisyphus
#100 build coq-8.20.1-alt1.src.rpm
2025-Feb-19 21:52:51 :: [riscv64] #100 coq-8.20.1-alt1.src.rpm: build start
2025-Feb-19 21:53:57 :: [riscv64] #100 coq-8.20.1-alt1.src.rpm: build OK (cached)
2025-Feb-19 21:53:59 :: #100: coq-8.20.1-alt1.src.rpm: build check OK
2025-Feb-19 21:53:59 :: build check OK
2025-Feb-19 21:53:59 :: noarch check OK
2025-Feb-19 21:53:59 :: plan: src +1 -1 =18650, riscv64 +7 -7 =31749
#100 coq 8.20.0-alt1 -> 8.20.1-alt1
 Tue Feb 18 2025 Leonid Znamenok <respublica at altlinux.org> 8.20.1-alt1
 - New version 8.20.1.
2025-Feb-19 21:54:17 :: patched apt indices
2025-Feb-19 21:54:19 :: created next repo
2025-Feb-19 21:54:28 :: duplicate provides check OK
2025-Feb-19 21:54:48 :: dependencies check OK
2025-Feb-19 21:55:03 :: [riscv64] ELF symbols check OK
2025-Feb-19 21:55:20 :: [riscv64.0] #100 coq: install check start
2025-Feb-19 21:55:20 :: [riscv64.1] #100 coq-coqide: install check start
2025-Feb-19 21:55:20 :: [riscv64.2] #100 coq-coqide-server: install check start
2025-Feb-19 21:55:20 :: [riscv64.3] #100 coq-core: install check start
	riscv64: coq=8.20.1-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Feb-19 21:56:10 :: [riscv64.0] #100 coq: install check OK (cached)
	riscv64: coq-coqide=8.20.1-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Feb-19 21:56:15 :: [riscv64.1] #100 coq-coqide: install check OK (cached)
2025-Feb-19 21:56:15 :: [riscv64.2] #100 coq-coqide-server: install check OK (cached)
	riscv64: coq-core=8.20.1-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Feb-19 21:56:16 :: [riscv64.3] #100 coq-core: install check OK (cached)
2025-Feb-19 21:56:21 :: gears inheritance check OK
2025-Feb-19 21:56:21 :: srpm inheritance check OK
check-subtask-perms: #100: coq: approved by superuser iv
2025-Feb-19 21:56:21 :: acl check OK
2025-Feb-19 21:56:28 :: created contents_index files
2025-Feb-19 21:56:32 :: created hash files: riscv64 src
2025-Feb-19 21:56:33 :: task #73629 for sisyphus_riscv64 TESTED
2025-Feb-19 21:56:33 :: task is ready for commit
2025-Feb-19 21:56:34 :: repo clone OK
2025-Feb-19 21:56:34 :: packages update OK
2025-Feb-19 21:56:35 :: [riscv64] update OK
2025-Feb-19 21:56:35 :: repo update OK
2025-Feb-19 21:56:38 :: repo save OK
2025-Feb-19 21:56:38 :: src index update OK
2025-Feb-19 21:56:40 :: updated /srpms/c/coq.git branch `sisyphus_riscv64'
2025-Feb-19 21:56:42 :: gears update OK
2025-Feb-19 21:56:42 :: task #73629 for sisyphus_riscv64 DONE