Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
flocq
Epoch
None
Version
4.1.4
Release
3.fc41
Started
2024-07-15 06:32:42
Finished
2024-07-15 06:45:05
Koji repo
6254864
Koji tasks
complete
120511738
aarch64
├120511790
closed
ppc64le
├120511789
closed
x86_64
└120511788
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
coq
8.18.0-
7
.fc41
8.18.0-
8
.fc41
1
coq-core
8.18.0-
7
.fc41
8.18.0-
8
.fc41
2
libcurl
8.8.0-
1
.fc41
8.8.0-
2
.fc41
3
krb5-libs
1.21.
2
-6.fc41
1.21.
3
-1.fc41
4
libselinux
3.7-
1
.fc41
3.7-
3
.fc41
4
systemd-libs
256.
1
-8.fc41
256.
2
-1.fc41
4
curl
8.8.0-
1
.fc41
8.8.0-
2
.fc41
4
p11-kit
0.25.5-
1
.fc41
0.25.5-
2
.fc41
4
libutempter
1.2.1-
13
.fc40
1.2.1-
14
.fc41
4
p11-kit-trust
0.25.5-
1
.fc41
0.25.5-
2
.fc41
4
openssl-libs
1:3.2.2-
3
.fc41
1:3.2.2-
4
.fc41
4
rpm-sequoia
1.
6
.0-3.fc41
1.
7
.0-1.fc41
B
fedora-release
41-0.
14
41-0.
16
B
perl-Net-SSLeay
1.94-
4
.fc41
1.94-
5
.fc41
B
perl-IO-Socket-SSL
2.
085
-1.fc40
2.
087
-2.fc41
B
fedora-release-identity-basic
41-0.
14
41-0.
16
B
fedora-release-common
41-0.
14
41-0.
16
B
show 7 more
collapse
complete