Build details

Build information

State
complete
Name
ocaml-psmt2-frontend
Epoch
None
Version
0.4.0
Release
21.fc42
Started
2025-01-09 22:30:17
Finished
2025-01-09 22:38:08
Koji repo
6541854

Koji tasks

complete
aarch64
├127719403 closed
ppc64le
├127719404 closed
s390x
├127719405 closed
x86_64
└127719402 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

ocaml-menhir
20240715-1.fc41
20240715-2.fc42
1
ocaml-dune
3.16.1-1.fc42
3.17.1-1.fc42
1
ocaml
5.2.0-3.fc41
5.3.0-1.fc42
1
glibc
2.40.9000-26.fc42
2.40.9000-27.fc42
2
ocaml-runtime
5.2.0-3.fc41
5.3.0-1.fc42
2
ocaml-compiler-libs
5.2.0-3.fc41
5.3.0-1.fc42
2
python3-jinja2
3.1.4-5.fc41
3.1.5-1.fc42
2
ocaml-menhirlib-devel
20240715-1.fc41
20240715-2.fc42
2
python3-babel
2.16.0-1.fc42
2.16.0-2.fc42
2
ocaml-rpm-macros
5.2.0-3.fc41
5.3.0-1.fc42
2
glibc-minimal-langpack
2.40.9000-26.fc42
2.40.9000-27.fc42
3
zlib-ng-compat
2.2.2-1.fc42
2.2.3-1.fc42
3
glibc-gconv-extra
2.40.9000-26.fc42
2.40.9000-27.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
ocaml-menhirlib
20240715-1.fc41
20240715-2.fc42
3
openssl-libs
1:3.2.2-10.fc42
1:3.2.2-11.fc42
4
systemd-libs
257.1-1.fc42
257.2-1.fc42
4
libselinux
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
4
ed
1.20.2-2.fc41
1.21-1.fc42
B