Koschei - why3 - build 128336087

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

3.fc42

Started

2025-01-22 23:15:43

Finished

2025-01-22 23:32:49

Koji repo

6545257

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

coq

8.20.0-2.fc42

8.20.1-1.fc42

1

flocq

4.2.0-4.fc42

4.2.0-5.fc42

1

coq-core

8.20.0-2.fc42

8.20.1-1.fc42

2

pango

1.55.0-2.fc42

1.56.1-1.fc42

2

rpm-libs

4.20.0-7.fc42

4.20.0-8.fc42

2

glib2

2.83.2-2.fc42

2.83.2-3.fc42

2

systemd

257.2-14.fc42

3

glib2-devel

2.83.2-2.fc42

2.83.2-3.fc42

3

annobin-plugin-gcc

12.81-1.fc42

12.83-1.fc42

3

rpm

4.20.0-7.fc42

4.20.0-8.fc42

3

qt5-srpm-macros

5.15.16-2.fc42

5.15.15-1.fc42

3

systemd-pam

257.2-14.fc42

4

pango-devel

1.55.0-2.fc42

1.56.1-1.fc42

4

gpgmepp

1.24.0-2.fc42

1.24.1-1.fc42

4

annobin-docs

12.81-1.fc42

12.83-1.fc42

4

rpm-build

4.20.0-7.fc42

4.20.0-8.fc42

4

libseccomp

2.5.5-2.fc41

4

dbus-common

1:1.16.0-3.fc42

B

gpgme

1.24.0-2.fc42

1.24.1-1.fc42

B

gnupg2

2.4.5-5.fc42

2.4.7-1.fc42

B

dbus-broker

36-5.fc42

B

rpm-build-libs

4.20.0-7.fc42

4.20.0-8.fc42

B

show 12 more collapse