Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.20.0
Release
1.fc42
Started
2025-01-10 03:36:31
Finished
2025-01-10 04:00:06
Koji repo
6541894
Koji tasks
complete
127725619
aarch64
├127725633
closed
ppc64le
├127725634
closed
s390x
├127725635
closed
x86_64
└127725632
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
s390x
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-dune
3.
16
.1-1.fc42
3.
17
.1-1.fc42
1
java-21-openjdk
1:21.0.5.0.11-1.fc42
1
ocaml
5.
2
.0-3.fc41
5.
3
.0-1.fc42
1
ocaml-lablgtk3-sourceview3-devel
3.1.5-
3
.fc41
3.1.5-
4
.fc42
1
ocaml-zarith-devel
1.14-
2
.fc41
1.14-
4
.fc42
1
ocaml-ocamldoc
5.
2
.0-3.fc41
5.
3
.0-1.fc42
1
ocaml-cairo-devel
2:0.6.
4
-14.fc41
2:0.6.
5
-1.fc42
1
ocaml-ounit-devel
2.2.7-
12
.fc42
2.2.7-
13
.fc42
1
ocaml-findlib-devel
1.9.
6
-14.fc41
1.9.
8
-1.fc42
1
ocaml-ounit
2.2.7-
12
.fc42
2.2.7-
13
.fc42
2
ocaml-runtime
5.
2
.0-3.fc41
5.
3
.0-1.fc42
2
ocaml-lablgtk3-devel
3.1.5-
3
.fc41
3.1.5-
4
.fc42
2
ocaml-compiler-libs
5.
2
.0-3.fc41
5.
3
.0-1.fc42
2
xorg-x11-fonts-Type1
7.5-39.fc41
2
libselinux
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
2
glibc
2.40.9000-
26
.fc42
2.40.9000-
27
.fc42
2
java-21-openjdk-headless
1:21.0.5.0.11-1.fc42
2
ocaml-rpm-macros
5.
2
.0-3.fc41
5.
3
.0-1.fc42
2
ocaml-zarith
1.14-
2
.fc41
1.14-
4
.fc42
2
openssl-libs
1:3.2.2-
10
.fc42
1:3.2.2-
11
.fc42
2
ocaml-cairo
2:0.6.
4
-14.fc41
2:0.6.
5
-1.fc42
2
ocaml-findlib
1.9.
6
-14.fc41
1.9.
8
-1.fc42
2
zlib-ng-compat
2.2.
2
-1.fc42
2.2.
3
-1.fc42
2
ocaml-lablgtk3
3.1.5-
3
.fc41
3.1.5-
4
.fc42
2
ocaml-lablgtk3-sourceview3
3.1.5-
3
.fc41
3.1.5-
4
.fc42
2
ttmkfdir
3.0.9-71.fc41
3
flexiblas-netlib
3.4.4-
3
.fc41
3.4.4-
5
.fc42
3
glibc-gconv-extra
2.40.9000-
26
.fc42
2.40.9000-
27
.fc42
3
cups-libs
1:2.4.11-
8
.fc42
1:2.4.11-
9
.fc42
3
glibc-devel
2.40.9000-
26
.fc42
2.40.9000-
27
.fc42
3
glibc-common
2.40.9000-
26
.fc42
2.40.9000-
27
.fc42
3
pango
1.
54
.0-2.fc41
1.
55
.0-1.fc42
3
zlib-ng-compat-devel
2.2.
2
-1.fc42
2.2.
3
-1.fc42
3
glibc-minimal-langpack
2.40.9000-
26
.fc42
2.40.9000-
27
.fc42
3
copy-jdk-configs
4.1-6.fc41
3
lksctp-tools
1.0.20-1.fc42
3
mkfontscale
1.2.3-1.fc41
3
tzdata-java
2024b-1.fc42
3
nss
3.107.0-1.fc42
3
alsa-lib
1.2.13-3.fc42
3
cups-filesystem
1:2.4.11-
8
.fc42
1:2.4.11-
9
.fc42
4
libfontenc
1.1.8-2.fc41
4
systemd-libs
257.
1
-1.fc42
257.
2
-1.fc42
4
flexiblas
3.4.4-
3
.fc41
3.4.4-
5
.fc42
4
nss-softokn
3.107.0-1.fc42
4
lua
5.4.7-1.fc42
4
nss-util
3.107.0-1.fc42
4
lua-posix
36.2.1-7.fc41
4
nss-sysinit
3.107.0-1.fc42
4
libselinux-devel
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
4
nspr
4.36.0-2.fc42
4
audit-libs
4.0.
2
-1.fc41
4.0.
3
-1.fc42
4
flexiblas-openblas-openmp
3.4.4-
3
.fc41
3.4.4-
5
.fc42
4
pango-devel
1.
54
.0-2.fc41
1.
55
.0-1.fc42
4
systemd-rpm-macros
257.
1
-1.fc42
257.
2
-1.fc42
B
nss-softokn-freebl
3.107.0-1.fc42
B
ed
1.
20
.2-2.fc41
1.
21
-1.fc42
B
systemd-devel
257.
1
-1.fc42
257.
2
-1.fc42
B
show 48 more
collapse
complete