Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
4.fc40
Started
2024-09-20 04:41:32
Finished
2024-09-20 05:00:52
Koji repo
6452712
Koji tasks
complete
123681697
aarch64
├123681780
closed
x86_64
└123681781
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.12.
5
-2.fc40
3.12.
6
-1.fc40
1
git-core
2.46.
0
-1.fc40
2.46.
1
-1.fc40
1
zlib-ng-compat
2.1.7-
1
.fc40
2.1.7-
2
.fc40
2
python3
3.12.
5
-2.fc40
3.12.
6
-1.fc40
2
python3-libs
3.12.
5
-2.fc40
3.12.
6
-1.fc40
2
gcc
14.2.1-
1
.fc40
14.2.1-
3
.fc40
2
expat
2.6.
2
-1.fc40
2.6.
3
-1.fc40
2
libgcc
14.2.1-
1
.fc40
14.2.1-
3
.fc40
2
gcc-plugin-annobin
14.2.1-
1
.fc40
14.2.1-
3
.fc40
3
cpp
14.2.1-
1
.fc40
14.2.1-
3
.fc40
3
libgomp
14.2.1-
1
.fc40
14.2.1-
3
.fc40
3
nss
3.
103
.0-1.fc40
3.
104
.0-1.fc40
3
zlib-ng-compat-devel
2.1.7-
1
.fc40
2.1.7-
2
.fc40
3
qt5-srpm-macros
5.15.
14
-2.fc40
5.15.
15
-1.fc40
3
libquadmath
14.2.1-
1
.fc40
14.2.1-
3
.fc40
4
gdb-minimal
14
.2-3.fc40
15
.1-1.fc40
4
libstdc++
14.2.1-
1
.fc40
14.2.1-
3
.fc40
4
nss-util
3.
103
.0-1.fc40
3.
104
.0-1.fc40
4
libXi-devel
1.8.
1
-5.fc40
1.8.
2
-1.fc40
4
nss-sysinit
3.
103
.0-1.fc40
3.
104
.0-1.fc40
4
libXi
1.8.
1
-5.fc40
1.8.
2
-1.fc40
4
systemd-libs
255.
10
-3.fc40
255.
12
-1.fc40
4
libgfortran
14.2.1-
1
.fc40
14.2.1-
3
.fc40
4
nss-softokn
3.
103
.0-1.fc40
3.
104
.0-1.fc40
4
nspr
4.35.0-
28
.fc40
4.35.0-
29
.fc40
4
mesa-libEGL
24.1.
6
-1.fc40
24.1.
7
-1.fc40
B
mesa-libgbm
24.1.
6
-1.fc40
24.1.
7
-1.fc40
B
mesa-libglapi
24.1.
6
-1.fc40
24.1.
7
-1.fc40
B
mesa-libGL
24.1.
6
-1.fc40
24.1.
7
-1.fc40
B
hwdata
0.
385
-1.fc40
0.
387
-1.fc40
B
nss-softokn-freebl
3.
103
.0-1.fc40
3.
104
.0-1.fc40
B
show 21 more
collapse
