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
371
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

tzdata
2026b-2.fc45
2026c-1.fc45
4
fedora-repos
45-0.2
46-0.1
B
fedora-release-identity-basic
45-0.9
46-0.1
B
fedora-release
45-0.9
46-0.1
B
fedora-release-common
45-0.9
46-0.1
B
lua-libs
5.5.0-3.fc45
5.5.1-1.fc45
B
fedora-gpg-keys
45-0.2
46-0.1
B
fedora-repos-rawhide
45-0.2
46-0.1
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
148952903
2026-08-11 02:14:12
aarch64
├148953019 ( build.log | root.log )
ppc64le
├148953018 ( build.log | root.log )
x86_64
└148953020 ( build.log | root.log )
ocaml-dune
3.24.1-1.fc45
3.24.2-1.fc45
1
python3
3.15.0~b4-1.fc45
3.15.0~rc1-1.fc45
2
glibc
2.43.9000-25.fc45
2.44-1.fc45
2
python3-libs
3.15.0~b4-1.fc45
3.15.0~rc1-1.fc45
3
glibc-gconv-extra
2.43.9000-25.fc45
2.44-1.fc45
3
glibc-common
2.43.9000-25.fc45
2.44-1.fc45
3
efi-srpm-macros
6-8.fc45
6-9.fc45
3
glibc-devel
2.43.9000-25.fc45
2.44-1.fc45
3
glibc-minimal-langpack
2.43.9000-25.fc45
2.44-1.fc45
3
coreutils
9.11-5.fc45
9.11-6.fc45
3
python3-urllib3
2.7.0-3.fc45
2.7.0-7.fc45
3
readline
8.3-5.fc45
8.3-6.fc45
4
gnupg2-verify
2.4.9-17.fc45
2.4.9-18.fc45
4
gnupg2
2.4.9-17.fc45
2.4.9-18.fc45
4
curl
8.21.0-3.fc45
8.21.0-5.fc45
4
kernel-headers
7.2.0-0.rc5.41.fc45
7.2.0-0.rc7.54.fc45
4
libselinux
3.11-3.fc45
3.11-4.fc45
4
coreutils-common
9.11-5.fc45
9.11-6.fc45
4
selinux-policy-targeted
45.10-1.fc45
45.11-1.fc45
4
fedora-release-common
45-0.8
45-0.9
B
gnupg2-dirmngr
2.4.9-17.fc45
2.4.9-18.fc45
B
selinux-policy
45.10-1.fc45
45.11-1.fc45
B
fedora-repos
45-0.1
45-0.2
B
gnupg2-gpg-agent
2.4.9-17.fc45
2.4.9-18.fc45
B
libcurl
8.21.0-3.fc45
8.21.0-5.fc45
B
gnupg2-keyboxd
2.4.9-17.fc45
2.4.9-18.fc45
B
libnghttp2
1.69.0-4.fc45
1.69.0-5.fc45
B
p11-kit-trust
0.26.4-2.fc45
0.26.5-1.fc45
B
libpsl
0.23.0-2.fc45
0.23.1-1.fc45
B
fedora-repos-rawhide
45-0.1
45-0.2
B
fedora-release-identity-basic
45-0.8
45-0.9
B
gnupg2-gpgconf
2.4.9-17.fc45
2.4.9-18.fc45
B
shadow-utils
2:4.19.3-4.fc45
2:4.20.0-1.fc45
B
libcap-ng
0.9.3-4.fc45
0.9.3-5.fc45
B
fedora-release
45-0.8
45-0.9
B
audit-libs
4.2.1-1.fc45
4.2.1-2.fc45
B
libnghttp3
1.17.0-2.fc45
1.18.0-1.fc45
B
p11-kit
0.26.4-2.fc45
0.26.5-1.fc45
B
libselinux-utils
3.11-3.fc45
3.11-4.fc45
B
fedora-gpg-keys
45-0.1
45-0.2
B
complete
148594657
2026-08-02 05:31:55
aarch64
├148594729 ( build.log | root.log )
ppc64le
├148594728 ( build.log | root.log )
x86_64
└148594730 ( build.log | root.log )
python3
3.15.0~b3-2.fc45
3.15.0~b4-1.fc45
2
glibc
2.43.9000-24.fc45
2.43.9000-25.fc45
2
rpm
6.0.92-1.fc45
6.0.92-2.fc45
3
binutils
2.46.90-2.fc45
2.47-1.fc45
3
python3-markupsafe
3.0.2-9.fc45
3.0.2-10.fc45
3
annobin-plugin-gcc
13.26-1.fc45
13.28-1.fc45
3
glibc-gconv-extra
2.43.9000-24.fc45
2.43.9000-25.fc45
3
glibc-minimal-langpack
2.43.9000-24.fc45
2.43.9000-25.fc45
3
glibc-devel
2.43.9000-24.fc45
2.43.9000-25.fc45
3
perl-srpm-macros
1-62.fc45
1-65.fc45
3
python3-libs
3.15.0~b3-2.fc45
3.15.0~b4-1.fc45
3
pyproject-srpm-macros
1.23.0-2.fc45
1.23.2-1.fc45
3
glibc-common
2.43.9000-24.fc45
2.43.9000-25.fc45
3
systemd-libs
261.1-21.fc45
261.2-1.fc45
4
kernel-headers
7.2.0-0.rc4.34.fc45
7.2.0-0.rc5.41.fc45
4
libuuid
2.42.2-2.fc45
2.42.2-3.fc45
4
rpm-libs
6.0.92-1.fc45
6.0.92-2.fc45
4
rpm-build
6.0.92-1.fc45
6.0.92-2.fc45
4
unzip
6.0-70.fc45
6.0-71.fc45
4
selinux-policy-targeted
45.9-1.fc45
45.10-1.fc45
4
libselinux
3.11-2.fc45
3.11-3.fc45
4
sqlite-libs
3.53.3-2.fc45
3.53.4-1.fc45
4
annobin-docs
13.26-1.fc45
13.28-1.fc45
4
liblastlog2
2.42.2-2.fc45
2.42.2-3.fc45
B
util-linux
2.42.2-2.fc45
2.42.2-3.fc45
B
gdb-minimal
17.2-3.fc45
17.2-4.fc45
B
audit-libs
4.1.4-3.fc45
4.2.1-1.fc45
B
rpm-plugin-selinux
6.0.92-1.fc45
6.0.92-2.fc45
B
selinux-policy
45.9-1.fc45
45.10-1.fc45
B
rpm-build-libs
6.0.92-1.fc45
6.0.92-2.fc45
B
libselinux-utils
3.11-2.fc45
3.11-3.fc45
B
systemd-standalone-sysusers
261.1-21.fc45
261.2-1.fc45
B
libsmartcols
2.42.2-2.fc45
2.42.2-3.fc45
B
util-linux-core
2.42.2-2.fc45
2.42.2-3.fc45
B
libbrotli
1.2.0-5.fc45
1.2.0-6.fc45
B
libmount
2.42.2-2.fc45
2.42.2-3.fc45
B
openldap
2.6.13-3.fc45
2.6.13-4.fc45
B
libsemanage
3.11-2.fc45
3.11-3.fc45
B
libssh-config
0.12.1-1.fc45
0.12.2-1.fc45
B
libxml2
2.13.9-3.fc45
2.13.9-4.fc45
B
libssh
0.12.1-1.fc45
0.12.2-1.fc45
B
libcap-ng
0.9.3-3.fc45
0.9.3-4.fc45
B
libfdisk
2.42.2-2.fc45
2.42.2-3.fc45
B
gawk
5.4.0-4.fc45
5.4.1-1.fc45
B
libblkid
2.42.2-2.fc45
2.42.2-3.fc45
B
rpm-sign-libs
6.0.92-1.fc45
6.0.92-2.fc45
B
complete
148223118
2026-07-24 01:50:55
aarch64
├148224011 ( build.log | root.log )
ppc64le
├148224012 ( build.log | root.log )
x86_64
└148224013 ( build.log | root.log )
ocaml
5.5.0-1.fc45
5.5.0-2.fc45
1
ocaml-dune
3.24.0-1.fc45
3.24.1-1.fc45
1
python3-sphinx_rtd_theme
3.1.0-4.fc45
3.1.0-5.fc45
1
ocaml-menhir
20260209-3.fc45
20260209-4.fc45
1
python3-sphinx
1:9.1.0-6.fc45
1:9.1.0-7.fc45
1
make
1:4.4.1-12.fc44
1:4.4.1-13.fc45
1
python3
3.15.0~b3-1.fc45
3.15.0~b3-2.fc45
2
google-roboto-slab-fonts
1.100263-0.28.20150923...
1.100263-0.29.20150923...
2
python3-packaging
26.2-2.fc45
26.2-4.fc45
2
ocaml-srpm-macros
11-3.fc44
11-4.fc45
2
python3-requests
2.34.2-1.fc45
2.34.2-2.fc45
2
python3-pygments
2.20.0-3.fc45
2.20.0-5.fc45
2
lmdb-libs
0.9.34-2.fc44
0.9.34-3.fc45
2
ocaml-rpm-macros
5.5.0-1.fc45
5.5.0-2.fc45
2
ocaml-runtime
5.5.0-1.fc45
5.5.0-2.fc45
2
python3-sphinx-theme-alabaster
0.7.16-13.fc45
0.7.16-14.fc45
2
python3-babel
2.18.0-3.fc45
2.18.0-4.fc45
2
python3-snowballstemmer
3.1.1-1.fc45
3.1.1-2.fc45
2
libzstd
1.5.7-5.fc44
1.5.7-6.fc45
2
lato-fonts
2.015-25.fc44
2.015-26.fc45
2
gcc
16.1.1-4.fc45
16.1.1-4.fc45.1
2
glibc
2.43.9000-23.fc45
2.43.9000-24.fc45
2
ocaml-compiler-libs
5.5.0-1.fc45
5.5.0-2.fc45
2
fontawesome4-fonts
1:4.7.0-26.fc44
1:4.7.0-27.fc45
2
libzstd-devel
1.5.7-5.fc44
1.5.7-6.fc45
2
python3-sphinxcontrib-jquery
4.1-16.fc45
4.1-17.fc45
2
libev
4.33-15.fc44
4.33-16.fc45
2
python3-docutils
0.23-1.fc45
0.23-2.fc45
2
ocaml-menhirlib-devel
20260209-3.fc45
20260209-4.fc45
2
python3-imagesize
2.0.0-2.fc45
2.0.0-3.fc45
2
python3-roman-numerals
4.1.0-2.fc45
4.1.0-3.fc45
2
python3-jinja2
3.1.6-9.fc45
3.1.6-10.fc45
2
rpm
6.0.91-3.fc45
6.0.92-1.fc45
3
lua-srpm-macros
1-17.fc44
1-18.fc45
3
gnat-srpm-macros
7-2.fc44
7-3.fc45
3
ocaml-menhirlib
20260209-3.fc45
20260209-4.fc45
3
gnome-srpm-macros
1.0-1.fc45
1.0-2.fc45
3
libgcc
16.1.1-4.fc45
16.1.1-4.fc45.1
3
findutils
1:4.11.0-1.fc45
1:4.11.0-2.fc45
3
glibc-devel
2.43.9000-23.fc45
2.43.9000-24.fc45
3
gpgverify
2.2-4.fc44
2.2-5.fc45
3
go-srpm-macros
3.8.0-2.fc44
3.8.0-3.fc45
3
zlib-ng-compat
2.3.3-5.fc45
2.3.3-6.fc45
3
python-srpm-macros
3.15-1.fc45
3.15-2.fc45
3
ansible-srpm-macros
1-20.1.fc44
1-22.fc45
3
tree-sitter-srpm-macros
0.4.6-1.fc45
0.4.6-2.fc45
3
bash
5.3.15-1.fc45
5.3.15-2.fc45
3
filesystem
3.18-58.fc45
3.18-59.fc45
3
python3-libs
3.15.0~b3-1.fc45
3.15.0~b3-2.fc45
3
python3-charset-normalizer
3.4.9-1.fc45
3.4.9-2.fc45
3
gcc-plugin-annobin
16.1.1-4.fc45
16.1.1-4.fc45.1
3
gap-srpm-macros
2-2.fc44
2-3.fc45
3
perl-srpm-macros
1-61.fc44
1-62.fc45
3
cmake-filesystem
4.3.0-4.fc45
4.3.0-5.fc45
3
package-notes-srpm-macros
0.20-1.fc45
0.20-2.fc45
3
forge-srpm-macros
0.4.0-4.fc44
0.4.0-5.fc45
3
java-srpm-macros
1-8.fc44
1-9.fc45
3
glibc-common
2.43.9000-23.fc45
2.43.9000-24.fc45
3
cpp
16.1.1-4.fc45
16.1.1-4.fc45.1
3
pyproject-srpm-macros
1.22.2-1.fc45
1.23.0-2.fc45
3
rust-srpm-macros
28.5-1.fc45
28.5-2.fc45
3
coreutils
9.11-4.fc45
9.11-5.fc45
3
annobin-plugin-gcc
13.24-1.fc45
13.26-1.fc45
3
glibc-gconv-extra
2.43.9000-23.fc45
2.43.9000-24.fc45
3
qt5-srpm-macros
5.15.18-2.fc44
5.15.18-3.fc45
3
efi-srpm-macros
6-6.fc44
6-8.fc45
3
qt6-srpm-macros
6.11.1-1.fc45
6.11.1-2.fc45
3
mpfr
4.2.2-3.fc44
4.2.2-4.fc45
3
filesystem-srpm-macros
3.18-58.fc45
3.18-59.fc45
3
kernel-srpm-macros
1.0-29.fc45
1.0-30.fc45
3
fonts-filesystem
1:5.0.0-3.fc45
1:5.0.0-4.fc45
3
grep
3.12-3.fc44
3.12-4.fc45
3
openblas-srpm-macros
2-21.fc44
2-22.fc45
3
python3-markupsafe
3.0.2-8.fc45
3.0.2-9.fc45
3
ghc-srpm-macros
1.10-1.fc44
1.10-2.fc45
3
zip
3.0-45.fc44
3.0-46.fc45
3
fpc-srpm-macros
1.3-16.fc44
1.3-17.fc45
3
pkgconf-pkg-config
2.5.1-1.fc45
2.5.1-2.fc45
3
libatomic
16.1.1-4.fc45
16.1.1-4.fc45.1
3
fonts-srpm-macros
1:5.0.0-3.fc45
1:5.0.0-4.fc45
3
libmpc
1.4.1-1.fc45
1.4.1-2.fc45
3
cmake-srpm-macros
4.3.0-4.fc45
4.3.0-5.fc45
3
dwz
0.17-1.fc45
0.17-3.fc45
3
glibc-minimal-langpack
2.43.9000-23.fc45
2.43.9000-24.fc45
3
gmp
1:6.3.0-5.fc44
1:6.3.0-6.fc45
3
libgomp
16.1.1-4.fc45
16.1.1-4.fc45.1
3
python3-idna
3.18-1.fc45
3.18-2.fc45
3
binutils
2.46.90-1.fc45
2.46.90-2.fc45
3
sed
4.10-1.fc45
4.10-2.fc45
3
zig-srpm-macros
1-8.fc44
1-9.fc45
3
erlang-srpm-macros
0.3.11-1.fc45
0.3.11-2.fc45
3
R-srpm-macros
1.3.7-2.fc45
1.3.7-3.fc45
3
build-reproducibility-srpm-macros
0.7.3-2.fc45
0.7.3-3.fc45
3
pkgconf
2.5.1-1.fc45
2.5.1-2.fc45
4
jansson
2.14-4.fc44
2.14-5.fc45
4
bzip2-libs
1.0.8-23.fc44
1.0.8-24.fc45
4
pkgconf-m4
2.5.1-1.fc45
2.5.1-2.fc45
4
sqlite-libs
3.53.3-1.fc45
3.53.3-2.fc45
4
openssl-libs
1:4.0.1-3.fc45
1:4.0.1-5.fc45
4
curl
8.21.0-1.fc45
8.21.0-3.fc45
4
pcre2
10.47-1.fc44.1
10.47-1.fc45.2
4
rpm-libs
6.0.91-3.fc45
6.0.92-1.fc45
4
ca-certificates
2025.2.80_v9.0.304-8.fc45
2025.2.80_v9.0.304-9.fc45
4
expat
2.8.1-1.fc45
2.8.1-2.fc45
4
libselinux
3.11-1.fc45
3.11-2.fc45
4
gdbm-libs
1:1.23-11.fc44
1:1.23-12.fc45
4
libarchive
3.8.8-2.fc45
3.8.8-3.fc45
4
readline
8.3-4.fc44
8.3-5.fc45
4
systemd-libs
261.1-2.fc45
261.1-21.fc45
4
libuuid
2.42.2-1.fc45
2.42.2-2.fc45
4
annobin-docs
13.24-1.fc45
13.26-1.fc45
4
libffi
3.5.2-2.fc44
3.5.2-3.fc45
4
add-determinism
0.7.3-2.fc45
0.7.3-3.fc45
4
coreutils-common
9.11-4.fc45
9.11-5.fc45
4
elfutils-debuginfod-client
0.195-2.fc45
0.195-3.fc45
4
libxcrypt-devel
4.5.2-3.fc44
4.5.2-4.fc45
4
libacl
2.4.0-1.fc45
2.4.0-2.fc45
4
libstdc++
16.1.1-4.fc45
16.1.1-4.fc45.1
4
gnupg2-verify
2.4.9-16.fc45
2.4.9-17.fc45
4
tzdata
2026b-1.fc45
2026b-2.fc45
4
libattr
2.6.0-1.fc45
2.6.0-2.fc45
4
kernel-headers
7.2.0-0.rc3.26.fc45
7.2.0-0.rc4.34.fc45
4
alternatives
1.33-5.fc44
1.33-6.fc45
4
mpdecimal
4.0.1-3.fc44
4.0.1-4.fc45
4
xz-libs
1:5.8.3-1.fc45
1:5.8.3-2.fc45
4
gnupg2
2.4.9-16.fc45
2.4.9-17.fc45
4
elfutils-libelf
0.195-2.fc45
0.195-3.fc45
4
rpm-build
6.0.91-3.fc45
6.0.92-1.fc45
4
linkdupes
0.7.3-2.fc45
0.7.3-3.fc45
4
python-pip-wheel
26.1.2-1.fc45
26.1.2-2.fc45
4
selinux-policy-targeted
45.8-1.fc45
45.9-1.fc45
4
setup
2.15.1-1.fc45
2.15.1-2.fc45
4
ncurses-libs
6.6-2.fc45
6.6-3.fc45
4
unzip
6.0-69.fc44
6.0-70.fc45
4
popt
1.19-10.fc44
1.19-11.fc45
4
libcap
2.78-1.fc45
2.78-2.fc45
4
npth
1.8-4.fc44
1.8-5.fc45
B
redhat-systemd-presets-common
102-2.fc45
102-3.fc45
B
libsemanage
3.11-1.fc45
3.11-2.fc45
B
crypto-policies
20260713-1.gitc42da77....
20260713-2.gitc42da77....
B
libevent
2.1.12-18.fc45
2.1.12-19.fc45
B
libidn2
2.3.8-3.fc44
2.3.8-4.fc45
B
rpm-sign-libs
6.0.91-3.fc45
6.0.92-1.fc45
B
lua-libs
5.5.0-1.fc45
5.5.0-3.fc45
B
selinux-policy
45.8-1.fc45
45.9-1.fc45
B
rpm-build-libs
6.0.91-3.fc45
6.0.92-1.fc45
B
p11-kit-trust
0.26.4-1.fc45
0.26.4-2.fc45
B
ngtcp2-crypto-ossl
1.22.1-2.fc45
1.22.1-3.fc45
B
patch
2.8-4.fc44
2.8-5.fc45
B
zstd
1.5.7-5.fc44
1.5.7-6.fc45
B
libfido2
1.17.0-3.fc45
1.17.0-5.fc45
B
which
2.25-1.fc45
2.25-2.fc45
B
libcbor
0.14.0-2.fc45
0.14.0-3.fc45
B
ngtcp2
1.22.1-2.fc45
1.22.1-3.fc45
B
elfutils
0.195-2.fc45
0.195-3.fc45
B
libtool-ltdl
2.5.4-10.fc44
2.5.4-11.fc45
B
libnghttp3
1.17.0-1.fc45
1.17.0-2.fc45
B
libbrotli
1.2.0-4.fc45
1.2.0-5.fc45
B
lz4-libs
1.10.0-4.fc44
1.10.0-5.fc45
B
libverto
0.3.2-12.fc44
0.3.2-13.fc45
B
debugedit
5.3-2.fc45
5.3-3.fc45
B
openldap
2.6.13-2.fc45
2.6.13-3.fc45
B
libunistring
1.1-11.fc44
1.1-12.fc45
B
libssh
0.12.0-3.fc45
0.12.1-1.fc45
B
pam-libs
1.7.2-3.fc45
1.7.2-4.fc45
B
redhat-systemd-presets
102-2.fc45
102-3.fc45
B
libselinux-utils
3.11-1.fc45
3.11-2.fc45
B
libpkgconf
2.5.1-1.fc45
2.5.1-2.fc45
B
libtasn1
4.21.0-1.fc45
4.21.0-2.fc45
B
libcap-ng
0.9.3-2.fc45
0.9.3-3.fc45
B
krb5-libs
1.22.2-8.fc45
1.22.2-9.fc45
B
ncurses-base
6.6-2.fc45
6.6-3.fc45
B
libblkid
2.42.2-1.fc45
2.42.2-2.fc45
B
shadow-utils
2:4.19.3-3.fc45
2:4.19.3-4.fc45
B
libfsverity
1.7-3.fc45
1.7-4.fc45
B
libxml2
2.13.9-2.fc45
2.13.9-3.fc45
B
libnghttp2
1.69.0-3.fc45
1.69.0-4.fc45
B
gnupg2-gpgconf
2.4.9-16.fc45
2.4.9-17.fc45
B
gnulib-l10n
20241231-3.fc45
20241231-4.fc45
B
cyrus-sasl-lib
2.1.28-36.fc45
2.1.28-37.fc45
B
gdb-minimal
17.2-2.fc45
17.2-3.fc45
B
libassuan
2.5.7-5.fc44
2.5.7-6.fc45
B
diffutils
3.12-5.fc44
3.12-6.fc45
B
tar
2:1.35-8.fc44
2:1.35-9.fc45
B
pcre2-syntax
10.47-1.fc44.1
10.47-1.fc45.2
B
rpm-sequoia
1.10.2-4.fc45
1.10.2-5.fc45
B
libfdisk
2.42.2-1.fc45
2.42.2-2.fc45
B
libmount
2.42.2-1.fc45
2.42.2-2.fc45
B
elfutils-libs
0.195-2.fc45
0.195-3.fc45
B
libusb1
1.0.30-1.fc45
1.0.30-2.fc45
B
libpsl
0.23.0-1.fc45
0.23.0-2.fc45
B
util-linux-core
2.42.2-1.fc45
2.42.2-2.fc45
B
util-linux
2.42.2-1.fc45
2.42.2-2.fc45
B
xz
1:5.8.3-1.fc45
1:5.8.3-2.fc45
B
libcom_err
1.47.4-1.fc45
1.47.4-2.fc45
B
publicsuffix-list-dafsa
20260624-1.fc45
20260624-2.fc45
B
gnupg2-gpg-agent
2.4.9-16.fc45
2.4.9-17.fc45
B
info
7.3-2.fc45
7.3-3.fc45
B
ima-evm-utils-libs
1.6.2-11.fc45
1.6.2-12.fc45
B
fips-provider
1.5.2-1.fc45
1.5.2-3.fc45
B
gawk
5.4.0-3.fc45
5.4.0-4.fc45
B
audit-libs
4.1.4-2.fc45
4.1.4-3.fc45
B
rpm-plugin-selinux
6.0.91-3.fc45
6.0.92-1.fc45
B
nettle
3.10.1-3.fc44
4.0-5.fc45
B
gnupg2-keyboxd
2.4.9-16.fc45
2.4.9-17.fc45
B
libksba
1.8.0-1.fc45
1.8.0-3.fc45
B
libssh-config
0.12.0-3.fc45
0.12.1-1.fc45
B
bzip2
1.0.8-23.fc44
1.0.8-24.fc45
B
cpio
2.15-9.fc44
2.15-10.fc45
B
keyutils-libs
1.6.3-7.fc44
1.6.3-8.fc45
B
libgpg-error
1.61-1.fc45
1.61-2.fc45
B
json-c
0.18-8.fc44
0.18-9.fc45
B
policycoreutils
3.11-1.fc45
3.11-2.fc45
B
libsepol
3.11-1.fc45
3.11-2.fc45
B
liblastlog2
2.42.2-1.fc45
2.42.2-2.fc45
B
systemd-standalone-sysusers
261.1-2.fc45
261.1-21.fc45
B
libsmartcols
2.42.2-1.fc45
2.42.2-2.fc45
B
libcurl
8.21.0-1.fc45
8.21.0-3.fc45
B
libxcrypt
4.5.2-3.fc44
4.5.2-4.fc45
B
gnutls
3.8.13-1.fc45
3.8.13-3.fc45
B
gzip
1.14-3.fc45
1.14-4.fc45
B
p11-kit
0.26.4-1.fc45
0.26.4-2.fc45
B
ed
1.22.5-2.fc45
1.22.5-3.fc45
B
gnupg2-dirmngr
2.4.9-16.fc45
2.4.9-17.fc45
B
xxhash-libs
0.8.3-4.fc44
0.8.3-5.fc45
B
libeconf
0.7.9-3.fc44
0.7.9-4.fc45
B
libgcrypt
1.12.2-1.fc45
1.12.2-2.fc45
B
Real build: ocaml-psmt2-frontend-0.4.0-32.fc45
complete
147881136
2026-07-16 10:06:08
aarch64
├147911990 ( build.log | root.log )
ppc64le
├147911992 ( build.log | root.log )
s390x
├147911994 ( build.log | root.log )
x86_64
└147911988 ( build.log | root.log )
glibc
2.43.9000-22.fc45
2.43.9000-23.fc45
2
dwz
0.16-3.fc44
0.17-1.fc45
3
glibc-gconv-extra
2.43.9000-22.fc45
2.43.9000-23.fc45
3
rust-srpm-macros
28.4-3.fc44
28.5-1.fc45
3
glibc-devel
2.43.9000-22.fc45
2.43.9000-23.fc45
3
findutils
1:4.10.0-7.fc44
1:4.11.0-1.fc45
3
binutils
2.46.50-12.fc45
2.46.90-1.fc45
3
glibc-common
2.43.9000-22.fc45
2.43.9000-23.fc45
3
glibc-minimal-langpack
2.43.9000-22.fc45
2.43.9000-23.fc45
3
sqlite-libs
3.53.2-1.fc45
3.53.3-1.fc45
4
kernel-headers
7.2.0-0.rc2.21.fc45
7.2.0-0.rc3.26.fc45
4
p11-kit-trust
0.26.2-1.fc45
0.26.4-1.fc45
B
tpm2-tss
4.1.3-10.fc45
4.2.0-1.fc45
B
libpsl
0.22.0-1.fc45
0.23.0-1.fc45
B
p11-kit
0.26.2-1.fc45
0.26.4-1.fc45
B
gdb-minimal
17.2-1.fc45
17.2-2.fc45
B
gzip
1.14-2.fc44
1.14-3.fc45
B
crypto-policies
20260708-1.git6ce654c....
20260713-1.gitc42da77....
B
Real build: ocaml-psmt2-frontend-0.4.0-31.fc45
complete
147595066
2026-07-09 19:24:54
aarch64
├147595209 ( build.log | root.log )
ppc64le
├147595210 ( build.log | root.log )
s390x
├147595211 ( build.log | root.log )
x86_64
└147595208 ( build.log | root.log )
python3-sphinx_rtd_theme
3.1.0-3.fc45
3.1.0-4.fc45
1
ocaml
5.4.1-4.fc45
5.5.0-1.fc45
1
python3-sphinx
1:9.1.0-5.fc45
1:9.1.0-6.fc45
1
ocaml-menhir
20260209-2.fc45
20260209-3.fc45
1
ocaml-dune
3.23.1-1.fc45
3.24.0-1.fc45
1
ocaml-compiler-libs
5.4.1-4.fc45
5.5.0-1.fc45
2
ocaml-rpm-macros
5.4.1-4.fc45
5.5.0-1.fc45
2
ocaml-menhirlib-devel
20260209-2.fc45
20260209-3.fc45
2
ocaml-runtime
5.4.1-4.fc45
5.5.0-1.fc45
2
python3-docutils
0.22.4-3.fc45
0.23-1.fc45
2
ocaml-menhirlib
20260209-2.fc45
20260209-3.fc45
3
python3-charset-normalizer
3.4.7-2.fc45
3.4.9-1.fc45
3
libacl
2.3.2-7.fc45
2.4.0-1.fc45
4
libattr
2.5.2-9.fc45
2.6.0-1.fc45
4
openssl-libs
1:4.0.1-1.fc45
1:4.0.1-3.fc45
4
crypto-policies
20260331-2.git4c567b2....
20260708-1.git6ce654c....
B
rpm-sequoia
1.10.2-3.fc45
1.10.2-4.fc45
B
fips-provider
1.5.2-1.fc45
B
complete
147499535
2026-07-07 00:44:52
aarch64
├147499578 ( build.log | root.log )
ppc64le
├147499580 ( build.log | root.log )
x86_64
└147499579 ( build.log | root.log )
python3-requests
2.33.1-4.fc45
2.34.2-1.fc45
2
gcc
16.1.1-2.fc45
16.1.1-4.fc45
2
glibc
2.43.9000-20.fc45
2.43.9000-22.fc45
2
libgomp
16.1.1-2.fc45
16.1.1-4.fc45
3
annobin-plugin-gcc
13.22-1.fc45
13.24-1.fc45
3
glibc-common
2.43.9000-20.fc45
2.43.9000-22.fc45
3
glibc-devel
2.43.9000-20.fc45
2.43.9000-22.fc45
3
gcc-plugin-annobin
16.1.1-2.fc45
16.1.1-4.fc45
3
glibc-gconv-extra
2.43.9000-20.fc45
2.43.9000-22.fc45
3
libgcc
16.1.1-2.fc45
16.1.1-4.fc45
3
libatomic
16.1.1-2.fc45
16.1.1-4.fc45
3
glibc-minimal-langpack
2.43.9000-20.fc45
2.43.9000-22.fc45
3
bash
5.3.9-3.fc44
5.3.15-1.fc45
3
cpp
16.1.1-2.fc45
16.1.1-4.fc45
3
annobin-docs
13.22-1.fc45
13.24-1.fc45
4
python-pip-wheel
26.1.1-6.fc45
26.1.2-1.fc45
4
kernel-headers
7.2.0-0.rc1.15.fc45
7.2.0-0.rc2.21.fc45
4
libstdc++
16.1.1-2.fc45
16.1.1-4.fc45
4
libselinux
3.10-2.fc45
3.11-1.fc45
4
selinux-policy-targeted
45.7-1.fc45
45.8-1.fc45
4
pam-libs
1.7.2-2.fc45
1.7.2-3.fc45
4
gdb-minimal
17.1-10.fc45
17.2-1.fc45
B
libsemanage
3.10-2.fc45
3.11-1.fc45
B
publicsuffix-list-dafsa
20260116-1.fc44
20260624-1.fc45
B
libnghttp3
1.16.0-1.fc45
1.17.0-1.fc45
B
libselinux-utils
3.10-2.fc45
3.11-1.fc45
B
libsepol
3.10-1.fc44
3.11-1.fc45
B
policycoreutils
3.10-5.fc45
3.11-1.fc45
B
selinux-policy
45.7-1.fc45
45.8-1.fc45
B
libpsl
0.21.5-7.fc44
0.22.0-1.fc45
B
complete
147200348
2026-06-29 19:29:05
aarch64
├147200460 ( build.log | root.log )
ppc64le
├147200458 ( build.log | root.log )
x86_64
└147200459 ( build.log | root.log )
python3-sphinx
1:9.1.0-2.fc45
1:9.1.0-5.fc45
1
python3
3.15.0~b2-5.fc45
3.15.0~b3-1.fc45
2
redhat-rpm-config
344-2.fc45
344-5.fc45
2
package-notes-srpm-macros
0.19-1.fc45
0.20-1.fc45
3
binutils
2.46.50-10.fc45
2.46.50-12.fc45
3
python3-libs
3.15.0~b2-5.fc45
3.15.0~b3-1.fc45
3
rpm
6.0.1-6.fc45
6.0.91-3.fc45
3
systemd-libs
261-2.fc45
261.1-2.fc45
4
curl
8.21.0~rc3-3.fc45
8.21.0-1.fc45
4
rpm-build
6.0.1-6.fc45
6.0.91-3.fc45
4
libarchive
3.8.7-2.fc45
3.8.8-2.fc45
4
rpm-libs
6.0.1-6.fc45
6.0.91-3.fc45
4
setup
2.15.0-29.fc45
2.15.1-1.fc45
4
selinux-policy-targeted
45.5-1.fc45
45.7-1.fc45
4
kernel-headers
7.2.0-0.rc0.e771677...
7.2.0-0.rc1.15.fc45
4
systemd-standalone-sysusers
261-2.fc45
261.1-2.fc45
B
libssh
0.12.0-1.fc45
0.12.0-3.fc45
B
libssh-config
0.12.0-1.fc45
0.12.0-3.fc45
B
rpm-build-libs
6.0.1-6.fc45
6.0.91-3.fc45
B
openssl3-libs
1:3.5.7-1.fc45
libcurl
8.21.0~rc3-3.fc45
8.21.0-1.fc45
B
selinux-policy
45.5-1.fc45
45.7-1.fc45
B
rpm-plugin-selinux
6.0.1-6.fc45
6.0.91-3.fc45
B
rpm-sign-libs
6.0.1-6.fc45
6.0.91-3.fc45
B
complete
146919790
2026-06-22 02:03:52
aarch64
├146919981 ( build.log | root.log )
ppc64le
├146919983 ( build.log | root.log )
x86_64
└146919982 ( build.log | root.log )
python3
3.15.0~b2-3.fc45
3.15.0~b2-5.fc45
2
coreutils
9.11-3.fc45
9.11-4.fc45
3
python3-libs
3.15.0~b2-3.fc45
3.15.0~b2-5.fc45
3
cmake-filesystem
4.3.0-3.fc45
4.3.0-4.fc45
3
cmake-srpm-macros
4.3.0-3.fc45
4.3.0-4.fc45
3
annobin-plugin-gcc
13.21-1.fc45
13.22-1.fc45
3
elfutils-debuginfod-client
0.195-1.fc45
0.195-2.fc45
4
openssl-libs
1:3.5.7-1.fc45
1:4.0.1-1.fc45
4
annobin-docs
13.21-1.fc45
13.22-1.fc45
4
coreutils-common
9.11-3.fc45
9.11-4.fc45
4
libarchive
3.8.7-1.fc45
3.8.7-2.fc45
4
kernel-headers
7.1.0-55.fc45
7.2.0-0.rc0.e771677...
4
curl
8.21.0~rc2-1.fc45
8.21.0~rc3-3.fc45
4
ca-certificates
2025.2.80_v9.0.304-7.fc45
2025.2.80_v9.0.304-8.fc45
4
pam-libs
1.7.2-1.fc44
1.7.2-2.fc45
4
systemd-libs
261~rc3-3.fc45
261-2.fc45
4
elfutils-libelf
0.195-1.fc45
0.195-2.fc45
4
crypto-policies
20260331-1.git4c567b2....
20260331-2.git4c567b2....
B
ngtcp2
1.22.1-1.fc45
1.22.1-2.fc45
B
cyrus-sasl-lib
2.1.28-35.fc44
2.1.28-36.fc45
B
tpm2-tss
4.1.3-9.fc44
4.1.3-10.fc45
B
openssl3-libs
1:3.5.7-1.fc45
B
openldap
2.6.13-1.fc45
2.6.13-2.fc45
B
ima-evm-utils-libs
1.6.2-10.fc45
1.6.2-11.fc45
B
systemd-standalone-sysusers
261~rc3-3.fc45
261-2.fc45
B
krb5-libs
1.22.2-7.fc45
1.22.2-8.fc45
B
elfutils-libs
0.195-1.fc45
0.195-2.fc45
B
libcurl
8.21.0~rc2-1.fc45
8.21.0~rc3-3.fc45
B
rpm-sequoia
1.10.2-2.fc45
1.10.2-3.fc45
B
libfsverity
1.7-1.fc45
1.7-3.fc45
B
libnghttp2
1.69.0-1.fc45
1.69.0-3.fc45
B
ngtcp2-crypto-ossl
1.22.1-1.fc45
1.22.1-2.fc45
B
libevent
2.1.12-17.fc44
2.1.12-18.fc45
B
elfutils
0.195-1.fc45
0.195-2.fc45
B
libfido2
1.17.0-2.fc45
1.17.0-3.fc45
B
Previous history
Koschei version 792b588
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues