[#371761] [test-only] FAILED (try 8) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1

[Girar awaiter (respublica)]

https://git.altlinux.org/tasks/371761/logs/events.8.1.log
https://packages.altlinux.org/tasks/371761

subtask  name  aarch64  i586  ppc64le  x86_64
   #600  coq     17:27     -        -    9:18

2025-Jan-27 13:31:02 :: test-only 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 build 8.20.0-alt1 from /people/respublica/packages/coq.git fetched at 2025-Jan-27 13:30:47
2025-Jan-27 13:31:02 :: created build repo
2025-Jan-27 13:31:03 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:03 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build start
2025-Jan-27 13:31:17 :: [i586] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:18 :: [i586] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:18 :: [x86_64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:18 :: [x86_64] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:31 :: [ppc64le] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:31 :: [ppc64le] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:32 :: [aarch64] #40 ocaml-lablgtk3.git 3.1.5-alt2: build OK (cached)
2025-Jan-27 13:31:32 :: [aarch64] #600 coq.git 8.20.0-alt1: build start
2025-Jan-27 13:31:33 :: [i586] #600 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:31:59 :: [ppc64le] #600 coq.git 8.20.0-alt1: build SKIPPED
2025-Jan-27 13:40:36 :: [x86_64] #600 coq.git 8.20.0-alt1: build OK
2025-Jan-27 13:48:59 :: [aarch64] #600 coq.git 8.20.0-alt1: build OK
2025-Jan-27 13:49:18 :: #40: ocaml-lablgtk3.git 3.1.5-alt2: build check OK
2025-Jan-27 13:49:38 :: #600: coq.git 8.20.0-alt1: build check OK
2025-Jan-27 13:49:39 :: build check OK
2025-Jan-27 13:50:39 :: noarch check OK
2025-Jan-27 13:50:41 :: plan: src +2 -1 =20053, aarch64 +11 -4 =34846, i586 +4 -4 =33850, ppc64le +4 -4 =33407, x86_64 +11 -4 =35665
#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-27 13:51:30 :: patched apt indices
2025-Jan-27 13:51:42 :: created next repo
2025-Jan-27 13:51:53 :: duplicate provides check OK
	x86_64: NEW unmet dependencies detected:
 coq-core#8.20.0-alt1:sisyphus+371761.600.8.1 at 1737985169  python3(TimeFileMaker) < 0
	aarch64: NEW unmet dependencies detected:
 coq-core#8.20.0-alt1:sisyphus+371761.600.8.1 at 1737985624  python3(TimeFileMaker) < 0
	ACLs of affected packages (1):
 coq
2025-Jan-27 13:52:33 :: unmets: x86_64 +1 -0 =1, aarch64 +1 -0 =4
2025-Jan-27 13:52:34 :: dependencies check FAILED
2025-Jan-27 13:52:34 :: task #371761 for sisyphus FAILED