Build details

Build information

State
complete
Name
yices
Epoch
None
Version
2.6.5
Release
7.fc43
Started
2025-02-27 06:03:34
Finished
2025-02-27 06:18:37
Koji repo
6554760

Koji tasks

complete
aarch64
├129646387 closed
ppc64le
├129646386 closed
x86_64
└129646385 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

gcc-c++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
1
gcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
1
gmp-devel
1:6.3.0-2.fc41
1:6.3.0-3.fc43
1
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
2
libgomp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
zlib-ng-devel
2.2.4-1.fc43
2.2.4-2.fc43
2
libgcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
gmp-c++
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
libstdc++-devel
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
libstdc++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
2
cpp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
cmake-filesystem
3.31.5-1.fc42
4.0.0~rc2-1.fc43
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
kernel-headers
6.14.0-0.rc3.29.fc43
6.14.0-0.rc4.36.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
zlib-ng
2.2.4-1.fc43
2.2.4-2.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
cups-libs
1:2.4.11-11.fc43
1:2.4.11-13.fc43
4
coreutils-common
9.6-1.fc42
9.6-2.fc43
4
libpng
2:1.6.46-1.fc43
2:1.6.47-1.fc43
4
openssl-libs
1:3.2.4-1.fc43
1:3.2.4-2.fc43
4
libuuid
2.40.4-6.fc43
2.40.4-7.fc43
4
libblkid
2.40.4-6.fc43
2.40.4-7.fc43
B
libmount
2.40.4-6.fc43
2.40.4-7.fc43
B
fedora-release
43-0.4
43-0.5
B
perl-Specio
0.49-2.fc42
0.50-1.fc43
B
perl-libwww-perl
6.77-3.fc42
6.78-1.fc43
B
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
B
debugedit
5.1-4.fc42
5.1-5.fc43
B
perl-Module-CoreList
1:5.20250120-1.fc42
1:5.20250220-1.fc43
B
fedora-release-common
43-0.4
43-0.5
B
cups-filesystem
1:2.4.11-11.fc43
1:2.4.11-13.fc43
B
fedora-release-identity-basic
43-0.4
43-0.5
B
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
B
util-linux-core
2.40.4-6.fc43
2.40.4-7.fc43
B
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
B
libarchive
3.7.7-2.fc42
3.7.7-2.fc43
B
perl-DateTime
2:1.65-7.fc42
2:1.66-1.fc43
B
zstd
1.5.6-3.fc42
1.5.7-1.fc43
B
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.8.fc43
B
libfdisk
2.40.4-6.fc43
2.40.4-7.fc43
B
perl-Business-ISBN-Data
20250205.001-1.fc43
20250226.001-1.fc43
B