https://git.altlinux.org/tasks/archive/done/_408/417832/logs/events.2.1.log
https://packages.altlinux.org/tasks/417832
2026-May-11 21:28:48 :: task #417832 for sisyphus resumed 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 21:28:50 :: [x86_64] #100 rocq.git 9.2.0-alt2: build start
2026-May-11 21:28:50 :: [aarch64] #100 rocq.git 9.2.0-alt2: build start
2026-May-11 21:28:50 :: [i586] #100 rocq.git 9.2.0-alt2: build start
2026-May-11 21:28:58 :: [i586] #100 rocq.git 9.2.0-alt2: build SKIPPED
2026-May-11 21:28:59 :: [x86_64] #100 rocq.git 9.2.0-alt2: build OK (cached)
2026-May-11 21:29:06 :: [aarch64] #100 rocq.git 9.2.0-alt2: build OK (cached)
2026-May-11 21:29:07 :: 100: build check OK (cached)
2026-May-11 21:29:08 :: build check OK
2026-May-11 21:29:22 :: #100: rocq.git 9.2.0-alt2: version check OK
2026-May-11 21:29:22 :: build version check OK
2026-May-11 21:30:09 :: noarch check OK
2026-May-11 21:30:11 :: plan: src +1 -1 =22117, aarch64 +9 -9 =39095, x86_64 +9
-9 =40132
#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 21:30:11 :: rocq: closes bugs: 59080
2026-May-11 21:30:56 :: patched apt indices
2026-May-11 21:31:05 :: created next repo
2026-May-11 21:31:16 :: duplicate provides check OK
2026-May-11 21:31:59 :: dependencies check OK
2026-May-11 21:32:35 :: [x86_64 aarch64] ELF symbols check OK
2026-May-11 21:32:46 :: [x86_64] #100 coq-core-compat: install check OK (cached)
2026-May-11 21:32:49 :: [x86_64] #100 coq-core-compat-debuginfo: install check
OK (cached)
2026-May-11 21:32:52 :: [aarch64] #100 coq-core-compat: install check OK
(cached)
x86_64: rocq=9.2.0-alt2 post-install unowned files:
/usr/lib64/ocaml
2026-May-11 21:32:52 :: [x86_64] #100 rocq: install check OK (cached)
2026-May-11 21:32:56 :: [x86_64] #100 rocq-coqide-server: install check OK
(cached)
2026-May-11 21:32:58 :: [aarch64] #100 coq-core-compat-debuginfo: install check
OK (cached)
2026-May-11 21:32:59 :: [x86_64] #100 rocq-coqide-server-debuginfo: install
check OK (cached)
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 21:33:03 :: [x86_64] #100 rocq-core: install check OK (cached)
aarch64: rocq=9.2.0-alt2 post-install unowned files:
/usr/lib64/ocaml
2026-May-11 21:33:04 :: [aarch64] #100 rocq: install check OK (cached)
2026-May-11 21:33:07 :: [x86_64] #100 rocq-core-debuginfo: install check OK
(cached)
2026-May-11 21:33:10 :: [aarch64] #100 rocq-coqide-server: install check OK
(cached)
2026-May-11 21:33:11 :: [x86_64] #100 rocq-rocqide: install check OK (cached)
2026-May-11 21:33:15 :: [x86_64] #100 rocq-rocqide-debuginfo: install check OK
(cached)
2026-May-11 21:33:17 :: [aarch64] #100 rocq-coqide-server-debuginfo: install
check OK (cached)
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 21:33:24 :: [aarch64] #100 rocq-core: install check OK (cached)
2026-May-11 21:33:31 :: [aarch64] #100 rocq-core-debuginfo: install check OK
(cached)
2026-May-11 21:33:38 :: [aarch64] #100 rocq-rocqide: install check OK (cached)
2026-May-11 21:33:45 :: [aarch64] #100 rocq-rocqide-debuginfo: install check OK
(cached)
2026-May-11 21:34:03 :: [x86_64-i586] generated apt indices
2026-May-11 21:34:03 :: [x86_64-i586] created next repo
2026-May-11 21:34:14 :: [x86_64-i586] dependencies check OK
2026-May-11 21:34:15 :: gears inheritance check OK
2026-May-11 21:34:16 :: 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 21:34:16 :: acl check OK
2026-May-11 21:34:29 :: created contents_index files
2026-May-11 21:34:38 :: created hash files: aarch64 src x86_64
2026-May-11 21:34:41 :: task #417832 for sisyphus TESTED
2026-May-11 21:34:42 :: task is ready for commit
2026-May-11 21:34:47 :: repo clone OK
2026-May-11 21:34:48 :: packages update OK
2026-May-11 21:34:54 :: [x86_64 aarch64] update OK
2026-May-11 21:34:54 :: repo update OK
2026-May-11 21:35:05 :: repo save OK
2026-May-11 21:35:05 :: src index update OK
2026-May-11 21:35:05 :: updated /gears/r/rocq.git branch `sisyphus'
2026-May-11 21:35:15 :: gears update OK
2026-May-11 21:35:15 :: task #417832 for sisyphus DONE
_______________________________________________
Sisyphus-incominger mailing list
[email protected]
https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
