[#371761] DONE (try 12) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar pender (respublica)]

https://git.altlinux.org/tasks/archive/done/_363/371761/logs/events.12.1.log
https://packages.altlinux.org/tasks/371761

2025-Jan-30 06:30:57 :: task #371761 for sisyphus resumed by respublica:
#40 build 3.1.5-alt2 from /people/respublica/packages/ocaml-lablgtk3.git fetched at 2025-Jan-26 14:48:18
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 18:33:41
2025-Jan-30 06:30:58 :: created build repo
2025-Jan-30 06:30:59 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:30:59 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:30:59 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:30:59 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-30 06:31:18 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:18 :: [i586] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:31:19 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:20 :: [x86_64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:31:32 :: [i586] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 06:31:35 :: [x86_64] #1000 coq.git 8.20.0-alt1: build OK (cached)
2025-Jan-30 06:31:36 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:37 :: [aarch64] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:31:46 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-30 06:31:46 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build start
2025-Jan-30 06:32:04 :: [aarch64] #1000 coq.git 8.20.0-alt1: build OK (cached)
2025-Jan-30 06:32:14 :: [ppc64le] #1000 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-30 06:32:32 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-30 06:32:52 :: #1000: coq.git 8.20.0-alt1: build check OK
2025-Jan-30 06:32:53 :: build check OK
2025-Jan-30 06:33:52 :: noarch check OK
2025-Jan-30 06:33:54 :: plan: src +2 -1 =20058, aarch64 +11 -4 =34855, i586 +4 -4 =33856, ppc64le +4 -4 =33413, x86_64 +11 -4 =35671
#40 ocaml-lablgtk3 3.1.5-alt1 -> 3.1.5-alt2
 Sat Jan 25 2025 Leonid Znamenok <respublica at altlinux> 3.1.5-alt2
 - NMU: rebuild with goocanvas2, gtkspell3, rsvg2 and sourceview3
2025-Jan-30 06:34:39 :: patched apt indices
2025-Jan-30 06:34:51 :: created next repo
2025-Jan-30 06:35:02 :: duplicate provides check OK
2025-Jan-30 06:35:46 :: dependencies check OK
2025-Jan-30 06:36:22 :: [x86_64 i586 aarch64 ppc64le] ELF symbols check OK
2025-Jan-30 06:36:34 :: [i586] #40 ocaml-lablgtk3: install check OK (cached)
	x86_64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-30 06:36:34 :: [x86_64] #1000 coq: install check OK (cached)
2025-Jan-30 06:36:39 :: [i586] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
	x86_64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-30 06:36:40 :: [x86_64] #1000 coq-coqide: install check OK (cached)
	aarch64: coq=8.20.0-alt1 post-install unowned files:
 /usr/lib64/ocaml
2025-Jan-30 06:36:41 :: [aarch64] #1000 coq: install check OK (cached)
2025-Jan-30 06:36:43 :: [ppc64le] #40 ocaml-lablgtk3: install check OK (cached)
2025-Jan-30 06:36:44 :: [i586] #40 ocaml-lablgtk3-devel: install check OK (cached)
2025-Jan-30 06:36:46 :: [x86_64] #1000 coq-coqide-debuginfo: install check OK (cached)
2025-Jan-30 06:36:49 :: [i586] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
	aarch64: coq-coqide=8.20.0-alt1 post-install unowned files:
 /usr/share/metainfo
2025-Jan-30 06:36:51 :: [aarch64] #1000 coq-coqide: install check OK (cached)
2025-Jan-30 06:36:52 :: [x86_64] #1000 coq-coqide-server: install check OK (cached)
2025-Jan-30 06:36:53 :: [ppc64le] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
2025-Jan-30 06:36:58 :: [x86_64] #1000 coq-coqide-server-debuginfo: install check OK (cached)
2025-Jan-30 06:37:02 :: [aarch64] #1000 coq-coqide-debuginfo: install check OK (cached)
2025-Jan-30 06:37:03 :: [ppc64le] #40 ocaml-lablgtk3-devel: install check OK (cached)
	x86_64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-30 06:37:03 :: [x86_64] #1000 coq-core: install check OK (cached)
2025-Jan-30 06:37:09 :: [x86_64] #1000 coq-core-debuginfo: install check OK (cached)
2025-Jan-30 06:37:11 :: [aarch64] #1000 coq-coqide-server: install check OK (cached)
2025-Jan-30 06:37:14 :: [x86_64] #40 ocaml-lablgtk3: install check OK (cached)
2025-Jan-30 06:37:14 :: [ppc64le] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
2025-Jan-30 06:37:19 :: [x86_64] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
2025-Jan-30 06:37:21 :: [aarch64] #1000 coq-coqide-server-debuginfo: install check OK (cached)
2025-Jan-30 06:37:24 :: [x86_64] #40 ocaml-lablgtk3-devel: install check OK (cached)
2025-Jan-30 06:37:29 :: [x86_64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
	aarch64: coq-core=8.20.0-alt1 post-install unowned files:
 /usr/share/texmf
 /usr/share/texmf/tex
 /usr/share/texmf/tex/latex
 /usr/share/texmf/tex/latex/misc
2025-Jan-30 06:37:30 :: [aarch64] #1000 coq-core: install check OK (cached)
2025-Jan-30 06:37:40 :: [aarch64] #1000 coq-core-debuginfo: install check OK (cached)
2025-Jan-30 06:37:48 :: [aarch64] #40 ocaml-lablgtk3: install check OK (cached)
2025-Jan-30 06:37:57 :: [aarch64] #40 ocaml-lablgtk3-debuginfo: install check OK (cached)
2025-Jan-30 06:38:06 :: [aarch64] #40 ocaml-lablgtk3-devel: install check OK (cached)
2025-Jan-30 06:38:16 :: [aarch64] #40 ocaml-lablgtk3-devel-debuginfo: install check OK (cached)
2025-Jan-30 06:38:17 :: [x86_64-i586] plan: #1 +1 -1 =11564
2025-Jan-30 06:38:34 :: [x86_64-i586] arepo build OK
2025-Jan-30 06:38:51 :: [x86_64-i586] generated apt indices
2025-Jan-30 06:38:52 :: [x86_64-i586] created next repo
2025-Jan-30 06:39:04 :: [x86_64-i586] dependencies check OK
2025-Jan-30 06:39:05 :: gears inheritance check OK
2025-Jan-30 06:39:05 :: srpm inheritance check OK
girar-check-perms: access to ocaml-lablgtk3 ALLOWED for respublica: project leader welcomes random builders
check-subtask-perms: #40: ocaml-lablgtk3: allowed for respublica
girar-check-perms: access to coq ALLOWED for respublica: project `coq' is not listed in the acl file for repository `sisyphus', and the policy for such projects in `sisyphus' is to allow
check-subtask-perms: #1000: coq: allowed for respublica
2025-Jan-30 06:39:06 :: acl check OK
2025-Jan-30 06:39:19 :: created contents_index files
2025-Jan-30 06:39:29 :: created hash files: aarch64 i586 ppc64le src x86_64-i586 x86_64
2025-Jan-30 06:39:32 :: task #371761 for sisyphus TESTED
2025-Jan-30 06:39:33 :: task is ready for commit
2025-Jan-30 06:39:39 :: repo clone OK
2025-Jan-30 06:39:40 :: packages update OK
2025-Jan-30 06:39:51 :: [x86_64 i586 aarch64 ppc64le] update OK
2025-Jan-30 06:39:52 :: [x86_64-i586] update OK
2025-Jan-30 06:39:52 :: repo update OK
2025-Jan-30 06:40:07 :: repo save OK
2025-Jan-30 06:40:07 :: src index update OK
2025-Jan-30 06:40:19 :: created /gears/c/coq.git branch `sisyphus'
2025-Jan-30 06:40:19 :: updated /gears/o/ocaml-lablgtk3.git branch `sisyphus'
2025-Jan-30 06:40:28 :: gears update OK
2025-Jan-30 06:40:28 :: ACL for new project `coq' assigned to user `respublica'
2025-Jan-30 06:40:28 :: task #371761 for sisyphus DONE