[riscv-reports] [#114874] sisyphus_riscv64 DONE srpm=ocaml-findlib-1.9.8-alt1.src.rpm ...

[Girar sisyphus_riscv64 pender recycler]

http://web.build.srt.basealt.ru/tasks/archive/done/_112/114874/logs/events.1.2.log

subtask  name              riscv64
   #100  ocaml-findlib        4:32
   #200  ocaml-ocp-indent     3:22
   #300  ocaml-mdx            4:31
   #400  utop                 3:53
   #500  coq                 56:04

2026-Mar-16 08:09:56 :: shared task #114874 for sisyphus_riscv64 started by recycler:
2026-Mar-16 08:09:56 :: message: sync
#100 build ocaml-findlib-1.9.8-alt1.src.rpm
#200 build ocaml-ocp-indent-1.9.0-alt1.src.rpm
#300 build ocaml-mdx-2.5.1-alt1.src.rpm
#400 build utop-2.16.0-alt1.src.rpm
#500 build coq-8.20.1-alt1.src.rpm
2026-Mar-16 08:09:56 :: created build repo
2026-Mar-16 08:10:24 :: [riscv64] #100 ocaml-findlib-1.9.8-alt1.src.rpm: build start
2026-Mar-16 08:12:31 :: [riscv64] #100 ocaml-findlib-1.9.8-alt1.src.rpm: build OK (cached)
2026-Mar-16 08:12:31 :: [riscv64] #200 ocaml-ocp-indent-1.9.0-alt1.src.rpm: build start
2026-Mar-16 08:14:29 :: [riscv64] #200 ocaml-ocp-indent-1.9.0-alt1.src.rpm: build OK (cached)
2026-Mar-16 08:14:29 :: [riscv64] #300 ocaml-mdx-2.5.1-alt1.src.rpm: build start
2026-Mar-16 08:16:14 :: [riscv64] #300 ocaml-mdx-2.5.1-alt1.src.rpm: build OK (cached)
2026-Mar-16 08:16:14 :: [riscv64] #400 utop-2.16.0-alt1.src.rpm: build start
2026-Mar-16 08:17:41 :: [riscv64] #400 utop-2.16.0-alt1.src.rpm: build OK (cached)
2026-Mar-16 08:17:42 :: [riscv64] #500 coq-8.20.1-alt1.src.rpm: build start
2026-Mar-16 08:19:22 :: [riscv64] #500 coq-8.20.1-alt1.src.rpm: build OK (cached)
2026-Mar-16 08:19:22 :: 100: build check OK (cached)
2026-Mar-16 08:19:22 :: 200: build check OK (cached)
2026-Mar-16 08:19:22 :: 300: build check OK (cached)
2026-Mar-16 08:19:22 :: 400: build check OK (cached)
2026-Mar-16 08:19:22 :: 500: build check OK (cached)
2026-Mar-16 08:19:22 :: build check OK
2026-Mar-16 08:19:22 :: #100: ocaml-findlib-1.9.8-alt1.src.rpm: version check OK
2026-Mar-16 08:19:23 :: #200: ocaml-ocp-indent-1.9.0-alt1.src.rpm: package `ocaml-ocp-indent' version `1.9.0-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:a0ec370ebcfe12a85358b675219dab48dee4d40d'
2026-Mar-16 08:19:23 :: #200: ocaml-ocp-indent-1.9.0-alt1.src.rpm: package `ocaml-ocp-indent' version `1.9.0-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:e4e54d697f5469d1e972ae44e09a8d1652f5d4eb'
2026-Mar-16 08:19:23 :: source id check COND-OK
2026-Mar-16 08:19:23 :: #200: ocaml-ocp-indent-1.9.0-alt1.src.rpm: version check OK
2026-Mar-16 08:19:23 :: #300: ocaml-mdx-2.5.1-alt1.src.rpm: package `ocaml-mdx' version `2.5.1-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:5b506f19cd0053664f6754e6ddc752d9c5af8196'
2026-Mar-16 08:19:23 :: #300: ocaml-mdx-2.5.1-alt1.src.rpm: package `ocaml-mdx' version `2.5.1-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:941e2b55106955c407ae0990536ac5864bcad7d2'
2026-Mar-16 08:19:23 :: #300: ocaml-mdx-2.5.1-alt1.src.rpm: package `ocaml-mdx' version `2.5.1-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:6fb818024119f2f2f3ff23642a126c6317bc09e5'
2026-Mar-16 08:19:23 :: #300: ocaml-mdx-2.5.1-alt1.src.rpm: package `ocaml-mdx' version `2.5.1-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:86ee6fea44ba384fde146f0fed0aa125a9972046'
2026-Mar-16 08:19:23 :: #300: ocaml-mdx-2.5.1-alt1.src.rpm: package `ocaml-mdx' version `2.5.1-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:684cbc595f698dbbd7d56bd74b17aa8d22df4e74'
2026-Mar-16 08:19:23 :: source id check COND-OK
2026-Mar-16 08:19:23 :: #300: ocaml-mdx-2.5.1-alt1.src.rpm: version check OK
2026-Mar-16 08:19:23 :: #400: utop-2.16.0-alt1.src.rpm: package `utop' version `2.16.0-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:3e7b12554d381abb511d612d6d6ba66e4508809e'
2026-Mar-16 08:19:23 :: #400: utop-2.16.0-alt1.src.rpm: package `utop' version `2.16.0-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:f2242b8290a6755867e7c3611cc86a68becc5066'
2026-Mar-16 08:19:23 :: #400: utop-2.16.0-alt1.src.rpm: package `utop' version `2.16.0-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:8b4d717db24485a06bdfae5f6c6e670a4f4b62e9'
2026-Mar-16 08:19:23 :: #400: utop-2.16.0-alt1.src.rpm: package `utop' version `2.16.0-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:43da402a0ca9e5f21c0846eaf9ef9cdb8f68e06f'
2026-Mar-16 08:19:23 :: #400: utop-2.16.0-alt1.src.rpm: package `utop' version `2.16.0-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:0f37273fd722bc98ca9f36023d3787a102023333'
2026-Mar-16 08:19:23 :: source id check COND-OK
2026-Mar-16 08:19:23 :: #400: utop-2.16.0-alt1.src.rpm: version check OK
2026-Mar-16 08:19:23 :: #500: coq-8.20.1-alt1.src.rpm: package `coq' version `8.20.1-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:29a752665ae8266ca2ea2b9c46ab092526ffed0f'
2026-Mar-16 08:19:23 :: #500: coq-8.20.1-alt1.src.rpm: package `coq' version `8.20.1-alt1' was built earlier for sisyphus_riscv64 from a different source: `srpm:9f9df6416cec610ba0e568ae25f75ae091cf29e3'
2026-Mar-16 08:19:23 :: source id check COND-OK
2026-Mar-16 08:19:23 :: #500: coq-8.20.1-alt1.src.rpm: version check OK
2026-Mar-16 08:19:23 :: build version check OK
2026-Mar-16 08:19:24 :: noarch check OK
2026-Mar-16 08:19:24 :: plan: src +5 -5 =20594, riscv64 +18 -18 =36492
#100 ocaml-findlib 1.9.6-alt2 -> 1.9.8-alt1
 Sun Mar 15 2026 Anton Farygin <rider at altlinux.org> 1.9.8-alt1
 - 1.9.6 -> 1.9.8
2026-Mar-16 08:19:49 :: patched apt indices
2026-Mar-16 08:19:51 :: created next repo
2026-Mar-16 08:20:01 :: duplicate provides check OK
2026-Mar-16 08:20:25 :: dependencies check OK
2026-Mar-16 08:20:47 :: [riscv64] ELF symbols check OK
2026-Mar-16 08:21:03 :: [riscv64.0] #500 coq: install check start
2026-Mar-16 08:21:03 :: [riscv64.1] #500 coq-coqide: install check start
2026-Mar-16 08:21:03 :: [riscv64.2] #500 coq-coqide-server: install check start
2026-Mar-16 08:21:03 :: [riscv64.3] #500 coq-core: install check start
2026-Mar-16 08:21:03 :: [riscv64.4] #100 ocaml-findlib: install check start
2026-Mar-16 08:21:04 :: [riscv64.5] #100 ocaml-findlib-devel: install check start
2026-Mar-16 08:21:04 :: [riscv64.6] #300 ocaml-mdx: install check start
2026-Mar-16 08:21:04 :: [riscv64.7] #300 ocaml-mdx-devel: install check start
2026-Mar-16 08:22:02 :: [riscv64.6] #300 ocaml-mdx: install check OK (cached)
	riscv64: coq=8.20.1-alt1 post-install unowned files:
 /usr/lib64/ocaml
2026-Mar-16 08:22:02 :: [riscv64.0] #500 coq: install check OK (cached)
2026-Mar-16 08:22:02 :: [riscv64.4] #100 ocaml-findlib: install check OK (cached)
2026-Mar-16 08:22:03 :: [riscv64.6] #200 ocaml-ocp-indent: install check start
2026-Mar-16 08:22:03 :: [riscv64.0] #200 ocaml-ocp-indent-devel: install check start
2026-Mar-16 08:22:03 :: [riscv64.4] #400 utop: install check start
2026-Mar-16 08:22:03 :: [riscv64.7] #300 ocaml-mdx-devel: install check OK (cached)
2026-Mar-16 08:22:04 :: [riscv64.7] #400 utop-devel: install check start
2026-Mar-16 08:22:04 :: [riscv64.5] #100 ocaml-findlib-devel: 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
2026-Mar-16 08:22:04 :: [riscv64.3] #500 coq-core: install check OK (cached)
2026-Mar-16 08:22:05 :: [riscv64.2] #500 coq-coqide-server: install check OK (cached)
2026-Mar-16 08:22:08 :: [riscv64.1] #500 coq-coqide: install check OK (cached)
2026-Mar-16 08:22:34 :: [riscv64.0] #200 ocaml-ocp-indent-devel: install check OK (cached)
2026-Mar-16 08:22:35 :: [riscv64.6] #200 ocaml-ocp-indent: install check OK (cached)
2026-Mar-16 08:22:36 :: [riscv64.4] #400 utop: install check OK (cached)
2026-Mar-16 08:22:37 :: [riscv64.7] #400 utop-devel: install check OK (cached)
2026-Mar-16 08:22:39 :: gears inheritance check OK
2026-Mar-16 08:22:39 :: srpm inheritance check OK
check-subtask-perms: #100: ocaml-findlib: approved by superuser iv
check-subtask-perms: #200: ocaml-ocp-indent: approved by superuser iv
check-subtask-perms: #300: ocaml-mdx: approved by superuser iv
check-subtask-perms: #400: utop: approved by superuser iv
check-subtask-perms: #500: coq: approved by superuser iv
2026-Mar-16 08:22:40 :: acl check OK
2026-Mar-16 08:22:47 :: created contents_index files
2026-Mar-16 08:22:53 :: created hash files: riscv64 src
2026-Mar-16 08:22:54 :: task #114874 for sisyphus_riscv64 TESTED
2026-Mar-16 08:22:54 :: task is ready for commit
2026-Mar-16 08:22:55 :: repo clone OK
2026-Mar-16 08:22:56 :: packages update OK
2026-Mar-16 08:22:57 :: [riscv64] update OK
2026-Mar-16 08:22:57 :: repo update OK
2026-Mar-16 08:23:00 :: repo save OK
2026-Mar-16 08:23:00 :: src index update OK
2026-Mar-16 08:23:02 :: updated /srpms/c/coq.git branch `sisyphus_riscv64'
fatal: tag '1.9.8-alt1' already exists
2026-Mar-16 08:23:02 :: updated /srpms/o/ocaml-findlib.git branch `sisyphus_riscv64'
2026-Mar-16 08:23:02 :: updated /srpms/o/ocaml-mdx.git branch `sisyphus_riscv64'
fatal: no tag exactly matches '3df732a8618a8ceffb21527208a32bbe80b519d9'
2026-Mar-16 08:23:02 :: updated /srpms/o/ocaml-ocp-indent.git branch `sisyphus_riscv64'
2026-Mar-16 08:23:02 :: updated /srpms/u/utop.git branch `sisyphus_riscv64'
2026-Mar-16 08:23:09 :: gears update OK
2026-Mar-16 08:23:09 :: task #114874 for sisyphus_riscv64 DONE