Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cvc5
Epoch
None
Version
1.1.2
Release
2.fc40
Started
2024-07-04 05:17:03
Finished
2024-07-04 05:43:33
Koji repo
6226743
Koji tasks
complete
119972149
aarch64
├119972320
closed
ppc64le
├119972321
closed
x86_64
└119972322
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
pyproject-rpm-macros
1.12.
0
-1.fc40
1.12.
2
-1.fc40
1
gcc-c++
14.1.1-
6
.fc40
14.1.1-
7
.fc40
1
pyproject-srpm-macros
1.12.
0
-1.fc40
1.12.
2
-1.fc40
2
libstdc++-devel
14.1.1-
6
.fc40
14.1.1-
7
.fc40
2
pkgconf-pkg-config
2.1.
0
-1.fc40
2.1.
1
-1.fc40
2
python3-rpm-macros
3.12-
7
.fc40
3.12-
8
.fc40
2
openssh-clients
9.6p1-1.fc40.
2
9.6p1-1.fc40.
4
2
gcc
14.1.1-
6
.fc40
14.1.1-
7
.fc40
2
python-srpm-macros
3.12-
7
.fc40
3.12-
8
.fc40
2
zlib-ng-compat
2.1.
6
-5.fc40
2.1.
7
-1.fc40
2
python-rpm-macros
3.12-
7
.fc40
3.12-
8
.fc40
2
libgcc
14.1.1-
6
.fc40
14.1.1-
7
.fc40
2
systemd-libs
255.
7
-1.fc40
255.
8
-1.fc40
2
libstdc++
14.1.1-
6
.fc40
14.1.1-
7
.fc40
2
zlib-ng-compat-devel
2.1.
6
-5.fc40
2.1.
7
-1.fc40
2
pkgconf-m4
2.1.
0
-1.fc40
2.1.
1
-1.fc40
3
cups-libs
1:2.4.
8
-3.fc40
1:2.4.
10
-1.fc40
3
libquadmath-devel
14.1.1-
6
.fc40
14.1.1-
7
.fc40
3
pkgconf
2.1.
0
-1.fc40
2.1.
1
-1.fc40
3
openssh
9.6p1-1.fc40.
2
9.6p1-1.fc40.
4
3
cpp
14.1.1-
6
.fc40
14.1.1-
7
.fc40
3
libgomp
14.1.1-
6
.fc40
14.1.1-
7
.fc40
3
libgfortran
14.1.1-
6
.fc40
14.1.1-
7
.fc40
4
gcc-plugin-annobin
14.1.1-
6
.fc40
14.1.1-
7
.fc40
4
libquadmath
14.1.1-
6
.fc40
14.1.1-
7
.fc40
4
libpkgconf
2.1.
0
-1.fc40
2.1.
1
-1.fc40
4
annobin-plugin-gcc
12.
57
-1.fc40
12.
60
-1.fc40
4
annobin-docs
12.
57
-1.fc40
12.
60
-1.fc40
B
show 18 more
collapse
