Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cvc5
Epoch
None
Version
1.1.2
Release
2.fc41
Started
2024-04-18 06:45:20
Finished
2024-04-18 07:07:28
Koji repo
6028486
Koji tasks
complete
116542383
aarch64
├116542491
closed
ppc64le
├116542490
closed
x86_64
└116542492
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-devel
3.12.3-
1
.fc41
3.12.3-
2
.fc41
1
gcc-c++
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
1
libstdc++-devel
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
python3-libs
3.12.3-
1
.fc41
3.12.3-
2
.fc41
2
libgcc
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
gcc
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
libstdc++
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
python3
3.12.3-
1
.fc41
3.12.3-
2
.fc41
2
openssh-clients
9.6p1-1.fc41.
6
9.6p1-1.fc41.
7
2
libquadmath-devel
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
3
cpp
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
3
openssh
9.6p1-1.fc41.
6
9.6p1-1.fc41.
7
3
libgomp
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
3
ansible-srpm-macros
1-
14
.fc40
1-
15
.fc41
4
go-srpm-macros
3.
5
.0-1.fc41
3.
6
.0-1.fc41
4
gcc-plugin-annobin
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
4
libxcb
1.
16
.1-1.fc41
1.
17
.0-1.fc41
4
kernel-headers
6.9.0-0.
rc3
.30.fc41
6.9.0-0.
rc4
.37.fc41
4
libquadmath
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
4
libgfortran
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
4
perl-Socket
4:2.
037
-5.fc40
4:2.
038
-1.fc41
B
fedora-release
41-0.
6
41-0.
9
B
fedora-release-identity-basic
41-0.
6
41-0.
9
B
fedora-release-common
41-0.
6
41-0.
9
B
show 14 more
collapse