ocaml-psmt2-frontend

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Tracked by Koschei
True
Current priority
2153
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

zlib-ng-compat
2.2.3-2.fc42
2.2.4-1.fc43
3
util-linux
2.40.4-5.fc43
2.40.4-6.fc43
3
bash
5.2.37-1.fc42
5.2.37-3.fc43
3
build-reproducibility-srpm-macros
0.5.0-2.fc42
0.6.0-1.fc43
3
libmount
2.40.4-5.fc43
2.40.4-6.fc43
4
libfdisk
2.40.4-5.fc43
2.40.4-6.fc43
4
curl
8.12.0-1.fc43
8.12.1-1.fc43
4
setup
2.15.0-10.fc42
2.15.0-12.fc43
4
add-determinism
0.5.0-2.fc42
0.6.0-1.fc43
4
systemd-libs
257.2-17.fc42
257.3-7.fc43
4
libxcrypt-devel
4.4.38-4.fc43
4.4.38-6.fc43
4
libsmartcols
2.40.4-5.fc43
2.40.4-6.fc43
4
libblkid
2.40.4-5.fc43
2.40.4-6.fc43
4
util-linux-core
2.40.4-5.fc43
2.40.4-6.fc43
4
libuuid
2.40.4-5.fc43
2.40.4-6.fc43
4
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc2.22.fc43
4
openssl-libs
1:3.2.2-14.fc42
1:3.2.4-1.fc43
4
systemd-pam
257.2-17.fc42
crypto-policies
20250124-1.git4d262e7....
20250214-1.gitff7551b....
B
systemd-rpm-macros
257.2-17.fc42
libtirpc
1.3.6-1.rc3.fc42.2
cracklib
2.9.11-7.fc42
systemd-standalone-sysusers
257.3-7.fc43
B
libpwquality
1.4.5-12.fc42
libcurl
8.12.0-1.fc43
8.12.1-1.fc43
B
authselect
1.5.1-1.fc43
systemd
257.2-17.fc42
gdb-minimal
15.2-7.fc42
16.2-1.fc43
B
libxcrypt
4.4.38-4.fc43
4.4.38-6.fc43
B
libtasn1
4.19.0-11.fc42
4.20.0-1.fc43
B
dbus
1:1.16.0-3.fc42
dbus-broker
36-5.fc42
libseccomp
2.5.5-2.fc41
libeconf
0.7.5-2.fc42
0.7.6-1.fc43
B
libnsl2
2.0.1-3.fc42
dbus-common
1:1.16.0-3.fc42
gdbm
1:1.23-9.fc42
authselect-libs
1.5.1-1.fc43
pam
1.7.0-4.fc42

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
128978951
2025-02-08 08:07:44
aarch64
├128979023 ( build.log | root.log )
ppc64le
├128979024 ( build.log | root.log )
x86_64
└128979022 ( build.log | root.log )
python3-babel
2.16.0-3.fc42
2.17.0-1.fc42
2
python3
3.13.1-3.fc42
3.13.2-2.fc43
2
glibc
2.40.9000-35.fc42
2.40.9000-37.fc43
2
redhat-rpm-config
300-1.fc42
342-2.fc42
2
gcc
15.0.1-0.4.fc42
15.0.1-0.7.fc43
2
cpp
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
file
5.45-9.fc42
5.46-1.fc42
3
annobin-plugin-gcc
12.87-1.fc42
12.88-1.fc42
3
glibc-gconv-extra
2.40.9000-35.fc42
2.40.9000-37.fc43
3
pyproject-srpm-macros
1.16.4-2.fc42
1.17.0-1.fc43
3
util-linux
2.40.4-2.fc42
2.40.4-5.fc43
3
libgomp
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
libgcc
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
binutils
2.43.50-12.fc42
2.44-3.fc43
3
python3-libs
3.13.1-3.fc42
3.13.2-2.fc43
3
glibc-common
2.40.9000-35.fc42
2.40.9000-37.fc43
3
glibc-devel
2.40.9000-35.fc42
2.40.9000-37.fc43
3
filesystem-srpm-macros
3.18-36.fc42
3.18-38.fc43
3
filesystem
3.18-36.fc42
3.18-38.fc43
3
gcc-plugin-annobin
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
glibc-minimal-langpack
2.40.9000-35.fc42
2.40.9000-37.fc43
3
qt6-srpm-macros
6.8.1-5.fc42
6.8.2-1.fc42
3
tree-sitter-srpm-macros
0.1.0-8.fc42
3
libfdisk
2.40.4-2.fc42
2.40.4-5.fc43
4
util-linux-core
2.40.4-2.fc42
2.40.4-5.fc43
4
authselect-libs
1.5.0-9.fc42
1.5.1-1.fc43
4
file-libs
5.45-9.fc42
5.46-1.fc42
4
libsmartcols
2.40.4-2.fc42
2.40.4-5.fc43
4
libblkid
2.40.4-2.fc42
2.40.4-5.fc43
4
sqlite-libs
3.47.2-2.fc42
3.49.0-1.fc43
4
tzdata
2024b-2.fc42
2025a-1.fc43
4
pcre2
10.44-1.fc42.2
10.44-1.fc43.2
4
libuuid
2.40.4-2.fc42
2.40.4-5.fc43
4
libmount
2.40.4-2.fc42
2.40.4-5.fc43
4
libstdc++
15.0.1-0.4.fc42
15.0.1-0.7.fc43
4
mpdecimal
2.5.1-17.fc42
4.0.0-2.fc43
4
kernel-headers
6.13.0-62.fc42
6.14.0-0.rc1.15.fc42
4
curl
8.11.1-3.fc42
8.12.0-1.fc43
4
annobin-docs
12.87-1.fc42
12.88-1.fc42
4
libxcrypt-devel
4.4.38-4.fc42
4.4.38-4.fc43
4
pcre2-syntax
10.44-1.fc42.2
10.44-1.fc43.2
B
libcurl
8.11.1-3.fc42
8.12.0-1.fc43
B
libxcrypt
4.4.38-4.fc42
4.4.38-4.fc43
B
fedora-repos-rawhide
42-0.4
43-0.1
B
fedora-release-common
42-0.16
43-0.2
B
fedora-release-identity-basic
42-0.16
43-0.2
B
fedora-release
42-0.16
43-0.2
B
which
2.22-1.fc42
2.23-1.fc42
B
rpm-sequoia
1.7.0-4.fc42
1.7.0-5.fc43
B
authselect
1.5.0-9.fc42
1.5.1-1.fc43
B
fedora-repos
42-0.4
43-0.1
B
basesystem
11-22.fc42
fedora-gpg-keys
42-0.4
43-0.1
B
complete
128670663
2025-01-31 05:05:13
aarch64
├128670719 ( build.log | root.log )
ppc64le
├128670720 ( build.log | root.log )
x86_64
└128670721 ( build.log | root.log )
ocaml-dune
3.17.1-2.fc42
3.17.2-1.fc42
1
glibc
2.40.9000-31.fc42
2.40.9000-35.fc42
2
gcc
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
2
glibc-gconv-extra
2.40.9000-31.fc42
2.40.9000-35.fc42
3
cpp
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
libgomp
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
gcc-plugin-annobin
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
glibc-common
2.40.9000-31.fc42
2.40.9000-35.fc42
3
fonts-srpm-macros
1:2.0.5-20.fc42
1:2.0.5-21.fc42
3
annobin-plugin-gcc
12.83-1.fc42
12.87-1.fc42
3
glibc-minimal-langpack
2.40.9000-31.fc42
2.40.9000-35.fc42
3
libgcc
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
fonts-filesystem
1:2.0.5-20.fc42
1:2.0.5-21.fc42
3
glibc-devel
2.40.9000-31.fc42
2.40.9000-35.fc42
3
openssl-libs
1:3.2.2-12.fc42
1:3.2.2-14.fc42
4
gdbm-libs
1:1.23-7.fc41
1:1.23-9.fc42
4
libstdc++
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
4
libselinux
3.8-0.rc3.1.fc42.3
3.8-1.fc42
4
annobin-docs
12.83-1.fc42
12.87-1.fc42
4
systemd-libs
257.2-14.fc42
257.2-17.fc42
4
ncurses-libs
6.5-2.20240629.fc41
6.5-5.20250125.fc42
4
libcap
2.71-2.fc42
2.73-2.fc42
4
fedora-release-identity-basic
42-0.13
42-0.16
B
libsemanage
3.8-0.rc3.1.fc42.1
3.8-1.fc42
B
openldap
2.6.9-2.fc42
2.6.9-3.fc42
B
systemd-pam
257.2-14.fc42
257.2-17.fc42
B
systemd
257.2-14.fc42
257.2-17.fc42
B
which
2.21-43.fc42
2.22-1.fc42
B
fedora-release
42-0.13
42-0.16
B
libsepol
3.8-0.rc3.1.fc42.1
3.8-1.fc42
B
gawk
5.3.0-4.fc41
5.3.1-1.fc42
B
ncurses-base
6.5-2.20240629.fc41
6.5-5.20250125.fc42
B
libnghttp2
1.64.0-1.fc42
1.64.0-3.fc42
B
fedora-release-common
42-0.13
42-0.16
B
gdbm
1:1.23-7.fc41
1:1.23-9.fc42
B
krb5-libs
1.21.3-4.fc42
1.21.3-5.fc42
B
systemd-rpm-macros
257.2-14.fc42
257.2-17.fc42
B
cyrus-sasl-lib
2.1.28-28.fc42
2.1.28-30.fc42
B
crypto-policies
20241128-2.gitbb7b0b0....
20250124-1.git4d262e7....
B
complete
128364972
2025-01-23 12:59:39
aarch64
├128365086 ( build.log | root.log )
ppc64le
├128365088 ( build.log | root.log )
x86_64
└128365087 ( build.log | root.log )
ocaml-menhir
20240715-2.fc42
20240715-3.fc42
1
ocaml-dune
3.17.1-1.fc42
3.17.1-2.fc42
1
make
1:4.4.1-9.fc42
1:4.4.1-10.fc42
1
python3-sphinx_rtd_theme
3.0.2-1.fc42
3.0.2-2.fc42
1
ocaml
5.3.0-1.fc42
5.3.0-2.fc42
1
python3-sphinx
1:8.1.3-1.fc42
1:8.1.3-2.fc42
1
google-roboto-slab-fonts
1.100263-0.24.20150923...
1.100263-0.25.20150923...
2
ocaml-compiler-libs
5.3.0-1.fc42
5.3.0-2.fc42
2
python3-snowballstemmer
2.2.0-13.fc41
2.2.0-15.fc42
2
python3-packaging
24.2-2.fc42
24.2-3.fc42
2
ocaml-srpm-macros
10-3.fc41
10-4.fc42
2
glibc
2.40.9000-28.fc42
2.40.9000-31.fc42
2
python3-pygments
2.18.0-2.fc42
2.18.0-4.fc42
2
python3
3.13.1-2.fc42
3.13.1-3.fc42
2
gcc
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
2
libzstd-devel
1.5.6-2.fc41
1.5.6-3.fc42
2
fontawesome4-fonts
1:4.7.0-23.fc41
1:4.7.0-24.fc42
2
python3-requests
2.32.3-3.fc41
2.32.3-4.fc42
2
python3-imagesize
1.4.1-9.fc41
1.4.1-10.fc42
2
ocaml-menhirlib-devel
20240715-2.fc42
20240715-3.fc42
2
python3-sphinxcontrib-jquery
4.1-9.fc41
4.1-10.fc42
2
ocaml-rpm-macros
5.3.0-1.fc42
5.3.0-2.fc42
2
libzstd
1.5.6-2.fc41
1.5.6-3.fc42
2
ocaml-runtime
5.3.0-1.fc42
5.3.0-2.fc42
2
python3-babel
2.16.0-2.fc42
2.16.0-3.fc42
2
python3-jinja2
3.1.5-1.fc42
3.1.5-2.fc42
2
lato-fonts
2.015-22.fc41
2.015-23.fc42
2
python3-docutils
0.21.2-1.fc42
0.21.2-2.fc42
2
cpp
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
3
sed
4.9-3.fc41
4.9-4.fc42
3
zig-srpm-macros
1-3.fc41
1-4.fc42
3
rust-srpm-macros
26.3-3.fc42
26.3-4.fc42
3
python-srpm-macros
3.13-3.fc41
3.13-4.fc42
3
glibc-devel
2.40.9000-28.fc42
2.40.9000-31.fc42
3
efi-srpm-macros
5-13.fc42
6-2.fc42
3
build-reproducibility-srpm-macros
0.5.0-1.fc42
0.5.0-2.fc42
3
zlib-ng-compat
2.2.3-1.fc42
2.2.3-2.fc42
3
annobin-plugin-gcc
12.81-1.fc42
12.83-1.fc42
3
coreutils
9.5-12.fc42
9.6-1.fc42
3
openblas-srpm-macros
2-18.fc41
2-19.fc42
3
ansible-srpm-macros
1-16.fc41
1-17.1.fc42
3
go-srpm-macros
3.6.0-5.fc42
3.6.0-6.fc42
3
basesystem
11-21.fc41
11-22.fc42
3
mpfr
4.2.1-5.fc41
4.2.1-6.fc42
3
forge-srpm-macros
0.4.0-1.fc42
0.4.0-2.fc42
3
rpm
4.20.0-6.fc42
4.20.0-8.fc42
3
gnat-srpm-macros
6-6.fc41
6-7.fc42
3
libgomp
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
3
grep
3.11-9.fc41
3.11-10.fc42
3
pkgconf-pkg-config
2.3.0-1.fc42
2.3.0-2.fc42
3
fpc-srpm-macros
1.3-13.fc41
1.3-14.fc42
3
fonts-srpm-macros
1:2.0.5-19.fc42
1:2.0.5-20.fc42
3
file
5.45-8.fc42
5.45-9.fc42
3
package-notes-srpm-macros
0.5-12.fc41
0.5-13.fc42
3
python3-urllib3
2.3.0-1.fc42
2.3.0-2.fc42
3
python3-idna
3.10-1.fc42
3.10-2.fc42
3
ghc-srpm-macros
1.9.2-1.fc42
1.9.2-2.fc42
3
kernel-srpm-macros
1.0-24.fc41
1.0-25.fc42
3
python3-charset-normalizer
3.4.1-1.fc42
3.4.1-3.fc42
3
util-linux
2.40.4-1.fc42
2.40.4-2.fc42
3
glibc-common
2.40.9000-28.fc42
2.40.9000-31.fc42
3
python3-libs
3.13.1-2.fc42
3.13.1-3.fc42
3
qt6-srpm-macros
6.8.1-4.fc42
6.8.1-5.fc42
3
filesystem
3.18-34.fc42
3.18-36.fc42
3
pyproject-srpm-macros
1.16.4-1.fc42
1.16.4-2.fc42
3
glibc-minimal-langpack
2.40.9000-28.fc42
2.40.9000-31.fc42
3
filesystem-srpm-macros
3.18-34.fc42
3.18-36.fc42
3
gcc-plugin-annobin
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
3
findutils
1:4.10.0-4.fc41
1:4.10.0-5.fc42
3
libmpc
1.3.1-6.fc41
1.3.1-7.fc42
3
zip
3.0-42.fc42
3.0-43.fc42
3
dwz
0.15-8.fc42
0.15-9.fc42
3
ocaml-menhirlib
20240715-2.fc42
20240715-3.fc42
3
perl-srpm-macros
1-56.fc41
1-57.fc42
3
lua-srpm-macros
1-14.fc41
1-15.fc42
3
fonts-filesystem
1:2.0.5-19.fc42
1:2.0.5-20.fc42
3
glibc-gconv-extra
2.40.9000-28.fc42
2.40.9000-31.fc42
3
python3-markupsafe
3.0.2-1.fc42
3.0.2-2.fc42
3
libgcc
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
3
binutils
2.43.50-11.fc42
2.43.50-12.fc42
3
libb2
0.98.1-12.fc41
0.98.1-13.fc42
4
libarchive
3.7.7-1.fc42
3.7.7-2.fc42
4
util-linux-core
2.40.4-1.fc42
2.40.4-2.fc42
4
kernel-headers
6.13.0-0.rc7.55.fc42
6.13.0-62.fc42
4
file-libs
5.45-8.fc42
5.45-9.fc42
4
pam-libs
1.7.0-3.fc42
1.7.0-4.fc42
4
openssl-libs
1:3.2.2-11.fc42
1:3.2.2-12.fc42
4
python-pip-wheel
24.3.1-1.fc42
24.3.1-2.fc42
4
xz-libs
1:5.6.3-2.fc42
1:5.6.3-3.fc42
4
libxcrypt-devel
4.4.38-3.fc42
4.4.38-4.fc42
4
expat
2.6.4-1.fc42
2.6.4-2.fc42
4
pkgconf-m4
2.3.0-1.fc42
2.3.0-2.fc42
4
alternatives
1.31-2.fc42
1.31-3.fc42
4
tzdata
2024b-1.fc42
2024b-2.fc42
4
authselect-libs
1.5.0-8.fc42
1.5.0-9.fc42
4
libselinux
3.8-0.rc3.1.fc42.2
3.8-0.rc3.1.fc42.3
4
annobin-docs
12.81-1.fc42
12.83-1.fc42
4
unzip
6.0-65.fc42
6.0-66.fc42
4
libblkid
2.40.4-1.fc42
2.40.4-2.fc42
4
libcap-ng
0.8.5-3.fc41
0.8.5-4.fc42
4
libacl
2.3.2-2.fc41
2.3.2-3.fc42
4
libsmartcols
2.40.4-1.fc42
2.40.4-2.fc42
4
pam
1.7.0-3.fc42
1.7.0-4.fc42
4
libuuid
2.40.4-1.fc42
2.40.4-2.fc42
4
libstdc++
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
4
mpdecimal
2.5.1-16.fc41
2.5.1-17.fc42
4
libffi
3.4.6-3.fc42
3.4.6-5.fc42
4
rpm-build
4.20.0-6.fc42
4.20.0-8.fc42
4
setup
2.15.0-9.fc42
2.15.0-10.fc42
4
elfutils-debuginfod-client
0.192-7.fc42
0.192-8.fc42
4
bzip2-libs
1.0.8-19.fc41
1.0.8-20.fc42
4
popt
1.19-7.fc41
1.19-8.fc42
4
libattr
2.5.2-4.fc41
2.5.2-5.fc42
4
ca-certificates
2024.2.69_v8.0.401-4.fc42
2024.2.69_v8.0.401-5.fc42
4
audit-libs
4.0.3-1.fc42
4.0.3-2.fc42
4
elfutils-libelf
0.192-7.fc42
0.192-8.fc42
4
pkgconf
2.3.0-1.fc42
2.3.0-2.fc42
4
add-determinism
0.5.0-1.fc42
0.5.0-2.fc42
4
libmount
2.40.4-1.fc42
2.40.4-2.fc42
4
pcre2
10.44-1.fc41.1
10.44-1.fc42.2
4
jansson
2.14-1.fc42
2.14-2.fc42
4
coreutils-common
9.5-12.fc42
9.6-1.fc42
4
readline
8.2-11.fc42
8.2-12.fc42
4
curl
8.11.1-2.fc42
8.11.1-3.fc42
4
libfdisk
2.40.4-1.fc42
2.40.4-2.fc42
4
rpm-libs
4.20.0-6.fc42
4.20.0-8.fc42
4
patch
2.7.6-25.fc41
2.7.6-26.fc42
B
libnsl2
2.0.1-2.fc41
2.0.1-3.fc42
B
gdb-minimal
15.2-4.fc42
15.2-7.fc42
B
libpkgconf
2.3.0-1.fc42
2.3.0-2.fc42
B
libxcrypt
4.4.38-3.fc42
4.4.38-4.fc42
B
libtasn1
4.19.0-9.fc41
4.19.0-11.fc42
B
lz4-libs
1.10.0-1.fc41
1.10.0-2.fc42
B
libcom_err
1.47.2-2.fc42
1.47.2-3.fc42
B
libbrotli
1.1.0-5.fc41
1.1.0-6.fc42
B
gzip
1.13-2.fc41
1.13-3.fc42
B
info
7.2-1.fc42
7.2-3.fc42
B
libssh-config
0.11.1-1.fc42
0.11.1-4.fc42
B
crypto-policies
20241128-1.gitbb7b0b0....
20241128-2.gitbb7b0b0....
B
libidn2
2.3.7-2.fc41
2.3.7-3.fc42
B
elfutils-libs
0.192-7.fc42
0.192-8.fc42
B
json-c
0.18-1.fc42
0.18-2.fc42
B
cracklib
2.9.11-6.fc41
2.9.11-7.fc42
B
ed
1.21-1.fc42
1.21-2.fc42
B
xxhash-libs
0.8.3-1.fc42
0.8.3-2.fc42
B
libevent
2.1.12-14.fc41
2.1.12-15.fc42
B
libcurl
8.11.1-2.fc42
8.11.1-3.fc42
B
publicsuffix-list-dafsa
20240107-4.fc41
20250116-1.fc42
B
libssh
0.11.1-1.fc42
0.11.1-4.fc42
B
libsepol
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
B
diffutils
3.10-8.fc41
3.10-9.fc42
B
libsemanage
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
B
libunistring
1.1-8.fc41
1.1-9.fc42
B
libxml2
2.12.9-1.fc42
2.12.9-2.fc42
B
libeconf
0.7.5-1.fc42
0.7.5-2.fc42
B
pcre2-syntax
10.44-1.fc41.1
10.44-1.fc42.2
B
libtirpc
1.3.6-1.rc3.fc42
1.3.6-1.rc3.fc42.2
B
krb5-libs
1.21.3-3.fc42
1.21.3-4.fc42
B
which
2.21-42.fc41
2.21-43.fc42
B
lua-libs
5.4.7-1.fc42
5.4.7-2.fc42
B
elfutils-default-yama-scope
0.192-7.fc42
0.192-8.fc42
B
libpwquality
1.4.5-11.fc41
1.4.5-12.fc42
B
keyutils-libs
1.6.3-4.fc41
1.6.3-5.fc42
B
xz
1:5.6.3-2.fc42
1:5.6.3-3.fc42
B
authselect
1.5.0-8.fc42
1.5.0-9.fc42
B
rpm-build-libs
4.20.0-6.fc42
4.20.0-8.fc42
B
elfutils
0.192-7.fc42
0.192-8.fc42
B
p11-kit-trust
0.25.5-4.fc42
0.25.5-5.fc42
B
rpm-sequoia
1.7.0-3.fc42
1.7.0-4.fc42
B
tar
2:1.35-4.fc41
2:1.35-5.fc42
B
bzip2
1.0.8-19.fc41
1.0.8-20.fc42
B
libtool-ltdl
2.5.4-3.fc42
2.5.4-4.fc42
B
libverto
0.3.2-9.fc41
0.3.2-10.fc42
B
p11-kit
0.25.5-4.fc42
0.25.5-5.fc42
B
shadow-utils
2:4.17.0-3.fc42
2:4.17.0-4.fc42
B
dbus-common
1:1.16.0-3.fc42
B
libseccomp
2.5.5-2.fc41
B
systemd
257.2-14.fc42
B
dbus
1:1.16.0-3.fc42
B
systemd-rpm-macros
257.2-14.fc42
B
systemd-pam
257.2-14.fc42
B
dbus-broker
36-5.fc42
B
libpsl
0.21.5-4.fc41
0.21.5-5.fc42
B
zstd
1.5.6-2.fc41
1.5.6-3.fc42
B
Real build: ocaml-psmt2-frontend-0.4.0-22.fc42
complete
128022597
2025-01-17 21:05:05
aarch64
├128022717 ( build.log | root.log )
ppc64le
├128022718 ( build.log | root.log )
s390x
├128022719 ( build.log | root.log )
x86_64
└128022716 ( build.log | root.log )
annobin-plugin-gcc
12.80-2.fc42
12.81-1.fc42
3
binutils
2.43.50-9.fc42
2.43.50-11.fc42
3
libxcrypt-devel
4.4.38-2.fc42
4.4.38-3.fc42
4
sqlite-libs
3.47.2-1.fc42
3.47.2-2.fc42
4
annobin-docs
12.80-2.fc42
12.81-1.fc42
4
systemd-libs
257.2-7.fc42
257.2-14.fc42
4
libxcrypt
4.4.38-2.fc42
4.4.38-3.fc42
B
debugedit
5.1-2.fc42
5.1-4.fc42
B
openldap
2.6.9-1.fc42
2.6.9-2.fc42
B
complete
127917486
2025-01-16 05:14:16
aarch64
├127917594 ( build.log | root.log )
ppc64le
├127917592 ( build.log | root.log )
x86_64
└127917593 ( build.log | root.log )
python3-sphinx
1:7.3.7-2.fc41
1:8.1.3-1.fc42
1
glibc
2.40.9000-27.fc42
2.40.9000-28.fc42
2
gcc
14.2.1-6.fc42
15.0.1-0.3.fc42
2
rpm
4.20.0-1.fc42
4.20.0-6.fc42
3
glibc-gconv-extra
2.40.9000-27.fc42
2.40.9000-28.fc42
3
glibc-devel
2.40.9000-27.fc42
2.40.9000-28.fc42
3
annobin-plugin-gcc
12.80-1.fc42
12.80-2.fc42
3
coreutils
9.5-11.fc42
9.5-12.fc42
3
libgomp
14.2.1-6.fc42
15.0.1-0.3.fc42
3
libgcc
14.2.1-6.fc42
15.0.1-0.3.fc42
3
cpp
14.2.1-6.fc42
15.0.1-0.3.fc42
3
filesystem
3.18-29.fc42
3.18-34.fc42
3
util-linux
2.40.2-8.fc42
2.40.4-1.fc42
3
glibc-common
2.40.9000-27.fc42
2.40.9000-28.fc42
3
glibc-minimal-langpack
2.40.9000-27.fc42
2.40.9000-28.fc42
3
fonts-filesystem
1:2.0.5-17.fc41
1:2.0.5-19.fc42
3
gcc-plugin-annobin
14.2.1-6.fc42
15.0.1-0.3.fc42
3
fonts-srpm-macros
1:2.0.5-17.fc41
1:2.0.5-19.fc42
3
filesystem-srpm-macros
3.18-29.fc42
3.18-34.fc42
3
systemd-libs
257.2-1.fc42
257.2-7.fc42
4
libselinux
3.8-0.rc3.1.fc42.1
3.8-0.rc3.1.fc42.2
4
util-linux-core
2.40.2-8.fc42
2.40.4-1.fc42
4
coreutils-common
9.5-11.fc42
9.5-12.fc42
4
libmount
2.40.2-8.fc42
2.40.4-1.fc42
4
libuuid
2.40.2-8.fc42
2.40.4-1.fc42
4
rpm-libs
4.20.0-1.fc42
4.20.0-6.fc42
4
rpm-build
4.20.0-1.fc42
4.20.0-6.fc42
4
libstdc++
14.2.1-6.fc42
15.0.1-0.3.fc42
4
libfdisk
2.40.2-8.fc42
2.40.4-1.fc42
4
annobin-docs
12.80-1.fc42
12.80-2.fc42
4
kernel-headers
6.13.0-0.rc6.48.fc42
6.13.0-0.rc7.55.fc42
4
libblkid
2.40.2-8.fc42
2.40.4-1.fc42
4
libxcrypt-devel
4.4.37-4.fc42
4.4.38-2.fc42
4
alternatives
1.31-1.fc42
1.31-2.fc42
4
libcap
2.71-1.fc42
2.71-2.fc42
4
libsmartcols
2.40.2-8.fc42
2.40.4-1.fc42
4
cyrus-sasl-lib
2.1.28-27.fc41
2.1.28-28.fc42
B
fedora-repos-rawhide
42-0.3
42-0.4
B
shadow-utils
2:4.17.0-2.fc42
2:4.17.0-3.fc42
B
libcom_err
1.47.2-1.fc42
1.47.2-2.fc42
B
fedora-release-common
42-0.12
42-0.13
B
fedora-repos
42-0.3
42-0.4
B
openldap
2.6.8-6.fc42
2.6.9-1.fc42
B
fedora-release-identity-basic
42-0.12
42-0.13
B
info
7.1.1-2.fc42
7.2-1.fc42
B
libxcrypt
4.4.37-4.fc42
4.4.38-2.fc42
B
rpm-build-libs
4.20.0-1.fc42
4.20.0-6.fc42
B
fedora-gpg-keys
42-0.3
42-0.4
B
fedora-release
42-0.12
42-0.13
B
libtool-ltdl
2.5.4-1.fc42
2.5.4-3.fc42
B
Real build: ocaml-psmt2-frontend-0.4.0-21.fc42
complete
127719266
2025-01-09 22:30:17
aarch64
├127719403 ( build.log | root.log )
ppc64le
├127719404 ( build.log | root.log )
s390x
├127719405 ( build.log | root.log )
x86_64
└127719402 ( build.log | root.log )
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
ocaml-menhir
20240715-1.fc41
20240715-2.fc42
1
python3-jinja2
3.1.4-5.fc41
3.1.5-1.fc42
2
python3-babel
2.16.0-1.fc42
2.16.0-2.fc42
2
glibc
2.40.9000-26.fc42
2.40.9000-27.fc42
2
ocaml-compiler-libs
5.2.0-3.fc41
5.3.0-1.fc42
2
ocaml-runtime
5.2.0-3.fc41
5.3.0-1.fc42
2
ocaml-menhirlib-devel
20240715-1.fc41
20240715-2.fc42
2
ocaml-rpm-macros
5.2.0-3.fc41
5.3.0-1.fc42
2
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
glibc-minimal-langpack
2.40.9000-26.fc42
2.40.9000-27.fc42
3
systemd-libs
257.1-1.fc42
257.2-1.fc42
4
openssl-libs
1:3.2.2-10.fc42
1:3.2.2-11.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
complete
127665338
2025-01-08 10:36:39
aarch64
├127665441 ( build.log | root.log )
ppc64le
├127665443 ( build.log | root.log )
x86_64
└127665442 ( build.log | root.log )
redhat-rpm-config
296-1.fc42
300-1.fc42
2
glibc
2.40.9000-24.fc42
2.40.9000-26.fc42
2
glibc-devel
2.40.9000-24.fc42
2.40.9000-26.fc42
3
glibc-common
2.40.9000-24.fc42
2.40.9000-26.fc42
3
glibc-minimal-langpack
2.40.9000-24.fc42
2.40.9000-26.fc42
3
pyproject-srpm-macros
1.16.3-1.fc42
1.16.4-1.fc42
3
glibc-gconv-extra
2.40.9000-24.fc42
2.40.9000-26.fc42
3
python3-charset-normalizer
3.4.0-1.fc42
3.4.1-1.fc42
3
filesystem-srpm-macros
3.18-29.fc42
3
libxcrypt-devel
4.4.36-12.fc42
4.4.37-4.fc42
4
audit-libs
4.0.2-1.fc41
4.0.3-1.fc42
4
setup
2.15.0-5.fc41
2.15.0-9.fc42
4
openssl-libs
1:3.2.2-8.fc42
1:3.2.2-10.fc42
4
kernel-headers
6.13.0-0.rc4.36.fc42
6.13.0-0.rc6.48.fc42
4
fedora-release
42-0.11
42-0.12
B
libtirpc
1.3.6-1.fc42
1.3.6-1.rc3.fc42
B
fedora-release-identity-basic
42-0.11
42-0.12
B
libxcrypt
4.4.36-12.fc42
4.4.37-4.fc42
B
fedora-release-common
42-0.11
42-0.12
B
xxhash-libs
0.8.2-4.fc42
0.8.3-1.fc42
B
shadow-utils
2:4.17.0~rc1-2.fc42
2:4.17.0-2.fc42
B
libcom_err
1.47.1-6.fc42
1.47.2-1.fc42
B
complete
127183661
2024-12-24 23:00:56
aarch64
├127183774 ( build.log | root.log )
ppc64le
├127183776 ( build.log | root.log )
x86_64
└127183775 ( build.log | root.log )
glibc
2.40.9000-23.fc42
2.40.9000-24.fc42
2
glibc-gconv-extra
2.40.9000-23.fc42
2.40.9000-24.fc42
3
annobin-plugin-gcc
12.79-1.fc42
12.80-1.fc42
3
glibc-minimal-langpack
2.40.9000-23.fc42
2.40.9000-24.fc42
3
glibc-common
2.40.9000-23.fc42
2.40.9000-24.fc42
3
build-reproducibility-srpm-macros
0.4.3-1.fc42
0.5.0-1.fc42
3
python3-urllib3
2.2.3-3.fc42
2.3.0-1.fc42
3
glibc-devel
2.40.9000-23.fc42
2.40.9000-24.fc42
3
ca-certificates
2024.2.69_v8.0.401-3.fc42
2024.2.69_v8.0.401-4.fc42
4
systemd-libs
257-1.fc42
257.1-1.fc42
4
curl
8.10.1-2.fc42
8.11.1-2.fc42
4
add-determinism
0.4.3-1.fc42
0.5.0-1.fc42
4
annobin-docs
12.79-1.fc42
12.80-1.fc42
4
libxcrypt-devel
4.4.36-11.fc42
4.4.36-12.fc42
4
libselinux
3.8-0.rc1.2.fc42
3.8-0.rc3.1.fc42
4
alternatives
1.30-1.fc41
1.31-1.fc42
4
kernel-headers
6.13.0-0.rc1.e70140b...
6.13.0-0.rc4.36.fc42
4
shadow-utils
2:4.17.0~rc1-1.fc42
2:4.17.0~rc1-2.fc42
B
libxcrypt
4.4.36-11.fc42
4.4.36-12.fc42
B
libxml2
2.12.8-2.fc41
2.12.9-1.fc42
B
libcurl
8.10.1-2.fc42
8.11.1-2.fc42
B
libsemanage
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
B
libsepol
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues