Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
ocaml-psmt2-frontend
Epoch
None
Version
0.4.0
Release
22.fc42
Started
2025-04-03 18:21:13
Finished
2025-04-03 18:27:03
Koji repo
6565874
Koji tasks
complete
131067033
aarch64
├131067123
closed
ppc64le
├131067122
closed
x86_64
└131067121
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-dune
3.
17
.2-1.fc42
3.
18
.0-1.fc43
1
glibc
2.41.9000-
6
.fc43
2.41.9000-
7
.fc43
2
gcc
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
2
glibc-minimal-langpack
2.41.9000-
6
.fc43
2.41.9000-
7
.fc43
3
gcc-plugin-annobin
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
3
cpp
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
3
filesystem
3.18-
38
.fc43
3.18-
39
.fc43
3
glibc-common
2.41.9000-
6
.fc43
2.41.9000-
7
.fc43
3
libgcc
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
3
glibc-devel
2.41.9000-
6
.fc43
2.41.9000-
7
.fc43
3
qt6-srpm-macros
6.9.0
~
rc-1.fc43
6.9.0
-
1.fc43
3
filesystem-srpm-macros
3.18-
38
.fc43
3.18-
39
.fc43
3
rpm
4.20.1-
1
.fc43
4.20.1-
3
.fc43
3
glibc-gconv-extra
2.41.9000-
6
.fc43
2.41.9000-
7
.fc43
3
libgomp
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
3
libffi
3.4.7-
2
.fc43
3.4.7-
3
.fc43
4
rpm-build
4.20.1-
1
.fc43
4.20.1-
3
.fc43
4
expat
2.7.
0
-1.fc43
2.7.
1
-1.fc43
4
rpm-libs
4.20.1-
1
.fc43
4.20.1-
3
.fc43
4
tzdata
2025a
-1.fc43
2025b
-1.fc43
4
libstdc++
15.0.1-0.
10
.fc43
15.0.1-0.
11
.fc43
4
patch
2.
7
.6-26.fc42
2.
8
-1.fc43
B
rpm-sequoia
1.
7
.0-5.fc43
1.
8
.0-1.fc43
B
rpm-build-libs
4.20.1-
1
.fc43
4.20.1-
3
.fc43
B
show 14 more
collapse
