Build details

Build information

State
complete
Name
why3
Epoch
None
Version
1.8.0
Release
4.fc43
Started
2025-03-10 01:05:29
Finished
2025-03-10 01:21:46
Koji repo
6557809

Koji tasks

complete
aarch64
├130063349 closed
ppc64le
├130063348 closed
x86_64
└130063347 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

systemd-libs
257.3-7.fc43
257.4-3.fc43
2
python3-jinja2
3.1.5-2.fc42
3.1.6-1.fc43
2
glib2
2.83.5-1.fc43
2.84.0-1.fc43
2
tree-sitter-srpm-macros
0.1.0-8.fc42
0.2.0-1.fc43
3
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
3
cmake-filesystem
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
3
libffi
3.4.6-5.fc42
3.4.7-2.fc43
3
glib2-devel
2.83.5-1.fc43
2.84.0-1.fc43
3
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
3
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
3
libffi-devel
3.4.6-5.fc42
3.4.7-2.fc43
4
setup
2.15.0-12.fc43
2.15.0-13.fc43
4
google-noto-fonts-common
20250201-1.fc43
20250301-1.fc43
4
nss
3.108.0-3.fc43
3.109.0-1.fc43
4
adwaita-icon-theme
47.0-2.fc42
48~beta-1.fc43
4
readline
8.2-12.fc42
8.2-13.fc43
4
nspr
4.36.0-4.fc43
4.36.0-5.fc43
4
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
4
perl-Date-Manip
6.96-2.fc42
6.97-1.fc43
B
systemd-rpm-macros
257.3-7.fc43
257.4-3.fc43
B
mesa-libgbm
25.0.0-1.fc43
25.0.1-2.fc43
B
mesa-libEGL
25.0.0-1.fc43
25.0.1-2.fc43
B
nss-softokn-freebl
3.108.0-3.fc43
3.109.0-1.fc43
B
nss-util
3.108.0-3.fc43
3.109.0-1.fc43
B
mesa-libGL
25.0.0-1.fc43
25.0.1-2.fc43
B
adwaita-cursor-theme
47.0-2.fc42
48~beta-1.fc43
B
hwdata
0.392-1.fc42
0.393-1.fc43
B
nss-sysinit
3.108.0-3.fc43
3.109.0-1.fc43
B
mesa-dri-drivers
25.0.0-1.fc43
25.0.1-2.fc43
B
mesa-filesystem
25.0.0-1.fc43
25.0.1-2.fc43
B
systemd-devel
257.3-7.fc43
257.4-3.fc43
B
llvm-libs
19.1.7-11.fc43
20.1.0-1.fc43
B
llvm-filesystem
19.1.7-11.fc43
20.1.0-1.fc43
B
nss-softokn
3.108.0-3.fc43
3.109.0-1.fc43
B