Koschei - alt-ergo - build 110531101

Build details

Build information

State

failed

failed

Name

alt-ergo

Epoch

None

Version

2.3.3

Release

12.fc40

Started

2023-12-18 22:58:20

Finished

2023-12-18 23:09:22

Koji repo

5679603

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

ocaml-lablgtk-devel

2.18.13-8.fc40

2.18.13-9.fc40

1

ocaml-ocplib-simplex-devel

0.4.1-5.fc40

0.5-1.fc40

1

ocaml-dune

3.12.1-2.fc40

3.12.1-3.fc40

1

ocaml-menhir

20230608-5.fc40

20230608-7.fc40

1

ocaml-psmt2-frontend-devel

0.4.0-13.fc40

0.4.0-14.fc40

1

ocaml

5.1.1-1.fc40

5.1.1-2.fc40

1

ocaml-zip-devel

1.11-12.fc40

1.11-13.fc40

1

ocaml-zarith-devel

1.13-3.fc40

1.13-4.fc40

1

ocaml-num-devel

1.4-14.fc40

1.5-3.fc40

1

ocaml-lablgtk

2.18.13-8.fc40

2.18.13-9.fc40

2

ocaml-zarith

1.13-3.fc40

1.13-4.fc40

2

ocaml-rpm-macros

5.1.1-1.fc40

5.1.1-2.fc40

2

ocaml-compiler-libs

5.1.1-1.fc40

5.1.1-2.fc40

2

ocaml-menhirlib-devel

20230608-5.fc40

20230608-7.fc40

2

ocaml-psmt2-frontend

0.4.0-13.fc40

0.4.0-14.fc40

2

ocaml-runtime

5.1.1-1.fc40

5.1.1-2.fc40

2

ocaml-ocplib-simplex

0.4.1-5.fc40

0.5-1.fc40

2

ocaml-zip

1.11-12.fc40

1.11-13.fc40

2

ocaml-logs-devel

0.7.0-15.fc40

2

ocaml-logs

0.7.0-15.fc40

2

ocaml-num

1.4-14.fc40

1.5-3.fc40

2

ocaml-fmt

0.9.0-12.fc40

3

ocaml-menhirlib

20230608-5.fc40

20230608-7.fc40

3

ocaml-fmt-devel

0.9.0-12.fc40

3

ocaml-lwt

5.7.0-5.fc40

3

ocaml-cmdliner-devel

1.2.0-6.fc40

3

ocaml-lwt-devel

5.7.0-5.fc40

3

ocaml-cmdliner

1.2.0-6.fc40

3

ocaml-ocplib-endian-devel

1.2-13.fc40

4

ocaml-ocplib-endian

1.2-13.fc40

4

libev-devel

4.33-8.fc39

4

pam-libs

1.5.3-8.fc40

1.5.3-9.fc40

4

libev

4.33-8.fc39

4

kernel-headers

6.7.0-0.rc5.41.fc40

6.7.0-0.rc6.48.fc40

4

pam

1.5.3-8.fc40

1.5.3-9.fc40

4

systemd-libs

255-1.fc40

255.1-1.fc40

4

cups-libs

1:2.4.7-4.fc40

1:2.4.7-5.fc40

4

dbus-broker

33-2.fc39

34-1.fc40

B

show 28 more collapse