Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
yices
Epoch
None
Version
2.6.4
Release
12.fc41
Started
2024-03-14 20:43:14
Finished
2024-03-14 21:00:31
Koji repo
5921445
Koji tasks
complete
114960835
aarch64
├114961129
closed
ppc64le
├114961130
closed
x86_64
└114961131
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
cadical-devel
1:1.9.
4
-3.fc40
1:1.9.
5
-1.fc41
1
kissat-devel
3.1.1-
3
.fc40
3.1.1-
4
.fc41
1
xdg-utils
1.2.
0
-1.fc40
1.2.
1
-1.fc41
2
python3-babel
2.
13
.1-3.fc40
2.
14
.0-1.fc41
2
kissat-libs
3.1.1-
3
.fc40
3.1.1-
4
.fc41
2
cadical-libs
1:1.9.
4
-3.fc40
1:1.9.
5
-1.fc41
2
ghostscript
10.
02
.1-8.fc40
10.
03
.0-1.fc41
2
ghostscript-tools-fonts
10.
02
.1-8.fc40
10.
03
.0-1.fc41
3
libgs
10.
02
.1-8.fc40
10.
03
.0-1.fc41
3
ghostscript-tools-printing
10.
02
.1-8.fc40
10.
03
.0-1.fc41
3
sqlite-libs
3.45.
1
-2.fc40
3.45.
2
-1.fc41
4
xz-libs
5.6.
0
-3.fc41
5.6.
1
-1.fc41
4
python-pip-wheel
23
.3.2-1.fc40
24
.0-2.fc41
4
openssl-libs
1:3.2.1-
2
.fc40
1:3.2.1-
3
.fc41
4
shadow-utils
2:4.15.
0rc3
-1.fc41
2:4.15.
1
-1.fc41
B
perl-LWP-Protocol-https
6.
13
-1.fc40
6.
14
-1.fc41
B
perl-HTML-Tagset
3.
20
-57.fc40
3.
24
-1.fc41
B
google-noto-fonts-common
20240201
-2.fc41
20240301
-2.fc41
B
libXaw
1.0.
15
-3.fc40
1.0.
16
-1.fc41
B
python3-setuptools
69.0.3-3.fc41
xz
5.6.
0
-3.fc41
5.6.
1
-1.fc41
B
perl-libwww-perl
6.
76
-1.fc40
6.
77
-1.fc41
B
gdb-minimal
14.
1
-10.fc41
14.
2
-1.fc41
B
redhat-rpm-config
285
-1.fc41
287
-1.fc41
B
perl-Business-ISBN-Data
20240302
.001-1.fc41
20240313
.001-1.fc41
B
google-noto-sans-vf-fonts
20240201
-2.fc41
20240301
-2.fc41
B
libssh
0.10.6-
5
.fc41
0.10.6-
6
.fc41
B
libssh-config
0.10.6-
5
.fc41
0.10.6-
6
.fc41
B
audit-libs
4.0
-
8.fc40
4.0
.
1-1.fc41
B
show 19 more
collapse
complete