Koschei - frama-c - build 131126693

Build details

Build information

State

complete

complete

Name

frama-c

Epoch

None

Version

30.0

Release

8.fc43

Started

2025-04-05 06:11:44

Finished

2025-04-05 06:26:38

Koji repo

6566192

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

emacs-nw

1:30.1-13.fc43

1:30.1-18.fc43

1

redhat-rpm-config

342-2.fc42

343-3.fc43

2

emacs-common

1:30.1-13.fc43

1:30.1-18.fc43

2

libcurl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

2

glib2

2.84.0-1.fc43

2.84.1-1.fc43

2

libffi

3.4.7-3.fc43

3.4.7-4.fc43

2

vim-filesystem

2:9.1.1227-1.fc43

2:9.1.1275-1.fc43

2

glib2-devel

2.84.0-1.fc43

2.84.1-1.fc43

3

crypto-policies

20250324-1.git3714354....

20250402-1.git86c0178....

3

libsodium-devel

1.0.20-4.fc42

1.0.20-5.fc43

3

xz-libs

1:5.8.0-1.fc43

1:5.8.1-1.fc43

3

libxcrypt

4.4.38-6.fc43

4.4.38-7.fc43

3

emacsclient

1:30.1-13.fc43

1:30.1-18.fc43

3

libsodium

1.0.20-4.fc42

1.0.20-5.fc43

4

xz

1:5.8.0-1.fc43

1:5.8.1-1.fc43

4

xz-devel

1:5.8.0-1.fc43

1:5.8.1-1.fc43

4

libxcrypt-devel

4.4.38-6.fc43

4.4.38-7.fc43

4

libffi-devel

3.4.7-3.fc43

3.4.7-4.fc43

4

gawk

5.3.1-1.fc42

5.3.2-1.fc43

4

curl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

4

fedora-release

43-0.8

43-0.10

B

fedora-release-common

43-0.8

43-0.10

B

fedora-release-identity-basic

43-0.8

43-0.10

B

show 13 more collapse