Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-09-24 00:16:51
Finished
2024-09-24 00:48:00
Koji repo
6464742
Koji tasks
complete
123860821
aarch64
├123861086
closed
ppc64le
├123861088
closed
x86_64
└123861087
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.13.0~rc2-
1
.fc42
3.13.0~rc2-
3
.fc42
1
python3-libs
3.13.0~rc2-
1
.fc42
3.13.0~rc2-
3
.fc42
2
glib2
2.82.
0
-1.fc42
2.82.
1
-1.fc42
2
python3
3.13.0~rc2-
1
.fc42
3.13.0~rc2-
3
.fc42
2
libarchive
3.7.4-3.
fc41
3.7.4-3.
fc42
2
pyproject-rpm-macros
1.
14
.0-1.fc41
1.
15
.0-1.fc42
2
libcurl
8.10.
0
-1.fc42
8.10.
1
-1.fc42
2
libpng
2:1.6.
40
-4.fc41
2:1.6.
44
-1.fc42
2
libjpeg-turbo
3.0.
2
-3.fc41
3.0.
4
-1.fc42
3
ghc-srpm-macros
1.9.
1
-2.fc41
1.9.
2
-1.fc42
3
ca-certificates
2024.2.
68
_v8.0.302-3.fc41
2024.2.
69
_v8.0.401-1.fc42
3
libpng-devel
2:1.6.
40
-4.fc41
2:1.6.
44
-1.fc42
3
glib2-devel
2.82.
0
-1.fc42
2.82.
1
-1.fc42
3
pyproject-srpm-macros
1.
14
.0-1.fc41
1.
15
.0-1.fc42
3
curl
8.10.
0
-1.fc42
8.10.
1
-1.fc42
4
shadow-utils
2:4.16.0-
3
.fc42
2:4.16.0-
4
.fc42
4
fedora-repos
42-0.
1
42-0.
2
B
mesa-libgbm
24.2.
2
-2.fc42
24.2.
3
-2.fc42
B
mesa-libglapi
24.2.
2
-2.fc42
24.2.
3
-2.fc42
B
mesa-libEGL
24.2.
2
-2.fc42
24.2.
3
-2.fc42
B
mesa-filesystem
24.2.
2
-2.fc42
24.2.
3
-2.fc42
B
mesa-dri-drivers
24.2.
2
-2.fc42
24.2.
3
-2.fc42
B
fedora-gpg-keys
42-0.
1
42-0.
2
B
fedora-repos-rawhide
42-0.
1
42-0.
2
B
libjpeg-turbo-devel
3.0.
2
-3.fc41
3.0.
4
-1.fc42
B
mesa-libGL
24.2.
2
-2.fc42
24.2.
3
-2.fc42
B
show 16 more
collapse
complete