z3

Package information

State
ok

Scheduler parameters

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

make
1:4.4.1-8.fc41
1:4.4.1-9.fc42
1
python3-devel
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
1
graphviz
12.1.1-1.fc42
12.1.2-1.fc42
1
pyproject-rpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
2
python3
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
python3-libs
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
graphviz-libs
12.1.1-1.fc42
12.1.2-1.fc42
2
librsvg2
2.57.1-9.fc42
2.59.1-1.fc42
2
xz-libs
1:5.6.2-2.fc41
1:5.6.3-1.fc42
3
pyproject-srpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
3
rsvg-pixbuf-loader
2.57.1-9.fc42
2.59.1-1.fc42
3
libxcb
1.17.0-2.fc41
1.17.0-3.fc42
3
rav1e-libs
0.7.1-3.fc41
0.7.1-4.fc42
4
crypto-policies
20240828-1.git5f66e81....
20240927-1.git93b7251....
4
xz
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc42
B

Most recent builds

Real build: z3-4.13.2-1.fc42
gcc-c++
14.2.1-3.fc42
14.2.1-4.fc42
1
libcurl
8.10.1-1.fc42
8.10.1-2.fc42
2
libarchive
3.7.4-3.fc42
3.7.6-1.fc42
2
pyproject-rpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
2
harfbuzz
9.0.0-3.fc42
10.0.1-1.fc42
2
libstdc++
14.2.1-3.fc42
14.2.1-4.fc42
2
libstdc++-devel
14.2.1-3.fc42
14.2.1-4.fc42
2
libgcc
14.2.1-3.fc42
14.2.1-4.fc42
2
glib2
2.82.1-1.fc42
2.82.1-2.fc42
2
librsvg2
2.57.1-8.fc41
2.57.1-9.fc42
2
gcc
14.2.1-3.fc42
14.2.1-4.fc42
2
libuv
1:1.48.0-2.fc41
1:1.49.0-1.fc42
2
cpp
14.2.1-3.fc42
14.2.1-4.fc42
3
coreutils
9.5-9.fc42
9.5-10.fc42
3
libgomp
14.2.1-3.fc42
14.2.1-4.fc42
3
cups-libs
1:2.4.10-6.fc42
1:2.4.10-7.fc42
3
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
3
rsvg-pixbuf-loader
2.57.1-8.fc41
2.57.1-9.fc42
3
fribidi
1.0.15-2.fc41
1.0.16-1.fc42
3
coreutils-common
9.5-9.fc42
9.5-10.fc42
4
redhat-rpm-config
295-1.fc42
296-1.fc42
4
curl
8.10.1-1.fc42
8.10.1-2.fc42
4
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-2.fc42
4
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc42
B
gcc-plugin-annobin
14.2.1-3.fc42
14.2.1-4.fc42
B
perl-Mozilla-CA
20240730-1.fc41
20240924-1.fc42
B
graphviz
12.0.0-3.fc41
12.1.1-1.fc42
1
python3-devel
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
1
glib2
2.82.0-1.fc42
2.82.1-1.fc42
2
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
python3
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
libarchive
3.7.4-3.fc41
3.7.4-3.fc42
2
vim-filesystem
2:9.1.719-1.fc42
2:9.1.737-1.fc42
2
libcurl
8.10.0-1.fc42
8.10.1-1.fc42
2
graphviz-libs
12.0.0-3.fc41
12.1.1-1.fc42
2
python-pip-wheel
24.2-1.fc41
24.2-2.fc42
3
filesystem
3.18-23.fc41
3.18-29.fc42
3
libjpeg-turbo
3.0.2-3.fc41
3.0.4-1.fc42
3
libpng
2:1.6.40-4.fc41
2:1.6.44-1.fc42
3
perl-Scalar-List-Utils
5:1.65-1.fc41
5:1.66-1.fc42
4
curl
8.10.0-1.fc42
8.10.1-1.fc42
4
kernel-headers
6.11.0-0.rc7.56.fc42
6.11.0-63.fc42
4
shadow-utils
2:4.16.0-3.fc42
2:4.16.0-4.fc42
4
fedora-repos-rawhide
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
B
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
B
fedora-repos
42-0.1
42-0.2
B
gcc-c++
14.2.1-2.fc42
14.2.1-3.fc42
1
libgcc
14.2.1-2.fc42
14.2.1-3.fc42
2
gcc
14.2.1-2.fc42
14.2.1-3.fc42
2
libstdc++
14.2.1-2.fc42
14.2.1-3.fc42
2
libstdc++-devel
14.2.1-2.fc42
14.2.1-3.fc42
2
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
3
gnutls
3.8.7-2.fc42
3.8.7-4.fc42
3
libgomp
14.2.1-2.fc42
14.2.1-3.fc42
3
cpp
14.2.1-2.fc42
14.2.1-3.fc42
3
rpm
4.19.93-1.fc42
4.19.94-1.fc42
3
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
3
curl
8.9.1-3.fc42
8.10.0-1.fc42
4
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
shadow-utils
2:4.16.0-2.fc42
2:4.16.0-3.fc42
4
rpm-build-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
libsemanage
3.7-2.fc41
3.7-3.fc42
B
gcc-plugin-annobin
14.2.1-2.fc42
14.2.1-3.fc42
B
gcc-c++
14.2.1-1.fc42
14.2.1-2.fc42
1
python3-devel
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
1
gcc
14.2.1-1.fc42
14.2.1-2.fc42
2
python3-libs
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
libgcc
14.2.1-1.fc42
14.2.1-2.fc42
2
libstdc++-devel
14.2.1-1.fc42
14.2.1-2.fc42
2
libstdc++
14.2.1-1.fc42
14.2.1-2.fc42
2
python3
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
cpp
14.2.1-1.fc42
14.2.1-2.fc42
3
libgomp
14.2.1-1.fc42
14.2.1-2.fc42
3
libselinux
3.7-5.fc41
3.7-6.fc42
3
redhat-rpm-config
294-1.fc42
295-1.fc42
4
gdb-minimal
15.1-1.fc41
15.1-2.fc42
4
kernel-headers
6.11.0-0.rc6.49.fc42
6.11.0-0.rc7.56.fc42
4
shadow-utils
2:4.15.1-9.fc41
2:4.16.0-2.fc42
4
libsepol
3.7-2.fc41
3.7-3.fc42
4
gcc-plugin-annobin
14.2.1-1.fc42
14.2.1-2.fc42
B
info
7.1-3.fc41
7.1.1-1.fc42
B
glibc
2.40-3.fc41
2.40.9000-1.fc42
2
expat
2.6.2-2.fc41
2.6.3-1.fc42
2
bash
5.2.32-1.fc41
5.2.32-2.fc42
2
vim-filesystem
2:9.1.703-1.fc42
2:9.1.719-1.fc42
2
openjpeg
2.5.2-3.fc41
2.5.2-4.fc42
3
glibc-common
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-devel
2.40-3.fc41
2.40.9000-1.fc42
3
libmount
2.40.2-6.fc42
2.40.2-8.fc42
3
readline
8.2-10.fc41
8.2-11.fc42
3
rpm-build
4.19.92-6.fc41
4.19.93-1.fc42
3
rpm
4.19.92-6.fc41
4.19.93-1.fc42
3
glibc-minimal-langpack
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-gconv-extra
2.40-3.fc41
2.40.9000-1.fc42
3
libuuid
2.40.2-6.fc42
2.40.2-8.fc42
3
nss
3.103.0-1.fc41
3.104.0-1.fc42
4
glibc-headers-x86
2.40-3.fc41
2.40.9000-1.fc42
4
rpm-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
rpm-build-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
nspr
4.35.0-28.fc41
4.35.0-29.fc42
4
kernel-headers
6.11.0-0.rc5.43.fc42
6.11.0-0.rc6.49.fc42
4
google-noto-sans-vf-fonts
20240701-2.fc41
20240901-1.fc42
4
libblkid
2.40.2-6.fc42
2.40.2-8.fc42
4
pam
1.6.1-5.fc41
1.6.1-6.fc42
B
nss-softokn-freebl
3.103.0-1.fc41
3.104.0-1.fc42
B
nss-util
3.103.0-1.fc41
3.104.0-1.fc42
B
util-linux-core
2.40.2-6.fc42
2.40.2-8.fc42
B
libutempter
1.2.1-15.fc41
perl-URI
5.28-2.fc41
5.29-1.fc42
B
nss-sysinit
3.103.0-1.fc41
3.104.0-1.fc42
B
nss-softokn
3.103.0-1.fc41
3.104.0-1.fc42
B
perl-MIME-Base32
1.303-21.fc41
B
google-noto-fonts-common
20240701-2.fc41
20240901-1.fc42
B
libsmartcols
2.40.2-6.fc42
2.40.2-8.fc42
B
qt5-srpm-macros
5.15.14-3.fc41
5.15.15-1.fc42
B
util-linux
2.40.2-6.fc42
2.40.2-8.fc42
B
pam-libs
1.6.1-5.fc41
1.6.1-6.fc42
B
libfdisk
2.40.2-6.fc42
2.40.2-8.fc42
B
python3-devel
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
1
python3-libs
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
vim-filesystem
2:9.1.660-2.fc41
2:9.1.703-1.fc42
2
python3
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
glib2
2.81.2-2.fc42
2.82.0-1.fc42
2
libX11
1.8.10-1.fc41
1.8.10-2.fc42
2
libcurl
8.9.1-2.fc41
8.9.1-3.fc42
2
libX11-common
1.8.10-1.fc41
1.8.10-2.fc42
3
libnghttp2
1.62.1-2.fc41
1.63.0-1.fc42
3
coreutils
9.5-8.fc42
9.5-9.fc42
3
libssh
0.10.6-8.fc41
0.11.1-1.fc42
3
kernel-headers
6.11.0-0.rc4.37.fc42
6.11.0-0.rc5.43.fc42
4
curl
8.9.1-2.fc41
8.9.1-3.fc42
4
crypto-policies
20240822-1.git64c9381....
20240828-1.git5f66e81....
4
libssh-config
0.10.6-8.fc41
0.11.1-1.fc42
4
coreutils-common
9.5-8.fc42
9.5-9.fc42
4
perl-IO-Socket-SSL
2.088-2.fc41
2.089-1.fc42
B
gcc-c++
14.1.1-7.fc41
14.2.1-1.fc42
1
libstdc++
14.1.1-7.fc41
14.2.1-1.fc42
2
poppler-glib
24.02.0-4.fc41
24.08.0-1.fc42
2
libstdc++-devel
14.1.1-7.fc41
14.2.1-1.fc42
2
harfbuzz
9.0.0-2.fc41
9.0.0-3.fc42
2
libgcc
14.1.1-7.fc41
14.2.1-1.fc42
2
gcc
14.1.1-7.fc41
14.2.1-1.fc42
2
glib2
2.81.2-1.fc42
2.81.2-2.fc42
2
coreutils
9.5-7.fc41
9.5-8.fc42
3
libmount
2.40.2-4.fc41
2.40.2-6.fc42
3
binutils
2.42.90-1.fc41
2.43.1-1.fc42
3
libuuid
2.40.2-4.fc41
2.40.2-6.fc42
3
cpp
14.1.1-7.fc41
14.2.1-1.fc42
3
poppler
24.02.0-4.fc41
24.08.0-1.fc42
3
libffi
3.4.6-2.fc41
3.4.6-3.fc42
3
libgomp
14.1.1-7.fc41
14.2.1-1.fc42
3
crypto-policies
20240807-1.git5795660....
20240822-1.git64c9381....
4
avahi-libs
0.8-29.fc41
0.8-30.fc42
4
systemd-libs
256.4-1.fc41
256.5-1.fc42
4
kernel-headers
6.11.0-0.rc3.30.fc41
6.11.0-0.rc4.37.fc42
4
coreutils-common
9.5-7.fc41
9.5-8.fc42
4
libblkid
2.40.2-4.fc41
2.40.2-6.fc42
4
libsmartcols
2.40.2-4.fc41
2.40.2-6.fc42
B
fedora-release-identity-basic
42-0.1
42-0.3
B
fedora-release-common
42-0.1
42-0.3
B
libfdisk
2.40.2-4.fc41
2.40.2-6.fc42
B
gcc-plugin-annobin
14.1.1-7.fc41
14.2.1-1.fc42
B
util-linux
2.40.2-4.fc41
2.40.2-6.fc42
B
rust-srpm-macros
26.3-1.fc41
26.3-3.fc42
B
util-linux-core
2.40.2-4.fc41
2.40.2-6.fc42
B
fedora-release
42-0.1
42-0.3
B
xapian-core-libs
1.4.23-3.fc41
1.4.26-1.fc42
2
pkgconf-pkg-config
2.1.1-2.fc41
2.3.0-1.fc42
2
vim-filesystem
2:9.1.660-1.fc41
2:9.1.660-2.fc41
2
bash
5.2.26-4.fc41
5.2.32-1.fc41
2
glib2
2.81.1-1.fc41
2.81.2-1.fc42
2
readline
8.2-9.fc41
8.2-10.fc41
3
pkgconf-m4
2.1.1-2.fc41
2.3.0-1.fc42
3
pkgconf
2.1.1-2.fc41
2.3.0-1.fc42
3
libimagequant
4.0.3-4.fc41
4.0.3-5.fc41
3
gnutls
3.8.6-7.fc41
3.8.7-2.fc42
3
libtiff
4.6.0-5.fc41
4.6.0-6.fc42
3
default-fonts-core-sans
4.1-2.fc41
4.1-3.fc42
3
cups-libs
1:2.4.10-3.fc41
1:2.4.10-6.fc42
3
libpkgconf
2.1.1-2.fc41
2.3.0-1.fc42
4
perl-parent
1:0.241-511.fc41
1:0.242-1.fc42
4
redhat-rpm-config
293-1.fc41
294-1.fc42
4
kernel-headers
6.11.0-0.rc2.23.fc41
6.11.0-0.rc3.30.fc41
4
perl-Scalar-List-Utils
5:1.63-511.fc41
5:1.65-1.fc41
4
fedora-release-identity-basic
41-0.20
42-0.1
B
annobin-plugin-gcc
12.67-1.fc41
12.70-1.fc42
B
annobin-docs
12.67-1.fc41
12.70-1.fc42
B
fedora-release-common
41-0.20
42-0.1
B
fedora-gpg-keys
41-0.2
42-0.1
B
fedora-release
41-0.20
42-0.1
B
fedora-repos
41-0.2
42-0.1
B
fedora-repos-rawhide
41-0.2
42-0.1
B
Previous history