Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.8.0
Release
1.fc42
Started
2025-01-10 17:31:05
Finished
2025-01-10 17:50:35
Koji repo
6541981
Koji tasks
complete
127744905
aarch64
├127745007
closed
ppc64le
├127745008
closed
s390x
├127745009
closed
x86_64
└127745005
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-apron-devel
0.9.15-
4
.fc41
0.9.15-
5
.fc42
1
java-21-openjdk-devel
1:21.0.5.0.11-1.fc42
1
ocaml-zarith-devel
1.14-
2
.fc41
1.14-
4
.fc42
1
ocaml-findlib
1.9.
6
-14.fc41
1.9.
8
-1.fc42
1
ocaml-ppx-deriving-devel
6.0.
2
-6.fc41
6.0.
3
-1.fc42
1
ocaml-re-devel
1.13.3-
1
.fc42
1.13.3-
2
.fc42
1
ocaml-zip-devel
1.
12
-1.fc41
1.
13
-1.fc42
1
ocaml-ppx-sexp-conv-devel
0.17.0-
3
.fc41
0.17.0-
4
.fc42
1
ocaml-num-devel
1.5-
9
.fc41
1.5-
10
.fc42
1
ocaml-camlidl-devel
1.12-
9
.fc41
1.12-
10
.fc42
1
flocq
4.2.0-
2
.fc41
4.2.0-
3
.fc42
1
ocaml-sexplib-devel
1:0.17.0-
3
.fc41
1:0.17.0-
4
.fc42
1
ocaml-ocamlgraph-devel
2.1.0-
9
.fc41
2.1.0-
10
.fc42
1
ocaml-mlmpfr-devel
4.2.1-
6
.fc41
4.2.1-
7
.fc42
1
ocaml-ocamldoc
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
coq
8.
18
.0-10.fc41
8.
20
.0-1.fc42
1
ocaml-menhir
20240715-
1
.fc41
20240715-
2
.fc42
1
ocaml
5.
2
.0-3.fc41
5.
3
.0-1.fc42
1
ocaml-compiler-libs-janestreet
0.17.0-
4
.fc41
0.17.0-
5
.fc42
2
ocaml-zarith
1.14-
2
.fc41
1.14-
4
.fc42
2
ocaml-ppx-derivers
1.2.1-
38
.fc41
1.2.1-
39
.fc42
2
libtool-ltdl
2.5.4-
1
.fc42
2.5.4-
2
.fc42
2
ocaml-sexplib0
0.17.0-
2
.fc41
0.17.0-
3
.fc42
2
ocaml-camlidl
1.12-
9
.fc41
1.12-
10
.fc42
2
ocaml-mlgmpidl-devel
1.3.0-
11
.fc41
1.3.0-
12
.fc42
2
ocaml-cairo
2:0.6.
4
-14.fc41
2:0.6.
5
-1.fc42
2
ocaml-parsexp-devel
0.17.0-
2
.fc41
0.17.0-
3
.fc42
2
ocaml-zip
1.
12
-1.fc41
1.
13
-1.fc42
2
apron-devel
0.9.15-
4
.fc41
0.9.15-
5
.fc42
2
ocaml-menhirlib-devel
20240715-
1
.fc41
20240715-
2
.fc42
2
ocaml-runtime
5.
2
.0-3.fc41
5.
3
.0-1.fc42
2
ocaml-ppx-deriving
6.0.
2
-6.fc41
6.0.
3
-1.fc42
2
ocaml-apron
0.9.15-
4
.fc41
0.9.15-
5
.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
ocaml-ocamlgraph
2.1.0-
9
.fc41
2.1.0-
10
.fc42
2
ocaml-num
1.5-
9
.fc41
1.5-
10
.fc42
2
coq-core
8.
18
.0-10.fc41
8.
20
.0-1.fc42
2
ocaml-parsexp
0.17.0-
2
.fc41
0.17.0-
3
.fc42
2
ocaml-mlgmpidl
1.3.0-
11
.fc41
1.3.0-
12
.fc42
2
ocaml-ppxlib
1:0.
33
.0-1.fc41
1:0.
34
.0-1.fc42
2
ocaml-ppx-derivers-devel
1.2.1-
38
.fc41
1.2.1-
39
.fc42
2
ocaml-re
1.13.3-
1
.fc42
1.13.3-
2
.fc42
2
ocaml-ppxlib-jane-devel
0.17.
0
-3.fc41
0.17.
2
-1.fc42
2
ocaml-base
0.17.1-
2
.fc41
0.17.1-
3
.fc42
2
ocaml-base-devel
0.17.1-
2
.fc41
0.17.1-
3
.fc42
2
ocaml-mlmpfr
4.2.1-
6
.fc41
4.2.1-
7
.fc42
2
ocaml-ppx-sexp-conv
0.17.0-
3
.fc41
0.17.0-
4
.fc42
2
ocaml-ppxlib-devel
1:0.
33
.0-1.fc41
1:0.
34
.0-1.fc42
2
ocaml-sexplib0-devel
0.17.0-
2
.fc41
0.17.0-
3
.fc42
2
ocaml-ppxlib-jane
0.17.
0
-3.fc41
0.17.
2
-1.fc42
2
ocaml-lablgtk3-sourceview3
3.1.5-
3
.fc41
3.1.5-
4
.fc42
2
ocaml-sexplib
1:0.17.0-
3
.fc41
1:0.17.0-
4
.fc42
2
ocaml-cairo-devel
2:0.6.
4
-14.fc41
2:0.6.
5
-1.fc42
2
ocaml-compiler-libs-janestreet-devel
0.17.0-
4
.fc41
0.17.0-
5
.fc42
2
ocaml-lablgtk3
3.1.5-
3
.fc41
3.1.5-
4
.fc42
2
java-21-openjdk
1:21.0.5.0.11-1.fc42
2
zlib-ng-devel
2.2.3-1.fc42
2
apron
0.9.15-
4
.fc41
0.9.15-
5
.fc42
3
ocaml-ppxlib-tools
1:0.34.0-1.fc42
3
java-21-openjdk-headless
1:21.0.5.0.11-1.fc42
3
zlib-ng
2.2.3-1.fc42
3
ocaml-intrinsics-kernel
0.17.1-
1
.fc42
0.17.1-
2
.fc42
3
ocaml-intrinsics-kernel-devel
0.17.1-
1
.fc42
0.17.1-
2
.fc42
3
ocaml-menhirlib
20240715-
1
.fc41
20240715-
2
.fc42
3
openldap
2.6.
8
-6.fc42
2.6.
9
-1.fc42
3
xorg-x11-fonts-Type1
7.5-39.fc41
3
javapackages-filesystem
6.4.0-4.fc42
4
tzdata-java
2024b-1.fc42
4
ttmkfdir
3.0.9-71.fc41
4
lksctp-tools
1.0.20-1.fc42
4
mkfontscale
1.2.3-1.fc41
4
copy-jdk-configs
4.1-6.fc41
4
libfontenc
1.1.8-2.fc41
B
mesa-libgbm
24.3.
2
-1.fc42
24.3.
3
-1.fc42
B
ocaml-bigarray-compat
1.1.0-17.fc41
lua
5.4.7-1.fc42
B
mesa-libglapi
24.3.
2
-1.fc42
24.3.
3
-1.fc42
B
mesa-dri-drivers
24.3.
2
-1.fc42
24.3.
3
-1.fc42
B
mesa-libGL
24.3.
2
-1.fc42
24.3.
3
-1.fc42
B
ocaml-bigarray-compat-devel
1.1.0-17.fc41
lua-posix
36.2.1-7.fc41
B
mesa-libEGL
24.3.
2
-1.fc42
24.3.
3
-1.fc42
B
libusb1
1.0.27-
4
.fc42
1.0.27-
5
.fc42
B
mesa-filesystem
24.3.
2
-1.fc42
24.3.
3
-1.fc42
B
show 76 more
collapse
complete