z3

Package information

State
ok

Scheduler parameters

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

No dependency changes

Most recent builds

doxygen
1:1.9.1-9.fc34
1:1.9.1-10.fc34
1
java-11-openjdk-devel
1:11.0.11.0.9-2.fc34
1:11.0.11.0.9-4.fc34
1
cmake
3.19.7-1.fc34
3.20.3-1.fc34
1
coreutils
8.32-26.fc34
8.32-27.fc34
2
cmake-data
3.19.7-1.fc34
3.20.3-1.fc34
2
vim-filesystem
2:8.2.2932-1.fc34
2:8.2.2956-1.fc34
2
libcurl
7.76.1-3.fc34
7.76.1-4.fc34
2
llvm-libs
12.0.0-0.1.rc1.fc34
12.0.0-2.fc34
2
cmake-filesystem
3.19.7-1.fc34
3.20.3-1.fc34
2
java-11-openjdk-headless
1:11.0.11.0.9-2.fc34
1:11.0.11.0.9-4.fc34
2
clang-libs
12.0.0-0.3.rc1.fc34
12.0.0-2.fc34
2
java-11-openjdk
1:11.0.11.0.9-2.fc34
1:11.0.11.0.9-4.fc34
2
glibc
2.33-14.fc34
2.33-16.fc34
2
cmake-rpm-macros
3.19.7-1.fc34
3.20.3-1.fc34
2
openjpeg2
2.4.0-2.fc34
2.4.0-3.fc34
3
openldap
2.4.57-3.fc34
2.4.57-4.fc34
3
glibc-devel
2.33-14.fc34
2.33-16.fc34
3
file
5.39-5.fc34
5.39-6.fc34
3
coreutils-common
8.32-26.fc34
8.32-27.fc34
3
clang-resource-filesystem
12.0.0-0.3.rc1.fc34
12.0.0-2.fc34
3
annobin
9.71-1.fc34
9.72-2.fc34
3
netpbm
10.93.00-1.fc34
10.94.05-1.fc34
3
libavif
0.9.0-1.fc34
0.9.0-2.fc34
3
alsa-lib
1.2.4-5.fc34
1.2.5-2.fc34
3
glibc-common
2.33-14.fc34
2.33-16.fc34
3
nss
3.65.0-1.fc34
3
glibc-minimal-langpack
2.33-14.fc34
2.33-16.fc34
3
nss-util
3.65.0-1.fc34
4
nss-softokn
3.65.0-1.fc34
4
curl
7.76.1-3.fc34
7.76.1-4.fc34
4
file-libs
5.39-5.fc34
5.39-6.fc34
4
nspr
4.30.0-2.fc34
4
kernel-headers
5.12.5-300.fc34
5.12.9-300.fc34
4
nss-sysinit
3.65.0-1.fc34
4
crypto-policies-scripts
20210213-1.git5c710c0....
4
glibc-headers-x86
2.33-14.fc34
2.33-16.fc34
4
libaom
2.0.1-4.fc34
3.1.1-1.fc34
4
jpegxl-libs
0.3.7-2.fc34
B
pugixml
1.11.4-2.fc34
libvmaf
1.5.3-2.fc34
2.1.1-1.fc34
B
nss-softokn-freebl
3.65.0-1.fc34
B
Real build: z3-4.8.11-1.fc34
Dependencies for this build couldn't be processed
gcc-c++
11.1.1-1.fc34
11.1.1-3.fc34
1
graphviz
2.44.0-17.fc34
2.44.0-18.fc34
1
gcc
11.1.1-1.fc34
11.1.1-3.fc34
2
vim-filesystem
2:8.2.2875-1.fc34
2:8.2.2932-1.fc34
2
librsvg2
2.50.5-1.fc34
2.50.6-1.fc34
2
libstdc++-devel
11.1.1-1.fc34
11.1.1-3.fc34
2
libgcc
11.1.1-1.fc34
11.1.1-3.fc34
2
libcurl
7.76.1-2.fc34
7.76.1-3.fc34
2
perl-interpreter
4:5.32.1-474.fc34
4:5.32.1-475.fc34
2
mpfr
4.1.0-6.fc34
4.1.0-7.fc34
2
libstdc++
11.1.1-1.fc34
11.1.1-3.fc34
2
pango
1.48.4-1.fc34
1.48.5-1.fc34
2
perl-libs
4:5.32.1-474.fc34
4:5.32.1-475.fc34
2
glibc
2.33-8.fc34
2.33-14.fc34
2
perl-POSIX
1.94-474.fc34
1.94-475.fc34
2
perl-overload
1.31-474.fc34
1.31-475.fc34
3
glibc-common
2.33-8.fc34
2.33-14.fc34
3
cpp
11.1.1-1.fc34
11.1.1-3.fc34
3
perl-Fcntl
1.13-474.fc34
1.13-475.fc34
3
libgomp
11.1.1-1.fc34
11.1.1-3.fc34
3
libxml2
2.9.10-12.fc34
2.9.12-4.fc34
3
glibc-minimal-langpack
2.33-8.fc34
2.33-14.fc34
3
perl-vars
1.05-474.fc34
1.05-475.fc34
3
python-pip-wheel
21.0.1-2.fc34
21.0.1-3.fc34
3
glibc-devel
2.33-8.fc34
2.33-14.fc34
3
libedit
3.1-36.20210419cv...
3.1-37.20210522cv...
3
perl-Getopt-Std
1.12-474.fc34
1.12-475.fc34
4
gnutls
3.7.1-2.fc34
3.7.2-1.fc34
4
perl-Errno
1.30-474.fc34
1.30-475.fc34
4
curl
7.76.1-2.fc34
7.76.1-3.fc34
4
elfutils-debuginfod-client
0.183-1.fc34
0.185-2.fc34
4
libdav1d
0.8.2-1.fc34
0.9.0-1.fc34
4
perl-overloading
0.02-474.fc34
0.02-475.fc34
4
elfutils-libelf
0.183-1.fc34
0.185-2.fc34
4
glibc-headers-x86
2.33-8.fc34
2.33-14.fc34
4
perl-File-Basename
2.85-474.fc34
2.85-475.fc34
4
perl-mro
1.23-474.fc34
1.23-475.fc34
4
perl-if
0.60.800-474.fc34
0.60.800-475.fc34
B
perl-IPC-Open3
1.21-474.fc34
1.21-475.fc34
B
perl-Class-Struct
0.66-474.fc34
0.66-475.fc34
B
elfutils-default-yama-scope
0.183-1.fc34
0.185-2.fc34
B
perl-SelectSaver
1.02-474.fc34
1.02-475.fc34
B
perl-subs
1.03-474.fc34
1.03-475.fc34
B
perl-IO
1.43-474.fc34
1.43-475.fc34
B
perl-File-stat
1.09-474.fc34
1.09-475.fc34
B
elfutils-libs
0.183-1.fc34
0.185-2.fc34
B
elfutils
0.183-1.fc34
0.185-2.fc34
B
perl-Symbol
1.08-474.fc34
1.08-475.fc34
B
gdb-minimal
10.1-14.fc34
10.2-1.fc34
B
python3-devel
3.9.5-1.fc34
3.9.5-2.fc34
1
libzstd
1.4.9-1.fc34
1.5.0-1.fc34
2
python3
3.9.5-1.fc34
3.9.5-2.fc34
2
vim-filesystem
2:8.2.2846-1.fc34
2:8.2.2875-1.fc34
2
coreutils
8.32-24.fc34
8.32-26.fc34
2
python3-libs
3.9.5-1.fc34
3.9.5-2.fc34
2
libtirpc
1.3.1-1.rc2.fc34
1.3.2-0.fc34
3
krb5-libs
1.19.1-3.fc34
1.19.1-8.fc34
3
libidn2
2.3.0-5.fc34
2.3.1-1.fc34
3
coreutils-common
8.32-24.fc34
8.32-26.fc34
3
cups-libs
1:2.3.3op2-5.fc34
1:2.3.3op2-7.fc34
3
annobin
9.65-2.fc34
9.71-1.fc34
3
kernel-headers
5.11.19-300.fc34
5.12.5-300.fc34
4
systemd-libs
248.2-1.fc34
248.3-1.fc34
4
zstd
1.4.9-1.fc34
1.5.0-1.fc34
B
python3-devel
3.9.4-1.fc34
3.9.5-1.fc34
1
java-11-openjdk-devel
1:11.0.11.0.9-0.fc34
1:11.0.11.0.9-2.fc34
1
python3
3.9.4-1.fc34
3.9.5-1.fc34
2
vim-filesystem
2:8.2.2825-1.fc34
2:8.2.2846-1.fc34
2
glib2
2.68.1-1.fc34
2.68.2-1.fc34
2
java-11-openjdk-headless
1:11.0.11.0.9-0.fc34
1:11.0.11.0.9-2.fc34
2
java-11-openjdk
1:11.0.11.0.9-0.fc34
1:11.0.11.0.9-2.fc34
2
python3-libs
3.9.4-1.fc34
3.9.5-1.fc34
2
libxml2
2.9.10-10.fc34
2.9.10-12.fc34
3
kernel-headers
5.11.16-300.fc34
5.11.19-300.fc34
4
systemd-libs
248-2.fc34
248.2-1.fc34
4
libcurl
7.76.1-1.fc34
7.76.1-2.fc34
2
vim-filesystem
2:8.2.2811-1.fc34
2:8.2.2825-1.fc34
2
glibc
2.33-5.fc34
2.33-8.fc34
2
which
2.21-24.fc34
2.21-26.fc34
2
librsvg2
2.50.4-1.fc34
2.50.5-1.fc34
2
coreutils
8.32-23.fc34
8.32-24.fc34
2
emacs-filesystem
1:27.2-1.fc34
1:27.2-2.fc34
2
glibc-devel
2.33-5.fc34
2.33-8.fc34
3
copy-jdk-configs
3.7-8.fc34
4.0-0.fc34
3
glibc-common
2.33-5.fc34
2.33-8.fc34
3
coreutils-common
8.32-23.fc34
8.32-24.fc34
3
glibc-minimal-langpack
2.33-5.fc34
2.33-8.fc34
3
go-srpm-macros
3.0.9-3.fc34
3.0.10-1.fc34
3
cups-libs
1:2.3.3op2-4.fc34
1:2.3.3op2-5.fc34
3
libxcrypt
4.4.19-1.fc34
4.4.20-2.fc34
3
libxcrypt-devel
4.4.19-1.fc34
4.4.20-2.fc34
4
curl
7.76.1-1.fc34
7.76.1-2.fc34
4
glibc-headers-x86
2.33-5.fc34
2.33-8.fc34
4
libgcrypt
1.9.3-1.fc34
1.9.3-2.fc34
B
gcc-c++
11.0.1-0.3.fc34
11.1.1-1.fc34
1
java-11-openjdk-devel
1:11.0.10.0.9-0.fc34
1:11.0.11.0.9-0.fc34
1
gdk-pixbuf2
2.42.4-2.fc34
2.42.6-1.fc34
2
gcc
11.0.1-0.3.fc34
11.1.1-1.fc34
2
coreutils
8.32-21.fc34
8.32-23.fc34
2
xorg-x11-fonts-ISO8859-1-100dpi
7.5-30.fc34
7.5-31.fc34
2
vim-filesystem
2:8.2.2787-1.fc34
2:8.2.2811-1.fc34
2
libgcc
11.0.1-0.3.fc34
11.1.1-1.fc34
2
java-11-openjdk-headless
1:11.0.10.0.9-0.fc34
1:11.0.11.0.9-0.fc34
2
java-11-openjdk
1:11.0.10.0.9-0.fc34
1:11.0.11.0.9-0.fc34
2
libstdc++-devel
11.0.1-0.3.fc34
11.1.1-1.fc34
2
mpfr
4.1.0-5.fc34
4.1.0-6.fc34
2
libstdc++
11.0.1-0.3.fc34
11.1.1-1.fc34
2
libedit
3.1-35.20210216cv...
3.1-36.20210419cv...
3
openldap
2.4.57-2.fc34
2.4.57-3.fc34
3
xorg-x11-fonts-Type1
7.5-30.fc34
7.5-31.fc34
3
cpp
11.0.1-0.3.fc34
11.1.1-1.fc34
3
coreutils-common
8.32-21.fc34
8.32-23.fc34
3
gdk-pixbuf2-modules
2.42.4-2.fc34
2.42.6-1.fc34
3
libgomp
11.0.1-0.3.fc34
11.1.1-1.fc34
3
lua
5.4.2-2.fc34
5.4.3-1.fc34
4
kernel-headers
5.11.14-300.fc34
5.11.16-300.fc34
4
fedora-gpg-keys
34-1
34-2
B
libgcrypt
1.9.2-2.fc34
1.9.3-1.fc34
B
lua-libs
5.4.2-2.fc34
5.4.3-1.fc34
B
fedora-repos
34-1
34-2
B
help2man
1.48.2-1.fc34
1.48.3-1.fc34
1
python3-devel
3.9.2-1.fc34
3.9.4-1.fc34
1
librsvg2
2.50.3-1.fc34
2.50.4-1.fc34
2
libcurl
7.76.0-1.fc34
7.76.1-1.fc34
2
python3-libs
3.9.2-1.fc34
3.9.4-1.fc34
2
python-rpm-macros
3.9-35.fc34
3.9-36.fc34
2
python3-rpm-macros
3.9-35.fc34
3.9-36.fc34
2
glib2
2.68.0-2.fc34
2.68.1-1.fc34
2
vim-filesystem
2:8.2.2637-1.fc34
2:8.2.2787-1.fc34
2
python3
3.9.2-1.fc34
3.9.4-1.fc34
2
libxcrypt
4.4.18-1.fc34
4.4.19-1.fc34
3
libtirpc
1.3.1-1.fc34
1.3.1-1.rc2.fc34
3
mkfontscale
1.2.1-1.fc34
1.2.1-2.fc34
3
cups-libs
1:2.3.3op2-3.fc34
1:2.3.3op2-4.fc34
3
python-srpm-macros
3.9-35.fc34
3.9-36.fc34
3
gtk-update-icon-cache
3.24.28-2.fc34
3.24.29-1.fc34
3
libxcrypt-devel
4.4.18-1.fc34
4.4.19-1.fc34
4
pam
1.5.1-3.fc34
1.5.1-5.fc34
4
rav1e-libs
0.4.0-1.fc34
0.4.1-1.fc34
4
kernel-headers
5.11.11-300.fc34
5.11.14-300.fc34
4
curl
7.76.0-1.fc34
7.76.1-1.fc34
4
systemd-libs
248-1.fc34
248-2.fc34
4
gdb-minimal
10.1-13.fc34
10.1-14.fc34
B
shadow-utils
2:4.8.1-7.fc34
2:4.8.1-8.fc34
B
fedora-release
34-0.14
34-1
B
fedora-release-common
34-0.14
34-1
B
fedora-repos
34-0.13
34-1
B
fedora-gpg-keys
34-0.13
34-1
B
fedora-release-identity-basic
34-0.14
34-1
B
Previous history