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-04-15 15:31:55
Finished
2024-04-15 15:52:36
Koji repo
6018944
Koji tasks
complete
116406052
aarch64
├116406160
closed
x86_64
└116406161
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.12.
2
-3.fc41
3.12.
3
-1.fc41
1
python3-libs
3.12.
2
-3.fc41
3.12.
3
-1.fc41
2
gcc
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
2
libgcc
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
2
python3
3.12.
2
-3.fc41
3.12.
3
-1.fc41
2
redhat-rpm-config
287
-1.fc41
288
-1.fc41
2
go-srpm-macros
3.
5
.0-1.fc41
3.
6
.0-1.fc41
3
libgomp
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
3
cpp
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
3
forge-srpm-macros
0.3.
0
-1.fc41
0.3.
1
-1.fc41
3
ansible-srpm-macros
1-
14
.fc40
1-
15
.fc41
3
pango
1.
51
.2-1.fc41
1.
52
.2-1.fc41
3
filesystem
3.18-
8
.fc40
3.18-
9
.fc41
3
gcc-plugin-annobin
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
3
libstdc++
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
4
libquadmath
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
4
kernel-headers
6.9.0-0.
rc3
.30.fc41
6.9.0-0.
rc4
.37.fc41
4
libgfortran
14.0.1-0.
13
.fc41
14.0.1-0.
15
.fc41
4
pango-devel
1.
51
.2-1.fc41
1.
52
.2-1.fc41
4
fedora-release-identity-basic
41-0.
6
41-0.
9
B
fedora-release
41-0.
6
41-0.
9
B
mesa-libEGL
24.0.
4
-1.fc41
24.0.
5
-1.fc41
B
libwebp-devel
1.
3
.2-5.fc41
1.
4
.0-1.fc41
B
libwebp
1.
3
.2-5.fc41
1.
4
.0-1.fc41
B
fedora-release-common
41-0.
6
41-0.
9
B
mesa-libgbm
24.0.
4
-1.fc41
24.0.
5
-1.fc41
B
mesa-libGL
24.0.
4
-1.fc41
24.0.
5
-1.fc41
B
mesa-libglapi
24.0.
4
-1.fc41
24.0.
5
-1.fc41
B
show 18 more
collapse