[#409008] FAILED z3.git=4.16.0-alt1
Girar awaiter (grenka)
girar-builder at altlinux.org
Mon Feb 23 14:48:48 MSK 2026
https://git.altlinux.org/tasks/409008/logs/events.1.1.log
https://packages.altlinux.org/tasks/409008
subtask name aarch64 i586 x86_64
#100 z3 6:57 4:58 4:01
2026-Feb-23 11:38:03 :: task #409008 for sisyphus started by grenka:
#100 build 4.16.0-alt1 from /people/grenka/packages/z3.git fetched at 2026-Feb-23 11:37:23
2026-Feb-23 11:38:05 :: [x86_64] #100 z3.git 4.16.0-alt1: build start
2026-Feb-23 11:38:05 :: [aarch64] #100 z3.git 4.16.0-alt1: build start
2026-Feb-23 11:38:05 :: [i586] #100 z3.git 4.16.0-alt1: build start
2026-Feb-23 11:42:06 :: [x86_64] #100 z3.git 4.16.0-alt1: build OK
2026-Feb-23 11:43:03 :: [i586] #100 z3.git 4.16.0-alt1: build OK
2026-Feb-23 11:45:02 :: [aarch64] #100 z3.git 4.16.0-alt1: build OK
2026-Feb-23 11:45:15 :: 100: build check OK
2026-Feb-23 11:45:16 :: build check OK
2026-Feb-23 11:45:33 :: #100: z3.git 4.16.0-alt1: version check OK
2026-Feb-23 11:45:33 :: build version check OK
--- libz3-devel-docs-4.16.0-alt1.x86_64.rpm.share 2026-02-23 11:45:58.464160863 +0000
+++ libz3-devel-docs-4.16.0-alt1.i586.rpm.share 2026-02-23 11:45:58.924165081 +0000
@@ -374,7 +374,7 @@
/usr/share/doc/Z3/api/html/cookie.js 100644 ASCII C++ program text
+/usr/share/doc/Z3/api/html/dir_0e9545ad344cdb2675a28090cd25e4fa.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_1701edcde1dc24ee90b0d6eda2519345.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_53449c7291ece328bc32ccd504db0559.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_f1ec69eaf6cbd5274a63d041ef61ce7d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/doxygen.css 100644 UTF-8 Unicode C program text
warning (#100): non-identical /usr/share part
--- libz3-devel-docs-4.16.0-alt1.x86_64.rpm.share 2026-02-23 11:46:34.276489277 +0000
+++ libz3-devel-docs-4.16.0-alt1.aarch64.rpm.share 2026-02-23 11:46:34.806494138 +0000
@@ -375,6 +375,6 @@
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_53449c7291ece328bc32ccd504db0559.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_4f2dbaa28de44e3dfe159199c23c4f24.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_8b8a026ca35ca1b0e86faed46345112d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_f1ec69eaf6cbd5274a63d041ef61ce7d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/doxygen.css 100644 UTF-8 Unicode C program text
warning (#100): non-identical /usr/share part
--- libz3-devel-docs-4.16.0-alt1.i586.rpm.share 2026-02-23 11:46:47.410609723 +0000
+++ libz3-devel-docs-4.16.0-alt1.aarch64.rpm.share 2026-02-23 11:46:47.413609750 +0000
@@ -374,6 +374,6 @@
/usr/share/doc/Z3/api/html/cookie.js 100644 ASCII C++ program text
-/usr/share/doc/Z3/api/html/dir_0e9545ad344cdb2675a28090cd25e4fa.html 100644 HTML document text
-/usr/share/doc/Z3/api/html/dir_1701edcde1dc24ee90b0d6eda2519345.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_440cbb352fefbdb83d89768c287ae784.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_4f2dbaa28de44e3dfe159199c23c4f24.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_68267d1309a1af8e8297ef4c3efbcdba.html 100644 HTML document text
+/usr/share/doc/Z3/api/html/dir_8b8a026ca35ca1b0e86faed46345112d.html 100644 HTML document text
/usr/share/doc/Z3/api/html/dir_da61e3e9a357748887e3ca8d7c5a0c16.html 100644 HTML document text
warning (#100): non-identical /usr/share part
warning (#100): libz3-devel-docs-4.16.0-alt1.x86_64.rpm should be .noarch.rpm
2026-Feb-23 11:46:50 :: noarch check OK
2026-Feb-23 11:46:52 :: plan: src +1 -1 =21637, aarch64 +6 -6 =38366, i586 +6 -6 =36262, noarch +1 -1 =22279, x86_64 +6 -6 =39389
#100 z3 4.15.8-alt1 -> 4.16.0-alt1
Mon Feb 23 2026 Grigory Ustinov <grenka at altlinux> 4.16.0-alt1
- Automatically updated to 4.16.0.
2026-Feb-23 11:47:44 :: patched apt indices
2026-Feb-23 11:47:55 :: created next repo
2026-Feb-23 11:48:05 :: duplicate provides check OK
x86_64: NEW unmet dependencies detected:
PrusaSlicer#2.9.4-alt4:sisyphus+404518.1200.4.1 at 1771415491 libz3.so.4.15()(64bit) >= set:ngCXD4nQ8OkXj47sEfSwNT2wGuVHIOM1Fkt6pOh0yu6VVgBUac0qMlHErOZJF471Xl17ZjuqiC1p8UWFG6tyVnmd18R00BfzepI2YRoctQm9s5OkjiIqFoKJZu5dBgRsQVrzNRttNxmgKneimLw8ZzhZ5vPi3QdLo9ThIzw39rIU5sItLmjS7JZcNn5Doh2V4KJrrYsOUCxOQZpv
PrusaSlicer-debuginfo#2.9.4-alt4:sisyphus+404518.1200.4.1 at 1771415491 debug64(libz3.so.4.15)
aarch64: NEW unmet dependencies detected:
PrusaSlicer#2.9.4-alt4:sisyphus+404518.1200.4.1 at 1771415436 libz3.so.4.15()(64bit) >= set:ngCXD4nQ8OkXj47sEfSwNT2wGuVHIOM1Fkt6pOh0yu6VVgBUac0qMlHErOZJF471Xl17ZjuqiC1p8UWFG6tyVnmd18R00BfzepI2YRoctQm9s5OkjiIqFoKJZu5dBgRsQVrzNRttNxmgKneimLw8ZzhZ5vPi3QdLo9ThIzw39rIU5sItLmjS7JZcNn5Doh2V4KJrrYsOUCxOQZpv
PrusaSlicer-debuginfo#2.9.4-alt4:sisyphus+404518.1200.4.1 at 1771415436 debug64(libz3.so.4.15)
ACLs of affected packages (1):
PrusaSlicer romenskiy antohami lakostis @everybody
2026-Feb-23 11:48:48 :: unmets: x86_64 +2 -0 =2, aarch64 +2 -0 =5
2026-Feb-23 11:48:48 :: dependencies check FAILED
2026-Feb-23 11:48:48 :: task #409008 for sisyphus FAILED
More information about the Sisyphus-incominger
mailing list