z3

Package information

State
failing

Scheduler parameters

Tracked by Koschei
True
Current priority
890
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

librsvg2
2.54.1-1.fc37
2.54.3-1.fc37
2
rpmautospec-rpm-macros
0.2.6-1.fc37
0.2.8-1.fc37
3
annobin-plugin-gcc
10.71-1.fc37
10.72-1.fc37
3
kernel-headers
5.18.0-0.rc6.git0.1....
5.18.0-0.rc7.git0.1....
4
annobin-docs
10.71-1.fc37
10.72-1.fc37
4
gdb-minimal
11.2-3.fc37
12.1-1.fc37
B
debugedit
5.0-3.fc36
5.0-4.fc37
B

Most recent builds

glibc
2.35.9000-16.fc37
2.35.9000-17.fc37
2
libcurl
7.83.0-1.fc37
7.83.1-1.fc37
2
redhat-rpm-config
218-1.fc37
219-1.fc37
2
glibc-minimal-langpack
2.35.9000-16.fc37
2.35.9000-17.fc37
3
glibc-common
2.35.9000-16.fc37
2.35.9000-17.fc37
3
perl-Exporter
5.76-480.fc36
5.77-1.fc37
3
libselinux
3.4-0.rc2.1.fc37
3.4-0.rc3.1.fc37
3
annobin-plugin-gcc
10.70-1.fc37
10.71-1.fc37
3
glibc-gconv-extra
2.35.9000-16.fc37
2.35.9000-17.fc37
3
perl-PathTools
3.80-479.fc36
3.84-1.fc37
3
glibc-devel
2.35.9000-16.fc37
2.35.9000-17.fc37
3
binutils
2.38-8.fc37
2.38-9.fc37
3
curl
7.83.0-1.fc37
7.83.1-1.fc37
4
binutils-gold
2.38-8.fc37
2.38-9.fc37
4
libsepol
3.4-0.rc2.1.fc37
3.4-0.rc3.1.fc37
4
systemd-libs
251~rc2-1.fc37
251~rc2-2.fc37
4
glibc-headers-x86
2.35.9000-16.fc37
2.35.9000-17.fc37
4
annobin-docs
10.70-1.fc37
10.71-1.fc37
4
libsemanage
3.4-0.rc2.1.fc37
3.4-0.rc3.1.fc37
B
gcc-c++
12.0.1-0.17.fc37
12.1.1-1.fc37
1
vim-filesystem
2:8.2.4877-1.fc37
2:8.2.4927-1.fc37
2
libstdc++-devel
12.0.1-0.17.fc37
12.1.1-1.fc37
2
libgcc
12.0.1-0.17.fc37
12.1.1-1.fc37
2
libstdc++
12.0.1-0.17.fc37
12.1.1-1.fc37
2
gcc
12.0.1-0.17.fc37
12.1.1-1.fc37
2
sqlite-libs
3.38.3-2.fc37
3.38.5-1.fc37
3
annobin-plugin-gcc
10.69-1.fc37
10.70-1.fc37
3
cpp
12.0.1-0.17.fc37
12.1.1-1.fc37
3
libgomp
12.0.1-0.17.fc37
12.1.1-1.fc37
3
gcc-plugin-annobin
12.0.1-0.17.fc37
12.1.1-1.fc37
3
setup
2.13.9.1-3.fc36
2.13.10-1.fc37
4
annobin-docs
10.69-1.fc37
10.70-1.fc37
4
kernel-headers
5.18.0-0.rc5.git0.1....
5.18.0-0.rc6.git0.1....
4
No dependency changes
doxygen
2:1.9.4-0.20220217git...
2:1.9.4-1.fc37
1
gcc-c++
12.0.1-0.16.fc37
12.0.1-0.17.fc37
1
gcc
12.0.1-0.16.fc37
12.0.1-0.17.fc37
2
pyproject-rpm-macros
1.1.0-1.fc37
1.2.0-1.fc37
2
libgcc
12.0.1-0.16.fc37
12.0.1-0.17.fc37
2
vim-filesystem
2:8.2.4804-1.fc37
2:8.2.4877-1.fc37
2
libstdc++-devel
12.0.1-0.16.fc37
12.0.1-0.17.fc37
2
libcurl
7.82.0-2.fc37
7.83.0-1.fc37
2
freetype
2.12.0-1.fc37
2.12.1-1.fc37
2
glibc
2.35.9000-14.fc37
2.35.9000-16.fc37
2
libstdc++
12.0.1-0.16.fc37
12.0.1-0.17.fc37
2
clang-libs
14.0.0-1.fc37
2
ncurses-libs
6.3-1.20220416.fc37
6.3-2.20220501.fc37
2
redhat-rpm-config
214-1.fc37
218-1.fc37
2
libgomp
12.0.1-0.16.fc37
12.0.1-0.17.fc37
3
glibc-common
2.35.9000-14.fc37
2.35.9000-16.fc37
3
glibc-gconv-extra
2.35.9000-14.fc37
2.35.9000-16.fc37
3
sqlite-libs
3.38.2-1.fc37
3.38.3-2.fc37
3
glibc-minimal-langpack
2.35.9000-14.fc37
2.35.9000-16.fc37
3
cpp
12.0.1-0.16.fc37
12.0.1-0.17.fc37
3
cups-libs
1:2.4.1-8.fc37
1:2.4.1-9.fc37
3
annobin-plugin-gcc
10.67-1.fc37
10.69-1.fc37
3
glibc-devel
2.35.9000-14.fc37
2.35.9000-16.fc37
3
libxml2
2.9.13-1.fc37
2.9.14-1.fc37
3
ncurses-base
6.3-1.20220416.fc37
6.3-2.20220501.fc37
3
rpm
4.18.0-0.alpha1.5.fc37
4.18.0-0.alpha1.6.fc37
3
openssl-libs
1:3.0.2-3.fc37
1:3.0.2-4.fc37
3
clang-resource-filesystem
14.0.0-1.fc37
3
llvm-libs
14.0.0-1.fc37
3
gcc-plugin-annobin
12.0.1-0.17.fc37
3
annobin-docs
10.67-1.fc37
10.69-1.fc37
4
glibc-headers-x86
2.35.9000-14.fc37
2.35.9000-16.fc37
4
elfutils-libelf
0.187-1.fc37
0.187-4.fc37
4
crypto-policies
20220427-1.gitca01c3e....
20220428-1.gitdfb10ea....
4
curl
7.82.0-2.fc37
7.83.0-1.fc37
4
kernel-headers
5.18.0-0.rc4.git0.1....
5.18.0-0.rc5.git0.1....
4
systemd-libs
251~rc1-3.fc37
251~rc2-1.fc37
4
authselect-libs
1.3.0-10.fc37
1.4.0-1.fc37
4
crypto-policies-scripts
20220427-1.gitca01c3e....
20220428-1.gitdfb10ea....
4
pcre2
10.39-1.fc36.1
10.40-1.fc37
4
elfutils-debuginfod-client
0.187-1.fc37
0.187-4.fc37
4
rpm-libs
4.18.0-0.alpha1.5.fc37
4.18.0-0.alpha1.6.fc37
4
authselect
1.3.0-10.fc37
1.4.0-1.fc37
B
fedora-release
37-0.3
37-0.5
B
pcre2-syntax
10.39-1.fc36.1
10.40-1.fc37
B
clang13-libs
13.0.1-1.fc37
ncurses
6.3-1.20220416.fc37
6.3-2.20220501.fc37
B
fedora-release-identity-basic
37-0.3
37-0.5
B
rpm-build
4.18.0-0.alpha1.5.fc37
4.18.0-0.alpha1.6.fc37
B
llvm13-libs
13.0.1-1.fc37
ed
1.14.2-12.fc36
1.18-1.fc37
B
elfutils
0.187-1.fc37
0.187-4.fc37
B
elfutils-libs
0.187-1.fc37
0.187-4.fc37
B
rpm-build-libs
4.18.0-0.alpha1.5.fc37
4.18.0-0.alpha1.6.fc37
B
elfutils-default-yama-scope
0.187-1.fc37
0.187-4.fc37
B
perl-Socket
4:2.032-3.fc36
4:2.033-1.fc37
B
fedora-release-common
37-0.3
37-0.5
B
clang13-resource-filesystem
13.0.1-1.fc37
java-17-openjdk-devel
1:17.0.3.0.5-0.1.ea.fc37
1:17.0.3.0.7-1.fc37
1
python3-setuptools
60.9.3-1.fc37
60.9.3-2.fc37
1
vim-filesystem
2:8.2.4701-2.fc37
2:8.2.4804-1.fc37
2
java-17-openjdk
1:17.0.3.0.5-0.1.ea.fc37
1:17.0.3.0.7-1.fc37
2
librsvg2
2.54.0-1.fc37
2.54.1-1.fc37
2
java-17-openjdk-headless
1:17.0.3.0.5-0.1.ea.fc37
1:17.0.3.0.7-1.fc37
2
pyproject-rpm-macros
1.0.1-1.fc37
1.1.0-1.fc37
2
coreutils
9.0-5.fc37
9.1-2.fc37
2
ncurses-libs
6.2-9.20210508.fc36
6.3-1.20220416.fc37
2
harfbuzz
4.2.0-1.fc37
4.2.1-1.fc37
2
glibc
2.35.9000-12.fc37
2.35.9000-14.fc37
2
freetype
2.11.1-2.fc36
2.12.0-1.fc37
2
python-pip-wheel
22.0.4-1.fc37
22.0.4-2.fc37
3
fribidi
1.0.11-3.fc37
1.0.12-1.fc37
3
glibc-devel
2.35.9000-12.fc37
2.35.9000-14.fc37
3
python-setuptools-wheel
60.9.3-1.fc37
60.9.3-2.fc37
3
coreutils-common
9.0-5.fc37
9.1-2.fc37
3
rpm
4.17.0-10.fc37
4.18.0-0.alpha1.5.fc37
3
rpmautospec-rpm-macros
0.2.5-1.fc35
0.2.6-1.fc37
3
ncurses-base
6.2-9.20210508.fc36
6.3-1.20220416.fc37
3
glibc-common
2.35.9000-12.fc37
2.35.9000-14.fc37
3
gnutls
3.7.3-2.fc36
3.7.4-1.fc37
3
annobin-plugin-gcc
10.65-1.fc37
10.67-1.fc37
3
libselinux
3.3-4.fc36
3.4-0.rc2.1.fc37
3
openssl-libs
1:3.0.2-2.fc37
1:3.0.2-3.fc37
3
glibc-gconv-extra
2.35.9000-12.fc37
2.35.9000-14.fc37
3
shared-mime-info
2.1-3.fc35
2.2-1.fc37
3
glibc-minimal-langpack
2.35.9000-12.fc37
2.35.9000-14.fc37
3
kernel-headers
5.18.0-0.rc3.git0.1....
5.18.0-0.rc4.git0.1....
4
rpm-libs
4.17.0-10.fc37
4.18.0-0.alpha1.5.fc37
4
elfutils-libelf
0.186-5.fc37
0.187-1.fc37
4
libsepol
3.3-3.fc36
3.4-0.rc2.1.fc37
4
crypto-policies
20220412-1.git97fe449....
20220427-1.gitca01c3e....
4
crypto-policies-scripts
20220412-1.git97fe449....
20220427-1.gitca01c3e....
4
elfutils-debuginfod-client
0.186-5.fc37
0.187-1.fc37
4
glibc-headers-x86
2.35.9000-12.fc37
2.35.9000-14.fc37
4
annobin-docs
10.65-1.fc37
10.67-1.fc37
4
elfutils
0.186-5.fc37
0.187-1.fc37
B
ncurses
6.2-9.20210508.fc36
6.3-1.20220416.fc37
B
elfutils-libs
0.186-5.fc37
0.187-1.fc37
B
libsemanage
3.3-3.fc37
3.4-0.rc2.1.fc37
B
elfutils-default-yama-scope
0.186-5.fc37
0.187-1.fc37
B
rpm-build
4.17.0-10.fc37
4.18.0-0.alpha1.5.fc37
B
rpm-build-libs
4.17.0-10.fc37
4.18.0-0.alpha1.5.fc37
B
help2man
1.49.1-1.fc37
1.49.2-1.fc37
1
gcc-c++
12.0.1-0.14.fc37
12.0.1-0.16.fc37
1
java-17-openjdk-devel
1:17.0.3.0.1-0.1.ea.fc37
1:17.0.3.0.5-0.1.ea.fc37
1
gcc
12.0.1-0.14.fc37
12.0.1-0.16.fc37
2
glib2
2.72.0-1.fc37
2.72.1-1.fc37
2
java-17-openjdk-headless
1:17.0.3.0.1-0.1.ea.fc37
1:17.0.3.0.5-0.1.ea.fc37
2
libstdc++
12.0.1-0.14.fc37
12.0.1-0.16.fc37
2
pango
1.50.6-1.fc37
1.50.7-1.fc37
2
libstdc++-devel
12.0.1-0.14.fc37
12.0.1-0.16.fc37
2
libgcc
12.0.1-0.14.fc37
12.0.1-0.16.fc37
2
libarchive
3.6.0-1.fc37
3.6.1-1.fc37
2
java-17-openjdk
1:17.0.3.0.1-0.1.ea.fc37
1:17.0.3.0.5-0.1.ea.fc37
2
perl-Text-ParseWords
3.30-479.fc36
3.31-1.fc37
2
xz-libs
5.2.5-8.fc36
5.2.5-9.fc37
3
util-linux
2.38-2.fc37
2.38-3.fc37
3
libuuid
2.38-2.fc37
2.38-3.fc37
3
cpp
12.0.1-0.14.fc37
12.0.1-0.16.fc37
3
libgomp
12.0.1-0.14.fc37
12.0.1-0.16.fc37
3
annobin-plugin-gcc
10.62-1.fc37
10.65-1.fc37
3
libmount
2.38-2.fc37
2.38-3.fc37
3
crypto-policies-scripts
20220203-2.git112f859....
20220412-1.git97fe449....
4
elfutils-debuginfod-client
0.186-4.fc37
0.186-5.fc37
4
systemd-libs
250.4-2.fc37
251~rc1-3.fc37
4
crypto-policies
20220203-2.git112f859....
20220412-1.git97fe449....
4
elfutils-libelf
0.186-4.fc37
0.186-5.fc37
4
lua-posix
35.1-1.fc37
35.1-3.fc37
4
kernel-headers
5.18.0-0.rc1.git0.1....
5.18.0-0.rc3.git0.1....
4
libfdisk
2.38-2.fc37
2.38-3.fc37
4
libblkid
2.38-2.fc37
2.38-3.fc37
4
libsmartcols
2.38-2.fc37
2.38-3.fc37
4
annobin-docs
10.62-1.fc37
10.65-1.fc37
4
util-linux-core
2.38-2.fc37
2.38-3.fc37
4
elfutils
0.186-4.fc37
0.186-5.fc37
B
xz
5.2.5-8.fc36
5.2.5-9.fc37
B
elfutils-default-yama-scope
0.186-4.fc37
0.186-5.fc37
B
elfutils-libs
0.186-4.fc37
0.186-5.fc37
B
gzip
1.11-2.fc36
1.12-1.fc37
B
java-17-openjdk-devel
1:17.0.2.0.8-8.fc37
1:17.0.3.0.1-0.1.ea.fc37
1
make
1:4.3-7.fc36
1:4.3-8.fc37
1
gcc-c++
12.0.1-0.12.fc37
12.0.1-0.14.fc37
1
expat
2.4.7-1.fc37
2.4.8-1.fc37
2
libgcc
12.0.1-0.12.fc37
12.0.1-0.14.fc37
2
java-17-openjdk
1:17.0.2.0.8-8.fc37
1:17.0.3.0.1-0.1.ea.fc37
2
libstdc++-devel
12.0.1-0.12.fc37
12.0.1-0.14.fc37
2
glibc
2.35.9000-11.fc37
2.35.9000-12.fc37
2
libstdc++
12.0.1-0.12.fc37
12.0.1-0.14.fc37
2
gcc
12.0.1-0.12.fc37
12.0.1-0.14.fc37
2
libX11
1.7.4-1.fc37
1.7.5-1.fc37
2
vim-filesystem
2:8.2.4621-1.fc37
2:8.2.4701-2.fc37
2
java-17-openjdk-headless
1:17.0.2.0.8-8.fc37
1:17.0.3.0.1-0.1.ea.fc37
2
sqlite-libs
3.38.1-1.fc37
3.38.2-1.fc37
3
glibc-devel
2.35.9000-11.fc37
2.35.9000-12.fc37
3
mkfontscale
1.2.1-4.fc36
1.2.2-1.fc37
3
nss
3.75.0-1.fc36
3.77.0-1.fc37
3
libX11-common
1.7.4-1.fc37
1.7.5-1.fc37
3
openssl-libs
1:3.0.2-1.fc37
1:3.0.2-2.fc37
3
glibc-gconv-extra
2.35.9000-11.fc37
2.35.9000-12.fc37
3
glibc-minimal-langpack
2.35.9000-11.fc37
2.35.9000-12.fc37
3
binutils
2.38-6.fc37
2.38-8.fc37
3
krb5-libs
1.19.2-7.fc37
1.19.2-9.fc37
3
cpp
12.0.1-0.12.fc37
12.0.1-0.14.fc37
3
perl-Encode
4:3.16-484.fc36
4:3.17-485.fc37
3
libgomp
12.0.1-0.12.fc37
12.0.1-0.14.fc37
3
annobin-plugin-gcc
10.59-2.fc37
10.62-1.fc37
3
cups-libs
1:2.4.1-7.fc37
1:2.4.1-8.fc37
3
glibc-common
2.35.9000-11.fc37
2.35.9000-12.fc37
3
nss-softokn
3.75.0-1.fc36
3.77.0-1.fc37
4
nspr
4.32.0-5.fc36
4.32.0-6.fc37
4
annobin-docs
10.59-2.fc37
10.62-1.fc37
4
lua
5.4.4-1.fc36
5.4.4-2.fc37
4
elfutils-debuginfod-client
0.186-3.fc37
0.186-4.fc37
4
nss-util
3.75.0-1.fc36
3.77.0-1.fc37
4
nss-sysinit
3.75.0-1.fc36
3.77.0-1.fc37
4
glibc-headers-x86
2.35.9000-11.fc37
2.35.9000-12.fc37
4
binutils-gold
2.38-6.fc37
2.38-8.fc37
4
elfutils-libelf
0.186-3.fc37
0.186-4.fc37
4
kernel-headers
5.17.0-1.fc37
5.18.0-0.rc1.git0.1....
4
libgpg-error
1.44-1.fc36
1.45-1.fc37
B
lua-libs
5.4.4-1.fc36
5.4.4-2.fc37
B
elfutils-default-yama-scope
0.186-3.fc37
0.186-4.fc37
B
elfutils-libs
0.186-3.fc37
0.186-4.fc37
B
nss-softokn-freebl
3.75.0-1.fc36
3.77.0-1.fc37
B
libgcrypt
1.10.1-1.fc37
1.10.1-2.fc37
B
elfutils
0.186-3.fc37
0.186-4.fc37
B
python3-devel
3.10.3-1.fc37
3.10.4-1.fc37
1
java-17-openjdk-devel
1:17.0.2.0.8-7.fc37
1:17.0.2.0.8-8.fc37
1
vim-filesystem
2:8.2.4579-1.fc37
2:8.2.4621-1.fc37
2
harfbuzz
4.0.1-1.fc37
4.2.0-1.fc37
2
libX11
1.7.3.1-2.fc36
1.7.4-1.fc37
2
clang13-libs
13.0.1-1.fc37
2
python3-libs
3.10.3-1.fc37
3.10.4-1.fc37
2
xapian-core-libs
1.4.18-4.fc36
1.4.19-1.fc37
2
fontconfig
2.13.96-1.fc36
2.14.0-1.fc37
2
java-17-openjdk
1:17.0.2.0.8-7.fc37
1:17.0.2.0.8-8.fc37
2
java-17-openjdk-headless
1:17.0.2.0.8-7.fc37
1:17.0.2.0.8-8.fc37
2
libwebp
1.2.2-4.fc37
1.2.2-5.fc37
2
python3
3.10.3-1.fc37
3.10.4-1.fc37
2
clang13-resource-filesystem
13.0.1-1.fc37
3
fribidi
1.0.11-2.fc36
1.0.11-3.fc37
3
annobin-plugin-gcc
10.58-1.fc37
10.59-2.fc37
3
util-linux
2.38-0.4.fc37
2.38-2.fc37
3
giflib
5.2.1-11.fc37
5.2.1-12.fc37
3
libuuid
2.38-0.4.fc37
2.38-2.fc37
3
openjpeg2
2.4.0-7.fc37
2.4.0-8.fc37
3
cups-libs
1:2.4.1-6.fc37
1:2.4.1-7.fc37
3
libmount
2.38-0.4.fc37
2.38-2.fc37
3
libX11-common
1.7.3.1-2.fc36
1.7.4-1.fc37
3
llvm13-libs
13.0.1-1.fc37
3
audit-libs
3.0.7-3.fc37
3.0.8-1.fc37
4
lua-posix
35.0-5.fc36
35.1-1.fc37
4
elfutils-debuginfod-client
0.186-1.fc36
0.186-3.fc37
4
libsmartcols
2.38-0.4.fc37
2.38-2.fc37
4
gawk
5.1.1-2.fc36
5.1.1-3.fc37
4
annobin-docs
10.58-1.fc37
10.59-2.fc37
4
libfdisk
2.38-0.4.fc37
2.38-2.fc37
4
libcap-ng
0.8.2-9.fc36
0.8.3-1.fc37
4
elfutils-libelf
0.186-1.fc36
0.186-3.fc37
4
libblkid
2.38-0.4.fc37
2.38-2.fc37
4
util-linux-core
2.38-0.4.fc37
2.38-2.fc37
4
fedora-release-common
37-0.2
37-0.3
B
clang-resource-filesystem
13.0.1-1.fc37
libgcrypt
1.10.0-1.fc36
1.10.1-1.fc37
B
gdb-minimal
11.2-2.fc37
11.2-3.fc37
B
elfutils
0.186-1.fc36
0.186-3.fc37
B
fedora-release
37-0.2
37-0.3
B
elfutils-default-yama-scope
0.186-1.fc36
0.186-3.fc37
B
llvm-libs
13.0.1-1.fc37
fedora-release-identity-basic
37-0.2
37-0.3
B
elfutils-libs
0.186-1.fc36
0.186-3.fc37
B
clang-libs
13.0.1-1.fc37
Previous history