https://git.altlinux.org/tasks/archive/done/_413/423578/logs/events.2.2.log
https://packages.altlinux.org/tasks/423578
2026-Jul-03 11:03:30 :: task #423578 for sisyphus resumed by respublica:
#100 build 9.2.0-alt3 from /people/respublica/packages/rocq.git fetched at
2026-Jul-01 14:09:47
2026-Jul-03 11:03:31 :: [i586] #100 rocq.git 9.2.0-alt3: build start
2026-Jul-03 11:03:32 :: [x86_64] #100 rocq.git 9.2.0-alt3: build start
2026-Jul-03 11:03:32 :: [aarch64] #100 rocq.git 9.2.0-alt3: build start
2026-Jul-03 11:03:39 :: [i586] #100 rocq.git 9.2.0-alt3: build SKIPPED
2026-Jul-03 11:03:41 :: [x86_64] #100 rocq.git 9.2.0-alt3: build OK (cached)
2026-Jul-03 11:03:53 :: [aarch64] #100 rocq.git 9.2.0-alt3: build OK (cached)
2026-Jul-03 11:03:53 :: 100: build check OK (cached)
2026-Jul-03 11:03:54 :: build check OK
2026-Jul-03 11:04:09 :: #100: rocq.git 9.2.0-alt3: version check OK
2026-Jul-03 11:04:09 :: build version check OK
2026-Jul-03 11:05:02 :: noarch check OK
2026-Jul-03 11:05:04 :: plan: src +1 -1 =22383, aarch64 +9 -9 =39684, x86_64 +9
-9 =40742
#100 rocq 9.2.0-alt2 -> 9.2.0-alt3
Wed Jul 01 2026 Leonid Znamenok <respublica@altlinux> 9.2.0-alt3
- Fixed FTBFS with dune 3.21.
2026-Jul-03 11:05:57 :: patched apt indices
2026-Jul-03 11:06:10 :: created next repo
2026-Jul-03 11:06:31 :: duplicate provides check OK
2026-Jul-03 11:07:22 :: dependencies check OK
2026-Jul-03 11:08:09 :: [x86_64 aarch64] ELF symbols check OK
2026-Jul-03 11:08:19 :: [x86_64] #100 coq-core-compat: install check OK (cached)
2026-Jul-03 11:08:23 :: [x86_64] #100 coq-core-compat-debuginfo: install check
OK (cached)
x86_64: rocq=9.2.0-alt3 post-install unowned files:
/usr/lib64/ocaml
2026-Jul-03 11:08:26 :: [x86_64] #100 rocq: install check OK (cached)
2026-Jul-03 11:08:29 :: [x86_64] #100 rocq-coqide-server: install check OK
(cached)
2026-Jul-03 11:08:30 :: [aarch64] #100 coq-core-compat: install check OK
(cached)
2026-Jul-03 11:08:33 :: [x86_64] #100 rocq-coqide-server-debuginfo: install
check OK (cached)
x86_64: rocq-core=9.2.0-alt3 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2026-Jul-03 11:08:37 :: [x86_64] #100 rocq-core: install check OK (cached)
2026-Jul-03 11:08:39 :: [aarch64] #100 coq-core-compat-debuginfo: install check
OK (cached)
2026-Jul-03 11:08:40 :: [x86_64] #100 rocq-core-debuginfo: install check OK
(cached)
2026-Jul-03 11:08:44 :: [x86_64] #100 rocq-rocqide: install check OK (cached)
aarch64: rocq=9.2.0-alt3 post-install unowned files:
/usr/lib64/ocaml
2026-Jul-03 11:08:46 :: [aarch64] #100 rocq: install check OK (cached)
2026-Jul-03 11:08:48 :: [x86_64] #100 rocq-rocqide-debuginfo: install check OK
(cached)
2026-Jul-03 11:08:53 :: [aarch64] #100 rocq-coqide-server: install check OK
(cached)
2026-Jul-03 11:09:02 :: [aarch64] #100 rocq-coqide-server-debuginfo: install
check OK (cached)
aarch64: rocq-core=9.2.0-alt3 post-install unowned files:
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
2026-Jul-03 11:09:10 :: [aarch64] #100 rocq-core: install check OK (cached)
2026-Jul-03 11:09:18 :: [aarch64] #100 rocq-core-debuginfo: install check OK
(cached)
2026-Jul-03 11:09:27 :: [aarch64] #100 rocq-rocqide: install check OK (cached)
2026-Jul-03 11:09:36 :: [aarch64] #100 rocq-rocqide-debuginfo: install check OK
(cached)
2026-Jul-03 11:09:57 :: [x86_64-i586] generated apt indices
2026-Jul-03 11:09:57 :: [x86_64-i586] created next repo
2026-Jul-03 11:10:10 :: [x86_64-i586] dependencies check OK
2026-Jul-03 11:10:11 :: gears inheritance check OK
2026-Jul-03 11:10:11 :: srpm inheritance check OK
girar-check-perms: access to rocq ALLOWED for respublica: project leader
check-subtask-perms: #100: rocq: allowed for respublica
2026-Jul-03 11:10:12 :: acl check OK
2026-Jul-03 11:10:25 :: created contents_index files
2026-Jul-03 11:10:36 :: created hash files: aarch64 src x86_64
2026-Jul-03 11:10:39 :: task #423578 for sisyphus TESTED
2026-Jul-03 11:10:39 :: task is ready for commit
2026-Jul-03 11:10:46 :: repo clone OK
2026-Jul-03 11:10:46 :: packages update OK
2026-Jul-03 11:10:54 :: [x86_64 aarch64] update OK
2026-Jul-03 11:10:54 :: repo update OK
2026-Jul-03 11:11:08 :: repo save OK
2026-Jul-03 11:11:08 :: src index update OK
2026-Jul-03 11:11:09 :: updated /gears/r/rocq.git branch `sisyphus'
2026-Jul-03 11:11:17 :: gears update OK
2026-Jul-03 11:11:17 :: task #423578 for sisyphus DONE
_______________________________________________
Sisyphus-incominger mailing list
[email protected]
https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
