z3

Package information

State
ok

Scheduler parameters

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

java-11-openjdk-devel
1:11.0.11.0.9-2.fc33
1:11.0.11.0.9-4.fc33
1
java-11-openjdk-headless
1:11.0.11.0.9-2.fc33
1:11.0.11.0.9-4.fc33
2
java-11-openjdk
1:11.0.11.0.9-2.fc33
1:11.0.11.0.9-4.fc33
2
libedit
3.1-33.20191231cv...
3.1-37.20210522cv...
3
copy-jdk-configs
4.0-0.fc33
4.0-1.fc33
3
netpbm
10.93.00-1.fc33
10.94.05-1.fc33
3
openjpeg2
2.3.1-10.fc33
2.3.1-11.fc33
3
nss
3.65.0-1.fc33
3
libxml2
2.9.10-8.fc33
2.9.12-4.fc33
3
elfutils-libelf
0.183-1.fc33
0.185-2.fc33
4
nspr
4.31.0-1.fc33
4
nss-softokn
3.65.0-1.fc33
4
nss-sysinit
3.65.0-1.fc33
4
nss-util
3.65.0-1.fc33
4
crypto-policies-scripts
20200918-1.git85dccc5....
4
elfutils-debuginfod-client
0.183-1.fc33
0.185-2.fc33
4
elfutils-libs
0.183-1.fc33
0.185-2.fc33
B
nss-softokn-freebl
3.65.0-1.fc33
B
elfutils
0.183-1.fc33
0.185-2.fc33
B
elfutils-default-yama-scope
0.183-1.fc33
0.185-2.fc33
B
graphviz
2.44.0-14.fc33.1
2.44.0-14.fc33.2
1
mpfr
4.1.0-6.fc33
4.1.0-7.fc33
2
vim-filesystem
2:8.2.2846-1.fc33
2:8.2.2875-1.fc33
2
libidn2
2.3.0-4.fc33
2.3.1-1.fc33
3
libtirpc
1.2.6-3.rc4.fc33
1.2.6-4.rc4.fc33
3
python-pip-wheel
20.2.2-1.fc33
20.2.2-2.fc33
3
systemd-libs
246.13-1.fc33
246.14-1.fc33
4
kernel-headers
5.11.20-200.fc33
5.12.9-200.fc33
4
gnutls
3.6.15-1.fc33
3.6.16-1.fc33
4
python3-devel
3.9.5-1.fc33
3.9.5-2.fc33
1
libzstd
1.4.9-1.fc33
1.5.0-1.fc33
2
python3
3.9.5-1.fc33
3.9.5-2.fc33
2
python3-libs
3.9.5-1.fc33
3.9.5-2.fc33
2
libuv
1:1.40.0-1.fc33
1:1.41.0-1.fc33
2
clang-libs
11.0.0-2.fc33
11.0.0-3.fc33
2
glibc
2.32-4.fc33
2.32-6.fc33
2
glibc-common
2.32-4.fc33
2.32-6.fc33
3
glibc-devel
2.32-4.fc33
2.32-6.fc33
3
cups-libs
1:2.3.3op2-5.fc33
1:2.3.3op2-7.fc33
3
glibc-minimal-langpack
2.32-4.fc33
2.32-6.fc33
3
glibc-headers-x86
2.32-4.fc33
2.32-6.fc33
4
zstd
1.4.9-1.fc33
1.5.0-1.fc33
B
python3-devel
3.9.4-1.fc33
3.9.5-1.fc33
1
java-11-openjdk-devel
1:11.0.11.0.9-0.fc33
1:11.0.11.0.9-2.fc33
1
java-11-openjdk-headless
1:11.0.11.0.9-0.fc33
1:11.0.11.0.9-2.fc33
2
python3-libs
3.9.4-1.fc33
3.9.5-1.fc33
2
python3
3.9.4-1.fc33
3.9.5-1.fc33
2
vim-filesystem
2:8.2.2825-1.fc33
2:8.2.2846-1.fc33
2
java-11-openjdk
1:11.0.11.0.9-0.fc33
1:11.0.11.0.9-2.fc33
2
kernel-headers
5.11.19-200.fc33
5.11.20-200.fc33
4
emacs-filesystem
1:27.2-1.fc33
1:27.2-2.fc33
2
vim-filesystem
2:8.2.2787-1.fc33
2:8.2.2825-1.fc33
2
mpfr
4.1.0-5.fc33
4.1.0-6.fc33
2
go-srpm-macros
3.0.9-1.fc33
3.0.10-1.fc33
3
copy-jdk-configs
3.7-7.fc33
4.0-0.fc33
3
libxcrypt
4.4.19-1.fc33
4.4.20-2.fc33
3
cups-libs
1:2.3.3op2-4.fc33
1:2.3.3op2-5.fc33
3
kernel-headers
5.11.16-200.fc33
5.11.19-200.fc33
4
libxcrypt-devel
4.4.19-1.fc33
4.4.20-2.fc33
4
shadow-utils
2:4.8.1-5.fc33
2:4.8.1-6.fc33
B
fedora-repos
33-4
33-5
B
fedora-gpg-keys
33-4
33-5
B
gcc-c++
10.2.1-9.fc33
10.3.1-1.fc33
1
java-11-openjdk-devel
1:11.0.10.0.9-0.fc33
1:11.0.11.0.9-0.fc33
1
libstdc++
10.2.1-9.fc33
10.3.1-1.fc33
2
java-11-openjdk-headless
1:11.0.10.0.9-0.fc33
1:11.0.11.0.9-0.fc33
2
libgcc
10.2.1-9.fc33
10.3.1-1.fc33
2
gcc
10.2.1-9.fc33
10.3.1-1.fc33
2
libstdc++-devel
10.2.1-9.fc33
10.3.1-1.fc33
2
gdk-pixbuf2
2.42.4-1.fc33
2.42.6-1.fc33
2
java-11-openjdk
1:11.0.10.0.9-0.fc33
1:11.0.11.0.9-0.fc33
2
cpp
10.2.1-9.fc33
10.3.1-1.fc33
3
gdk-pixbuf2-modules
2.42.4-1.fc33
2.42.6-1.fc33
3
gtk-update-icon-cache
3.24.28-2.fc33
3.24.29-1.fc33
3
libgomp
10.2.1-9.fc33
10.3.1-1.fc33
3
annobin
9.49-1.fc33
9.68-2.fc33
3
kernel-headers
5.11.14-200.fc33
5.11.16-200.fc33
4
python3-devel
3.9.2-1.fc33
3.9.4-1.fc33
1
python3-libs
3.9.2-1.fc33
3.9.4-1.fc33
2
vim-filesystem
2:8.2.2735-1.fc33
2:8.2.2787-1.fc33
2
python3
3.9.2-1.fc33
3.9.4-1.fc33
2
libtiff
4.1.0-6.fc33
4.1.0-8.fc33
3
libtirpc
1.2.6-2.rc4.fc33
1.2.6-3.rc4.fc33
3
fedora-release-identity-basic
33-3
33-4
B
fedora-release-common
33-3
33-4
B
fedora-release
33-3
33-4
B
help2man
1.48.2-1.fc33
1.48.3-1.fc33
1
vim-filesystem
2:8.2.2637-1.fc33
2:8.2.2735-1.fc33
2
python-rpm-macros
3.9-14.fc33
3.9-15.fc33
2
python3-rpm-macros
3.9-14.fc33
3.9-15.fc33
2
libxcrypt
4.4.18-1.fc33
4.4.19-1.fc33
3
cups-libs
1:2.3.3op2-3.fc33
1:2.3.3op2-4.fc33
3
python-srpm-macros
3.9-14.fc33
3.9-15.fc33
3
kernel-headers
5.11.11-200.fc33
5.11.14-200.fc33
4
libxcrypt-devel
4.4.18-1.fc33
4.4.19-1.fc33
4
Previous history