Koschei - frama-c - build 119968452

Build details

Build information

State

complete

complete

Name

frama-c

Epoch

None

Version

29.0

Release

4.fc41

Started

2024-07-04 00:13:28

Finished

2024-07-04 00:36:40

Koji repo

6226712

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

s390x

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

ocaml-ppx-deriving-devel

6.0.2-3.fc41

6.0.2-4.fc41

1

ocaml-yaml-devel

3.2.0-8.fc41

3.2.0-9.fc41

1

ocaml-ppx-deriving-yojson-devel

3.8.0-3.fc41

3.8.0-4.fc41

1

ocaml-why3-devel

1.7.2-4.fc41

1.7.2-5.fc41

1

why3

1.7.2-4.fc41

1.7.2-5.fc41

1

ocaml-ppx-deriving-yaml-devel

0.3.0-2.fc41

0.3.0-3.fc41

1

ocaml-ppxlib

1:0.32.1-3.fc41

1:0.32.1-4.fc41

2

gnutls

3.8.5-6.fc41

3.8.6-1.fc41

2

ocaml-sexplib0-devel

0.16.0-10.fc41

0.17.0-1.fc41

2

glibc

2.39.9000-26.fc41

2.39.9000-29.fc41

2

ocaml-why3

1.7.2-4.fc41

1.7.2-5.fc41

2

ocaml-yaml

3.2.0-8.fc41

3.2.0-9.fc41

2

ocaml-parsexp-devel

0.16.0-12.fc41

0.17.0-1.fc41

2

ocaml-ppxlib-devel

1:0.32.1-3.fc41

1:0.32.1-4.fc41

2

systemd-libs

256.1-3.fc41

256.1-8.fc41

2

ocaml-sexplib

1:0.16.0-13.fc41

1:0.17.0-1.fc41

2

pyproject-rpm-macros

1.12.2-1.fc41

1.13.0-1.fc41

2

ocaml-sexplib-devel

1:0.16.0-13.fc41

1:0.17.0-1.fc41

2

ocaml-ppx-deriving-yaml

0.3.0-2.fc41

0.3.0-3.fc41

2

ocaml-parsexp

0.16.0-12.fc41

0.17.0-1.fc41

2

ocaml-sexplib0

0.16.0-10.fc41

0.17.0-1.fc41

2

ocaml-ppx-deriving

6.0.2-3.fc41

6.0.2-4.fc41

2

ocaml-ppx-deriving-yojson

3.8.0-3.fc41

3.8.0-4.fc41

2

ocaml-lwt-devel

5.7.0-10.fc41

5.7.0-11.fc41

3

glibc-gconv-extra

2.39.9000-26.fc41

2.39.9000-29.fc41

3

glibc-devel

2.39.9000-26.fc41

2.39.9000-29.fc41

3

glibc-common

2.39.9000-26.fc41

2.39.9000-29.fc41

3

glibc-minimal-langpack

2.39.9000-26.fc41

2.39.9000-29.fc41

3

mpdecimal

2.5.1-9.fc40

2.5.1-15.fc41

3

findutils

1:4.10.0-2.fc41

1:4.10.0-3.fc41

3

ocaml-lwt

5.7.0-10.fc41

5.7.0-11.fc41

3

qt6-srpm-macros

6.7.1-1.fc41

6.7.2-1.fc41

3

pyproject-srpm-macros

1.12.2-1.fc41

1.13.0-1.fc41

3

glibc-headers-x86

2.39.9000-26.fc41

2.39.9000-29.fc41

4

show 24 more collapse