Koschei - frama-c - build 128703327

Build details

Build information

State

complete

complete

Name

frama-c

Epoch

None

Version

30.0

Release

4.fc42

Started

2025-02-01 01:13:53

Finished

2025-02-01 01:30:39

Koji repo

6547004

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

time

1.9-24.fc41

1.9-26.fc42

1

systemd-libs

257.2-14.fc42

257.2-17.fc42

2

redhat-rpm-config

300-1.fc42

342-1.fc42

2

glibc

2.40.9000-34.fc42

2.40.9000-35.fc42

2

libselinux

3.8-0.rc3.1.fc42.3

3.8-1.fc42

2

gdbm-libs

1:1.23-7.fc41

1:1.23-9.fc42

3

systemd

257.2-14.fc42

257.2-17.fc42

3

libimagequant

4.0.3-6.fc42

4.0.3-7.fc42

3

libsepol

3.8-0.rc3.1.fc42.1

3.8-1.fc42

3

glibc-devel

2.40.9000-34.fc42

2.40.9000-35.fc42

3

krb5-devel

1.21.3-4.fc42

1.21.3-5.fc42

3

glibc-gconv-extra

2.40.9000-34.fc42

2.40.9000-35.fc42

3

glibc-common

2.40.9000-34.fc42

2.40.9000-35.fc42

3

openssl-libs

1:3.2.2-13.fc42

1:3.2.2-14.fc42

3

glibc-minimal-langpack

2.40.9000-34.fc42

2.40.9000-35.fc42

3

krb5-libs

1.21.3-4.fc42

1.21.3-5.fc42

3

libaom

3.9.0-3.fc41

3.9.0-5.fc42

4

systemd-rpm-macros

257.2-14.fc42

257.2-17.fc42

4

libsoup3

3.6.4-1.fc42

3.6.4-2.fc42

4

libselinux-devel

3.8-0.rc3.1.fc42.3

3.8-1.fc42

4

systemd-pam

257.2-14.fc42

257.2-17.fc42

4

libkadm5

1.21.3-4.fc42

1.21.3-5.fc42

4

mesa-libgbm

24.3.3-3.fc42

24.3.4-2.fc42

B

systemd-devel

257.2-14.fc42

257.2-17.fc42

B

libsemanage

3.8-0.rc3.1.fc42.1

3.8-1.fc42

B

mesa-dri-drivers

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-libEGL

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-libglapi

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-libGL

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-filesystem

24.3.3-3.fc42

24.3.4-2.fc42

B

libsepol-devel

3.8-0.rc3.1.fc42.1

3.8-1.fc42

B

gdbm

1:1.23-7.fc41

1:1.23-9.fc42

B

show 22 more collapse