[#415129] TESTED del=coq rocq.git=9.2.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/415129/logs/events.1.1.log
https://packages.altlinux.org/tasks/415129

subtask  name  aarch64  i586  x86_64
   #200  rocq    12:33     -    5:56

2026-Apr-13 20:04:19 :: test-only task #415129 for sisyphus started by respublica:
2026-Apr-13 20:04:19 :: message: coq->rocq
#100 delete coq
#200 build 9.2.0-alt1 from /people/respublica/packages/rocq.git fetched at 2026-Apr-13 19:58:37
2026-Apr-13 20:04:21 :: [aarch64] #200 rocq.git 9.2.0-alt1: build start
2026-Apr-13 20:04:21 :: [x86_64] #200 rocq.git 9.2.0-alt1: build start
2026-Apr-13 20:04:21 :: [i586] #200 rocq.git 9.2.0-alt1: build start
2026-Apr-13 20:04:28 :: [i586] #200 rocq.git 9.2.0-alt1: build SKIPPED
2026-Apr-13 20:10:17 :: [x86_64] #200 rocq.git 9.2.0-alt1: build OK
2026-Apr-13 20:16:54 :: [aarch64] #200 rocq.git 9.2.0-alt1: build OK
2026-Apr-13 20:17:06 :: 200: build check OK
2026-Apr-13 20:17:07 :: build check OK
2026-Apr-13 20:17:19 :: #200: rocq.git 9.2.0-alt1: version check OK
2026-Apr-13 20:17:20 :: build version check OK
2026-Apr-13 20:18:03 :: noarch check OK
2026-Apr-13 20:18:05 :: plan: src +1 -1 =21964, aarch64 +9 -7 =38924, x86_64 +9 -7 =39971
2026-Apr-13 20:18:05 :: rocq: closes bugs: 58676 58680
2026-Apr-13 20:18:49 :: patched apt indices
2026-Apr-13 20:18:58 :: created next repo
2026-Apr-13 20:19:10 :: duplicate provides check OK
2026-Apr-13 20:19:49 :: dependencies check OK
2026-Apr-13 20:20:46 :: [x86_64 aarch64] ELF symbols check OK
2026-Apr-13 20:21:16 :: [x86_64] #200 coq-core-compat: install check OK
2026-Apr-13 20:21:34 :: [aarch64] #200 coq-core-compat: install check OK
2026-Apr-13 20:21:42 :: [x86_64] #200 coq-core-compat-debuginfo: install check OK
	x86_64: rocq=9.2.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2026-Apr-13 20:21:46 :: [x86_64] #200 rocq: install check OK
2026-Apr-13 20:22:11 :: [x86_64] #200 rocq-coqide-server: install check OK
2026-Apr-13 20:22:14 :: [aarch64] #200 coq-core-compat-debuginfo: install check OK
	aarch64: rocq=9.2.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2026-Apr-13 20:22:25 :: [aarch64] #200 rocq: install check OK
2026-Apr-13 20:22:36 :: [x86_64] #200 rocq-coqide-server-debuginfo: install check OK
	x86_64: 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-13 20:23:01 :: [x86_64] #200 rocq-core: install check OK
2026-Apr-13 20:23:02 :: [aarch64] #200 rocq-coqide-server: install check OK
2026-Apr-13 20:23:25 :: [x86_64] #200 rocq-core-debuginfo: install check OK
2026-Apr-13 20:23:42 :: [aarch64] #200 rocq-coqide-server-debuginfo: install check OK
2026-Apr-13 20:23:52 :: [x86_64] #200 rocq-rocqide: install check OK
	aarch64: 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-13 20:24:19 :: [aarch64] #200 rocq-core: install check OK
2026-Apr-13 20:24:25 :: [x86_64] #200 rocq-rocqide-debuginfo: install check OK
2026-Apr-13 20:24:58 :: [aarch64] #200 rocq-core-debuginfo: install check OK
2026-Apr-13 20:25:40 :: [aarch64] #200 rocq-rocqide: install check OK
2026-Apr-13 20:26:29 :: [aarch64] #200 rocq-rocqide-debuginfo: install check OK
2026-Apr-13 20:26:47 :: [x86_64-i586] generated apt indices
2026-Apr-13 20:26:47 :: [x86_64-i586] created next repo
2026-Apr-13 20:26:58 :: [x86_64-i586] dependencies check OK
2026-Apr-13 20:26:59 :: gears inheritance check OK
2026-Apr-13 20:26:59 :: srpm inheritance check OK
girar-check-perms: access to coq ALLOWED for respublica: project leader
check-subtask-perms: #100: coq: allowed for respublica
girar-check-perms: access to rocq ALLOWED for respublica: project `rocq' is not listed in the acl file for repository `sisyphus', and the policy for such projects in `sisyphus' is to allow
check-subtask-perms: #200: rocq: allowed for respublica
2026-Apr-13 20:26:59 :: acl check OK
2026-Apr-13 20:27:12 :: created contents_index files
2026-Apr-13 20:27:21 :: created hash files: aarch64 src x86_64
2026-Apr-13 20:27:24 :: task #415129 for sisyphus TESTED