https://git.altlinux.org/tasks/417832/logs/events.1.1.log
https://packages.altlinux.org/tasks/417832
subtask name aarch64 i586 x86_64
#100 rocq 11:15 - 5:50
2026-May-11 20:14:09 :: test-only task #417832 for sisyphus started by
respublica:
#100 build 9.2.0-alt2 from /people/respublica/packages/rocq.git fetched at
2026-May-11 20:14:07
2026-May-11 20:14:11 :: [x86_64] #100 rocq.git 9.2.0-alt2: build start
2026-May-11 20:14:11 :: [i586] #100 rocq.git 9.2.0-alt2: build start
2026-May-11 20:14:11 :: [aarch64] #100 rocq.git 9.2.0-alt2: build start
2026-May-11 20:14:19 :: [i586] #100 rocq.git 9.2.0-alt2: build SKIPPED
2026-May-11 20:20:01 :: [x86_64] #100 rocq.git 9.2.0-alt2: build OK
2026-May-11 20:25:26 :: [aarch64] #100 rocq.git 9.2.0-alt2: build OK
2026-May-11 20:25:38 :: 100: build check OK
2026-May-11 20:25:39 :: build check OK
2026-May-11 20:25:53 :: #100: rocq.git 9.2.0-alt2: version check OK
2026-May-11 20:25:53 :: build version check OK
2026-May-11 20:26:38 :: noarch check OK
2026-May-11 20:26:40 :: plan: src +1 -1 =22117, aarch64 +9 -9 =39097, x86_64 +9
-9 =40134
#100 rocq 9.2.0-alt1 -> 9.2.0-alt2
Mon May 11 2026 Leonid Znamenok <respublica@altlinux> 9.2.0-alt2
- Dropped dependency on python2-base (Closes: 59080).
2026-May-11 20:26:40 :: rocq: closes bugs: 59080
2026-May-11 20:27:26 :: patched apt indices
2026-May-11 20:27:35 :: created next repo
2026-May-11 20:27:47 :: duplicate provides check OK
2026-May-11 20:28:29 :: dependencies check OK
2026-May-11 20:29:27 :: [x86_64 aarch64] ELF symbols check OK
2026-May-11 20:29:58 :: [x86_64] #100 coq-core-compat: install check OK
2026-May-11 20:30:12 :: [aarch64] #100 coq-core-compat: install check OK
2026-May-11 20:30:23 :: [x86_64] #100 coq-core-compat-debuginfo: install check
OK
x86_64: rocq=9.2.0-alt2 post-install unowned files:
/usr/lib64/ocaml
2026-May-11 20:30:28 :: [x86_64] #100 rocq: install check OK
2026-May-11 20:30:50 :: [aarch64] #100 coq-core-compat-debuginfo: install check
OK
2026-May-11 20:30:52 :: [x86_64] #100 rocq-coqide-server: install check OK
aarch64: rocq=9.2.0-alt2 post-install unowned files:
/usr/lib64/ocaml
2026-May-11 20:30:59 :: [aarch64] #100 rocq: install check OK
2026-May-11 20:31:17 :: [x86_64] #100 rocq-coqide-server-debuginfo: install
check OK
2026-May-11 20:31:34 :: [aarch64] #100 rocq-coqide-server: install check OK
x86_64: 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-11 20:31:41 :: [x86_64] #100 rocq-core: install check OK
2026-May-11 20:32:05 :: [x86_64] #100 rocq-core-debuginfo: install check OK
2026-May-11 20:32:11 :: [aarch64] #100 rocq-coqide-server-debuginfo: install
check OK
2026-May-11 20:32:32 :: [x86_64] #100 rocq-rocqide: install check OK
aarch64: 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-11 20:32:46 :: [aarch64] #100 rocq-core: install check OK
2026-May-11 20:33:04 :: [x86_64] #100 rocq-rocqide-debuginfo: install check OK
2026-May-11 20:33:22 :: [aarch64] #100 rocq-core-debuginfo: install check OK
2026-May-11 20:34:01 :: [aarch64] #100 rocq-rocqide: install check OK
2026-May-11 20:34:48 :: [aarch64] #100 rocq-rocqide-debuginfo: install check OK
2026-May-11 20:35:08 :: [x86_64-i586] generated apt indices
2026-May-11 20:35:08 :: [x86_64-i586] created next repo
2026-May-11 20:35:21 :: [x86_64-i586] dependencies check OK
2026-May-11 20:35:22 :: gears inheritance check OK
2026-May-11 20:35:22 :: srpm inheritance check OK
girar-check-perms: access to rocq ALLOWED for respublica: project leader
check-subtask-perms: #100: rocq: allowed for respublica
2026-May-11 20:35:23 :: acl check OK
2026-May-11 20:35:36 :: created contents_index files
2026-May-11 20:35:45 :: created hash files: aarch64 src x86_64
2026-May-11 20:35:48 :: task #417832 for sisyphus TESTED
_______________________________________________
Sisyphus-incominger mailing list
[email protected]
https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
