Koschei - frama-c - build 128336919

Build details

Build information

State

complete

complete

Name

frama-c

Epoch

None

Version

30.0

Release

4.fc42

Started

2025-01-22 23:43:43

Finished

2025-01-23 00:00:47

Koji repo

6545265

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-why3-devel

1.8.0-1.fc42

1.8.0-3.fc42

1

why3

1.8.0-1.fc42

1.8.0-3.fc42

1

ocaml-why3

1.8.0-1.fc42

1.8.0-3.fc42

2

annobin-plugin-gcc

12.81-1.fc42

12.83-1.fc42

3

annobin-docs

12.81-1.fc42

12.83-1.fc42

4