Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
5.fc41
Started
2024-06-13 04:12:39
Finished
2024-06-13 04:36:45
Koji repo
6165763
Koji tasks
complete
118948542
aarch64
├118948588
closed
ppc64le
├118948587
closed
x86_64
└118948586
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-lablgtk3-sourceview3-devel
3.1.
4
-2.fc41
3.1.
5
-1.fc41
1
python3-devel
3.
12
.3-2.fc41
3.
13
.0~b2-3.fc41
1
antlr4
4.10.1-
14
.fc41
4.10.1-
15
.fc41
1
python3-antlr4-runtime
4.10.1-
14
.fc41
4.10.1-
15
.fc41
1
ocaml-lablgtk3
3.1.
4
-2.fc41
3.1.
5
-1.fc41
2
antlr4-runtime
4.10.1-
14
.fc41
4.10.1-
15
.fc41
2
javapackages-filesystem
6.2.0-
12
.fc41
6.2.0-
13
.fc41
2
javapackages-tools
6.2.0-
12
.fc41
6.2.0-
13
.fc41
2
python-rpm-macros
3.
12
-9.fc41
3.
13
-1.fc41
2
rpm-libs
4.19.91-
10
.fc41
4.19.91-
13
.fc41
2
python3-libs
3.
12
.3-2.fc41
3.
13
.0~b2-3.fc41
2
ocaml-lablgtk3-devel
3.1.
4
-2.fc41
3.1.
5
-1.fc41
2
python3-rpm-macros
3.
12
-9.fc41
3.
13
-1.fc41
2
python3
3.
12
.3-2.fc41
3.
13
.0~b2-3.fc41
2
libuuid
2.40.1-
1
.fc41
2.40.1-
2
.fc41
2
ocaml-lablgtk3-sourceview3
3.1.
4
-2.fc41
3.1.
5
-1.fc41
2
python-srpm-macros
3.
12
-9.fc41
3.
13
-1.fc41
3
rpm
4.19.91-
10
.fc41
4.19.91-
13
.fc41
3
libbrotli
1.1.0-
3
.fc40
1.1.0-
4
.fc41
3
libxml2-devel
2.12.
7
-1.fc41
2.12.
8
-1.fc41
3
python-pip-wheel
24.0-
2
.fc41
24.0-
5
.fc41
3
libxml2
2.12.
7
-1.fc41
2.12.
8
-1.fc41
3
libmount
2.40.1-
1
.fc41
2.40.1-
2
.fc41
3
build-reproducibility-srpm-macros
0.2.0-
9
.fc41
0.2.0-
10
.fc41
3
file
5.45-
5
.fc41
5.45-
6
.fc41
3
annobin-plugin-gcc
12.
54
-2.fc41
12.
59
-1.fc41
3
rpm-build
4.19.91-
10
.fc41
4.19.91-
13
.fc41
3
util-linux
2.40.1-
1
.fc41
2.40.1-
2
.fc41
3
python3-packaging
24.0-
1
.fc41
24.0-
3
.fc41
3
libselinux
3.6-
4
.fc40
3.6-
6
.fc41
3
libmount-devel
2.40.1-
1
.fc41
2.40.1-
2
.fc41
4
cmake-filesystem
3.28.3-
5
.fc41
3.28.3-
6
.fc41
4
libfdisk
2.40.1-
1
.fc41
2.40.1-
2
.fc41
4
util-linux-core
2.40.1-
1
.fc41
2.40.1-
2
.fc41
4
rpm-build-libs
4.19.91-
10
.fc41
4.19.91-
13
.fc41
4
brotli-devel
1.1.0-
3
.fc40
1.1.0-
4
.fc41
4
libcap-ng
0.8.5-
1
.fc41
0.8.5-
2
.fc41
4
annobin-docs
12.
54
-2.fc41
12.
59
-1.fc41
4
nss
3.
100
.0-1.fc41
3.
101
.0-2.fc41
4
add-determinism
0.2.0-
9
.fc41
0.2.0-
10
.fc41
4
gdb-minimal
14.2-
9
.fc41
14.2-
11
.fc41
4
systemd-libs
256
~
rc4-2.fc41
256
-
1.fc41
4
file-libs
5.45-
5
.fc41
5.45-
6
.fc41
4
add-determinism-nopython
0.2.0-
9
.fc41
0.2.0-
10
.fc41
4
alsa-lib
1.2.
11
-2.fc40
1.2.
12
-1.fc41
4
libsmartcols
2.40.1-
1
.fc41
2.40.1-
2
.fc41
4
audit-libs
4.0.1-
2
.fc41
4.0.1-
3
.fc41
4
libselinux-devel
3.6-
4
.fc40
3.6-
6
.fc41
4
kernel-headers
6.10.0-0.
rc2
.24.fc41
6.10.0-0.
rc3
.31.fc41
4
libblkid
2.40.1-
1
.fc41
2.40.1-
2
.fc41
4
nss-softokn-freebl
3.
100
.0-1.fc41
3.
101
.0-2.fc41
B
libsemanage
3.6-
3
.fc40
3.6-
4
.fc41
B
brotli
1.1.0-
3
.fc40
1.1.0-
4
.fc41
B
libblkid-devel
2.40.1-
1
.fc41
2.40.1-
2
.fc41
B
nss-util
3.
100
.0-1.fc41
3.
101
.0-2.fc41
B
libpwquality
1.4.5-
9
.fc40
1.4.5-
10
.fc41
B
xkeyboard-config
2.
41
-1.fc40
2.
42
-1.fc41
B
nss-sysinit
3.
100
.0-1.fc41
3.
101
.0-2.fc41
B
libstemmer
2.2.0-
10
.fc40
2.2.0-
11
.fc41
B
nspr
4.35.0-
23
.fc41
4.35.0-
25
.fc41
B
nss-softokn
3.
100
.0-1.fc41
3.
101
.0-2.fc41
B
show 51 more
collapse
complete