Koschei - alt-ergo - build 128612882

Build details

Build information

State

complete

complete

Name

alt-ergo

Epoch

None

Version

2.3.3

Release

23.fc41

Started

2025-01-29 16:30:33

Finished

2025-01-29 16:37:17

Koji repo

6546462

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-ocplib-simplex-devel

1:0.4.1-9.fc41

1:0.4.1-10.fc41

1

ocaml-psmt2-frontend-devel

0.4.0-20.fc41

0.4.0-21.fc41

1

ocaml-menhir

20240715-1.fc41

20240715-2.fc41

1

ocaml-zip-devel

1.12-1.fc41

1.13-1.fc41

1

ocaml-num-devel

1.5-9.fc41

1.5-10.fc41

1

ocaml-zarith-devel

1.14-2.fc41

1.14-3.fc41

1

ocaml

5.2.0-3.fc41

5.2.1-1.fc41

1

ocaml-lablgtk-devel

2.18.13-14.fc41

2.18.13-15.fc41

1

ocaml-dune

3.16.1-1.fc41

3.17.2-1.fc41

1

zlib-ng-devel

2.2.3-1.fc41

2

ocaml-ocplib-simplex

1:0.4.1-9.fc41

1:0.4.1-10.fc41

2

ocaml-compiler-libs

5.2.0-3.fc41

5.2.1-1.fc41

2

ocaml-num

1.5-9.fc41

1.5-10.fc41

2

ocaml-psmt2-frontend

0.4.0-20.fc41

0.4.0-21.fc41

2

ocaml-zip

1.12-1.fc41

1.13-1.fc41

2

ocaml-runtime

5.2.0-3.fc41

5.2.1-1.fc41

2

ocaml-lablgtk

2.18.13-14.fc41

2.18.13-15.fc41

2

glibc

2.40-17.fc41

2.40-21.fc41

2

ocaml-menhirlib-devel

20240715-1.fc41

20240715-2.fc41

2

ocaml-zarith

1.14-2.fc41

1.14-3.fc41

2

ocaml-rpm-macros

5.2.0-3.fc41

5.2.1-1.fc41

2

zlib-ng

2.2.3-1.fc41

3

gnutls

3.8.6-7.fc41

3.8.8-3.fc41

3

ocaml-menhirlib

20240715-1.fc41

20240715-2.fc41

3

cmake-filesystem

3.30.5-1.fc41

3.30.7-1.fc41

3

glibc-common

2.40-17.fc41

2.40-21.fc41

3

sqlite-libs

3.46.1-1.fc41

3.46.1-2.fc41

3

glibc-devel

2.40-17.fc41

2.40-21.fc41

3

glibc-minimal-langpack

2.40-17.fc41

2.40-21.fc41

3

glibc-gconv-extra

2.40-17.fc41

2.40-21.fc41

3

openldap

2.6.8-6.fc41

2.6.8-7.fc41

3

publicsuffix-list-dafsa

20240107-4.fc41

20250116-1.fc41

4

debugedit

5.1-2.fc41

5.1-4.fc41

B

show 23 more collapse