Build details

Build information

State
complete
Name
why3
Epoch
None
Version
1.7.2
Release
1.fc39
Started
2024-10-05 06:42:04
Finished
2024-10-05 07:01:55
Koji repo
6505602

Koji tasks

complete
aarch64
├124397855 closed
x86_64
└124397854 closed

Build logs

aarch64
x86_64

Dependency changes from previous build

expat
2.6.2-1.fc39
2.6.3-1.fc39
2
libgcc
13.3.1-1.fc39
13.3.1-3.fc39
2
gcc
13.3.1-1.fc39
13.3.1-3.fc39
2
libstdc++
13.3.1-1.fc39
13.3.1-3.fc39
2
python3
3.12.5-1.fc39
3.12.6-1.fc39
2
libgccjit
13.3.1-1.fc39
13.3.1-3.fc39
2
systemd-libs
254.16-1.fc39
254.18-1.fc39
2
python3-libs
3.12.5-1.fc39
3.12.6-1.fc39
3
cpp
13.3.1-1.fc39
13.3.1-3.fc39
3
gcc-plugin-annobin
13.3.1-1.fc39
13.3.1-3.fc39
3
rpmautospec-rpm-macros
0.7.1-1.fc39
0.7.2-1.fc39
3
libgomp
13.3.1-1.fc39
13.3.1-3.fc39
3
openssl-libs
1:3.1.4-3.fc39
1:3.1.4-4.fc39
3
cups-libs
1:2.4.10-6.fc39
1:2.4.10-7.fc39
3
python3-urllib3
1.26.19-1.fc39
1.26.20-1.fc39
3
python3-urllib3+socks
1.26.19-1.fc39
1.26.20-1.fc39
4
nspr
4.35.0-22.fc39
4.35.0-23.fc39
4
nss
3.103.0-1.fc39
3.104.0-1.fc39
4
nss-softokn-freebl
3.103.0-1.fc39
3.104.0-1.fc39
B
nss-sysinit
3.103.0-1.fc39
3.104.0-1.fc39
B
libquadmath
13.3.1-1.fc39
13.3.1-3.fc39
B
gdb-minimal
14.2-2.fc39
15.1-1.fc39
B
libgfortran
13.3.1-1.fc39
13.3.1-3.fc39
B
nss-softokn
3.103.0-1.fc39
3.104.0-1.fc39
B
nss-util
3.103.0-1.fc39
3.104.0-1.fc39
B
hwdata
0.385-1.fc39
0.387-1.fc39
B
perl-DateTime-TimeZone
2.62-1.fc39
2.63-1.fc39
B
perl-Module-CoreList
1:5.20240720-1.fc39
1:5.20240920-1.fc39
B
perl-Tie-RefHash
1.40-500.fc39
1.41-1.fc39
B