Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cvc5
Epoch
None
Version
1.2.1
Release
3.fc43
Started
2025-03-19 02:37:54
Finished
2025-03-19 03:17:16
Koji repo
6562109
Koji tasks
complete
130464404
aarch64
├130464506
closed
ppc64le
├130464505
closed
x86_64
└130464504
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
git-core
2.
48
.1-3.fc43
2.
49
.0-1.fc43
1
gcc-c++
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
1
cmake
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
1
libstdc++
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
cmake-filesystem
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
2
openssh-clients
9.9p1-
12
.fc43
9.9p1-
13
.fc43
2
libcurl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
2
libgcc
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
cmake-rpm-macros
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
2
gcc
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
libstdc++-devel
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
cmake-data
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
2
cpp
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
3
libquadmath-devel
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
3
libgomp
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
3
openssh
9.9p1-
12
.fc43
9.9p1-
13
.fc43
3
kernel-headers
6.14.0-0.
rc6
.49.fc43
6.14.0-0.
rc7
.56.fc43
4
gcc-plugin-annobin
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
4
qt5-srpm-macros
5.15.
15
-1.fc42
5.15.
16
-1.fc43
4
annobin-plugin-gcc
12.
92
-1.fc43
12.
93
-1.fc43
4
curl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
4
python3-numpy
1:2.2.
3
-1.fc43
1:2.2.
4
-1.fc43
4
libquadmath
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
4
libgfortran
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
4
python3-numpy-f2py
1:2.2.
3
-1.fc43
1:2.2.
4
-1.fc43
B
annobin-docs
12.
92
-1.fc43
12.
93
-1.fc43
B
show 16 more
collapse
