From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on sa.local.altlinux.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=ham autolearn_force=no version=3.4.1 Date: Sun, 18 Jan 2026 16:58:55 +0000 From: "Girar awaiter (vt)" To: Vitaly Chikunov Subject: [#405447] [test-only] FAILED frama-c.git=32.0-alt1 Message-ID: Mail-Followup-To: Girar awaiter robot MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-girar-task-id: 405447 X-girar-task-owner: vt X-girar-task-repo: sisyphus X-girar-task-try: 1 X-girar-task-iter: 1 X-girar-task-status: FAILED X-girar-task-URL: https://git.altlinux.org/tasks/405447/ X-girar-task-log: logs/events.1.1.log X-girar-task-summary: [#405447] [test-only] FAILED frama-c.git=32.0-alt1 User-Agent: Mutt/1.10.1 (2018-07-13) Cc: sisyphus-incominger@lists.altlinux.org, girar-builder-sisyphus@altlinux.org X-BeenThere: sisyphus-incominger@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Devel discussion list List-Id: ALT Linux Girar Builder robot reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 18 Jan 2026 16:58:57 -0000 Archived-At: List-Archive: https://git.altlinux.org/tasks/405447/logs/events.1.1.log https://packages.altlinux.org/tasks/405447 subtask name aarch64 i586 x86_64 #100 frama-c 12:32 5:48 7:06 2026-Jan-18 16:42:40 :: test-only task #405447 for sisyphus started by vt: #100 build 32.0-alt1 from /people/vt/packages/frama-c.git fetched at 2026-Jan-18 16:42:38 2026-Jan-18 16:42:41 :: [i586] #100 frama-c.git 32.0-alt1: build start 2026-Jan-18 16:42:41 :: [aarch64] #100 frama-c.git 32.0-alt1: build start 2026-Jan-18 16:42:41 :: [x86_64] #100 frama-c.git 32.0-alt1: build start 2026-Jan-18 16:48:29 :: [i586] #100 frama-c.git 32.0-alt1: build OK 2026-Jan-18 16:49:47 :: [x86_64] #100 frama-c.git 32.0-alt1: build OK 2026-Jan-18 16:55:13 :: [aarch64] #100 frama-c.git 32.0-alt1: build OK 2026-Jan-18 16:55:21 :: 100: build check OK 2026-Jan-18 16:55:22 :: build check OK 2026-Jan-18 16:55:29 :: #100: frama-c.git 32.0-alt1: version check OK 2026-Jan-18 16:55:29 :: build version check OK 2026-Jan-18 16:56:16 :: noarch check OK 2026-Jan-18 16:56:18 :: plan: src +1 -0 =21480, aarch64 +2 -0 =38013, i586 +2 -0 =36022, x86_64 +2 -0 =39017 2026-Jan-18 16:57:05 :: patched apt indices 2026-Jan-18 16:57:14 :: created next repo 2026-Jan-18 16:57:24 :: duplicate provides check OK 2026-Jan-18 16:58:03 :: dependencies check OK x86_64: NEW bad_elf_symbols detected: frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__StoreMap.Make_23 frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__UnionFindOverStore.Make_5 frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_388 frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_389 frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_390 frama-c-32.0-alt1.x86_64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_391 x86_64: old bad_elf_symbols resolved: ocaml-dune-site-3.20.2-alt1.x86_64.rpm /usr/lib64/ocaml/dune-site/dune_site.cmxs U camlDune_site__Dune_site_data ocaml-dune-site-3.20.2-alt1.x86_64.rpm /usr/lib64/ocaml/dune-site/plugins/dune_site_plugins.cmxs U camlDune_site_plugins__Dune_site_plugins_data aarch64: NEW bad_elf_symbols detected: frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__StoreMap.Make_23 frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs U camlUnionFind__UnionFindOverStore.Make_5 frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_388 frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_389 frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_390 frama-c-32.0-alt1.aarch64.rpm /usr/lib64/ocaml/frama-c-region/core/Region.cmxs U camlUnionFind__UnionFindOverStore__Pmakeblock_391 aarch64: old bad_elf_symbols resolved: ocaml-dune-site-3.20.2-alt1.aarch64.rpm /usr/lib64/ocaml/dune-site/dune_site.cmxs U camlDune_site__Dune_site_data ocaml-dune-site-3.20.2-alt1.aarch64.rpm /usr/lib64/ocaml/dune-site/plugins/dune_site_plugins.cmxs U camlDune_site_plugins__Dune_site_plugins_data 2026-Jan-18 16:58:54 :: [x86_64 i586 aarch64] ELF symbols check FAILED 2026-Jan-18 16:58:55 :: task #405447 for sisyphus FAILED