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-31 03:25:47
Finished
2025-03-31 04:08:00
Koji repo
6564987
Koji tasks
complete
130928489
aarch64
├130928585
closed
ppc64le
├130928584
closed
x86_64
└130928583
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-setuptools
74
.1.3-5.fc42
76
.1.0-1.fc43
1
gcc-c++
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
1
python3-cython
3.0.
11
-4.fc43
3.0.
12
-1.fc43
1
libstdc++-devel
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
2
libgcc
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
2
libstdc++
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
2
gcc
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
2
cpp
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
3
libffi
3.4.7-
2
.fc43
3.4.7-
3
.fc43
3
openldap
2.6.9-
3
.fc42
2.6.9-
5
.fc43
3
tzdata
2025a
-1.fc43
2025b
-1.fc43
3
libquadmath-devel
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
3
gdb-minimal
16.2-
1
.fc43
16.2-
3
.fc43
3
patch
2.
7
.6-26.fc42
2.
8
-1.fc43
3
libgomp
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
3
libgfortran
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
4
tzdata-java
2025a
-1.fc43
2025b
-1.fc43
4
qt6-srpm-macros
6.
8
.2-2.fc43
6.
9
.0~rc-1.fc43
4
libquadmath
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
4
gcc-plugin-annobin
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
4
show 10 more
collapse
