Build details

Build information

State
complete
Name
why3
Epoch
None
Version
1.7.2
Release
9.fc41
Started
2025-01-19 16:22:28
Finished
2025-01-19 16:36:59
Koji repo
6544064

Koji tasks

complete
aarch64
├128165892 closed
ppc64le
├128165890 closed
x86_64
└128165891 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

emacs-nw
1:29.4-38.fc41
1:29.4-43.fc41
1
libstdc++
14.2.1-3.fc41
14.2.1-7.fc41
2
libgcc
14.2.1-3.fc41
14.2.1-7.fc41
2
libuuid
2.40.2-4.fc41
2.40.4-1.fc41
2
libgccjit
14.2.1-3.fc41
14.2.1-7.fc41
2
emacs-common
1:29.4-38.fc41
1:29.4-43.fc41
2
zlib-ng-compat
2.1.7-3.fc41
2.2.3-1.fc41
2
gcc
14.2.1-3.fc41
14.2.1-7.fc41
2
util-linux
2.40.2-4.fc41
2.40.4-1.fc41
3
libgomp
14.2.1-3.fc41
14.2.1-7.fc41
3
libmount
2.40.2-4.fc41
2.40.4-1.fc41
3
libxcrypt
4.4.37-4.fc41
4.4.38-3.fc41
3
cpp
14.2.1-3.fc41
14.2.1-7.fc41
3
gcc-plugin-annobin
14.2.1-3.fc41
14.2.1-7.fc41
3
emacsclient
1:29.4-38.fc41
1:29.4-43.fc41
3
zlib-ng-compat-devel
2.1.7-3.fc41
2.2.3-1.fc41
4
flexiblas-netlib
3.4.4-3.fc41
3.4.4-5.fc41
4
libmount-devel
2.40.2-4.fc41
2.40.4-1.fc41
4
libblkid
2.40.2-4.fc41
2.40.4-1.fc41
4
libxcrypt-devel
4.4.37-4.fc41
4.4.38-3.fc41
4
libfdisk
2.40.2-4.fc41
2.40.4-1.fc41
4
libsmartcols
2.40.2-4.fc41
2.40.4-1.fc41
4
util-linux-core
2.40.2-4.fc41
2.40.4-1.fc41
4
spirv-tools-libs
2024.3-3.fc41
2024.4-1.fc41
B
mesa-libGL
24.3.2-2.fc41
24.3.3-2.fc41
B
mesa-libgbm
24.3.2-2.fc41
24.3.3-2.fc41
B
mesa-dri-drivers
24.3.2-2.fc41
24.3.3-2.fc41
B
mesa-libEGL
24.3.2-2.fc41
24.3.3-2.fc41
B
mesa-libglapi
24.3.2-2.fc41
24.3.3-2.fc41
B
libquadmath
14.2.1-3.fc41
14.2.1-7.fc41
B
flexiblas
3.4.4-3.fc41
3.4.4-5.fc41
B
mesa-filesystem
24.3.2-2.fc41
24.3.3-2.fc41
B
libusb1
1.0.27-4.fc41
1.0.27-6.fc41
B
flexiblas-openblas-openmp
3.4.4-3.fc41
3.4.4-5.fc41
B
libblkid-devel
2.40.2-4.fc41
2.40.4-1.fc41
B
libgfortran
14.2.1-3.fc41
14.2.1-7.fc41
B