Build details

Build information

State
complete
Name
flocq
Epoch
None
Version
4.2.0
Release
1.fc41
Started
2024-07-16 16:54:22
Finished
2024-07-16 17:05:59
Koji repo
6260056

Koji tasks

complete
aarch64
├120586951 closed
ppc64le
├120586952 closed
s390x
├120586953 closed
x86_64
└120586950 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

coq
8.18.0-8.fc41
8.18.0-9.fc41
1
coq-core
8.18.0-8.fc41
8.18.0-9.fc41
2
ocaml-zarith
1.13-8.fc41
1.14-1.fc41
3
qt6-srpm-macros
6.7.2-1.fc41
6.7.2-2.fc41
3
ocaml-zarith-devel
1.13-8.fc41
1.14-1.fc41
3
qt5-srpm-macros
5.15.14-1.fc41
5.15.14-2.fc41
3
coreutils
9.5-3.fc41
9.5-5.fc41
3
coreutils-common
9.5-3.fc41
9.5-5.fc41
4
kernel-headers
6.10.0-0.rc7.58.fc41
6.10.0-64.fc41
4
perl-podlators
1:5.01-510.fc41
1:6.0.2-1.fc41
4
crypto-policies
20240628-1.gitddd11d3....
20240715-2.gitf8b6a29....
B
perl-IO-Socket-SSL
2.087-2.fc41
2.088-1.fc41
B