Koschei - frama-c - build 124501773

Build details

Build information

State

complete

complete

Name

frama-c

Epoch

None

Version

29.0

Release

8.fc41

Started

2024-10-07 04:56:44

Finished

2024-10-07 05:16:12

Koji repo

6511372

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

clang

18.1.8-3.fc41

19.1.0-1.fc41

1

z3

4.13.0-6.fc41

4.13.2-1.fc41

1

librsvg2

2.57.1-8.fc41

2.59.1-1.fc41

2

clang-libs

18.1.8-3.fc41

19.1.0-1.fc41

2

llvm-libs

18.1.8-2.fc41

19.1.0-1.fc41

2

glib2

2.82.0-1.fc41

2.82.1-1.fc41

2

libxcb

1.17.0-2.fc41

1.17.0-3.fc41

3

binutils

2.43-3.fc41

2.43.1-2.fc41

3

clang-resource-filesystem

18.1.8-3.fc41

19.1.0-1.fc41

3

rsvg-pixbuf-loader

2.57.1-8.fc41

2.59.1-1.fc41

3

openssl-libs

1:3.2.2-7.fc41

1:3.2.2-9.fc41

3

coreutils

9.5-9.fc41

9.5-10.fc41

3

glib2-devel

2.82.0-1.fc41

2.82.1-1.fc41

3

shadow-utils

2:4.15.1-10.fc41

2:4.15.1-11.fc41

4

coreutils-common

9.5-9.fc41

9.5-10.fc41

4

libxcb-devel

1.17.0-2.fc41

1.17.0-3.fc41

4

mesa-libGL

24.2.3-2.fc41

24.2.4-1.fc41

B

hwdata

0.387-1.fc41

0.388-1.fc41

B

mesa-libgbm

24.2.3-2.fc41

24.2.4-1.fc41

B

mesa-dri-drivers

24.2.3-2.fc41

24.2.4-1.fc41

B

mesa-libglapi

24.2.3-2.fc41

24.2.4-1.fc41

B

mesa-filesystem

24.2.3-2.fc41

24.2.4-1.fc41

B

mesa-libEGL

24.2.3-2.fc41

24.2.4-1.fc41

B

show 13 more collapse