cvc4

Package information

State
ok

Scheduler parameters

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

ghostscript
9.52-4.fc32
9.52-3.fc32
1
libgs
9.52-4.fc32
9.52-3.fc32
2
stringtemplate4
4.3-2.fc32
4.3.1-1.fc32
2
libssh
0.9.4-2.fc32
0.9.4-3.fc32
3
alsa-lib
1.2.3.1-1.fc32
1.2.3.2-1.fc32
3
crypto-policies
20200610-1.git7f9d474....
20200619-1.git781bbd4....
4
libssh-config
0.9.4-2.fc32
0.9.4-3.fc32
4
jbig2dec-devel
0.18-1.fc32
xxhash-libs
0.7.3-1.fc32
0.7.4-1.fc32
B
kernel-headers
5.6.18-300.fc32
5.7.7-200.fc32
B
ghostscript
9.52-3.fc32
9.52-4.fc32
1
python3-devel
3.8.3-1.fc32
3.8.3-2.fc32
1
jbig2dec-devel
0.18-1.fc32
2
libcurl
7.69.1-3.fc32
7.69.1-4.fc32
2
python3
3.8.3-1.fc32
3.8.3-2.fc32
2
python-rpm-macros
3-57.fc32
3-58.fc32
2
python3-libs
3.8.3-1.fc32
3.8.3-2.fc32
2
libgs
9.52-3.fc32
9.52-4.fc32
2
python3-rpm-macros
3-57.fc32
3-58.fc32
2
python-srpm-macros
3-57.fc32
3-58.fc32
3
sqlite-libs
3.32.2-1.fc32
3.32.3-1.fc32
3
krb5-libs
1.18-1.fc32
1.18.2-9.fc32
3
ca-certificates
2020.2.40-3.fc32
2020.2.41-1.1.fc32
3
alsa-lib
1.2.3-8.fc32
1.2.3.1-1.fc32
3
curl
7.69.1-3.fc32
7.69.1-4.fc32
4
pcre2
10.35-1.fc32
10.35-3.fc32
4
dejavu-sans-fonts
2.37-7.fc32
2.37-8.fc32
B
pcre2-syntax
10.35-1.fc32
10.35-3.fc32
B
pam
1.3.1-24.fc32
1.3.1-26.fc32
B
perl-interpreter
4:5.30.2-452.fc32
4:5.30.3-453.fc32
1
cmake
3.17.2-1.fc32
3.17.3-1.fc32
1
ghostscript
9.52-2.fc32
9.52-3.fc32
1
perl-IO
1.40-452.fc32
1.40-453.fc32
2
jbig2dec-libs
0.17-4.fc32
0.18-1.fc32
2
cmake-filesystem
3.17.2-1.fc32
3.17.3-1.fc32
2
bash
5.0.11-2.fc32
5.0.17-1.fc32
2
cmake-data
3.17.2-1.fc32
3.17.3-1.fc32
2
cmake-rpm-macros
3.17.2-1.fc32
3.17.3-1.fc32
2
libgs
9.52-2.fc32
9.52-3.fc32
2
perl-macros
4:5.30.2-452.fc32
4:5.30.3-453.fc32
2
perl-libs
4:5.30.2-452.fc32
4:5.30.3-453.fc32
2
alsa-lib
1.2.2-2.fc32
1.2.3-8.fc32
3
libjpeg-turbo
2.0.4-1.fc32
2.0.4-3.fc32
3
libnghttp2
1.40.0-2.fc32
1.41.0-1.fc32
3
perl-Errno
1.30-452.fc32
1.30-453.fc32
3
sqlite-libs
3.31.1-1.fc32
3.32.2-1.fc32
3
cups-libs
1:2.3.3-2.fc32
1:2.3.3-6.fc32
3
binutils
2.34-2.fc32
2.34-3.fc32
3
crypto-policies
20191128-5.gitcd267a5....
20200610-1.git7f9d474....
4
gnutls
3.6.13-4.fc32
3.6.14-2.fc32
4
binutils-gold
2.34-2.fc32
2.34-3.fc32
4
systemd-libs
245.4-1.fc32
245.6-2.fc32
B
kernel-headers
5.6.11-300.fc32
5.6.18-300.fc32
B
fedora-release
32-2
32-3
B
fedora-gpg-keys
32-2
32-3
B
qt5-srpm-macros
5.13.2-2.fc32
5.14.2-3.fc32
B
fedora-repos
32-2
32-3
B
fedora-release-common
32-2
32-3
B
dbus-libs
1:1.12.16-4.fc32
1:1.12.18-1.fc32
B
java-1.8.0-openjdk-devel
1:1.8.0.252.b09-0.fc32
1:1.8.0.252.b09-1.fc32
1
python3-devel
3.8.2-2.fc32
3.8.3-1.fc32
1
python3
3.8.2-2.fc32
3.8.3-1.fc32
2
libzstd
1.4.5-1.fc32
1.4.5-3.fc32
2
java-1.8.0-openjdk
1:1.8.0.252.b09-0.fc32
1:1.8.0.252.b09-1.fc32
2
java-1.8.0-openjdk-headless
1:1.8.0.252.b09-0.fc32
1:1.8.0.252.b09-1.fc32
2
libarchive
3.4.2-1.fc32
3.4.3-1.fc32
2
python3-rpm-macros
3-56.fc32
3-57.fc32
2
python3-libs
3.8.2-2.fc32
3.8.3-1.fc32
2
python-rpm-macros
3-56.fc32
3-57.fc32
2
cups-libs
1:2.3.1-9.fc32
1:2.3.3-2.fc32
3
python-srpm-macros
3-56.fc32
3-57.fc32
3
gnutls
3.6.13-3.fc32
3.6.13-4.fc32
4
zstd
1.4.5-1.fc32
1.4.5-3.fc32
B
ghostscript
9.52-1.fc32
9.52-2.fc32
1
libgs
9.52-1.fc32
9.52-2.fc32
2
libzstd
1.4.4-2.fc32
1.4.5-1.fc32
2
libuv
1:1.37.0-1.fc32
1:1.38.0-2.fc32
2
libuuid
2.35.1-8.fc32
2.35.2-1.fc32
3
gnutls
3.6.13-2.fc32
3.6.13-3.fc32
4
util-linux
2.35.1-8.fc32
2.35.2-1.fc32
B
zstd
1.4.4-2.fc32
1.4.5-1.fc32
B
libsmartcols
2.35.1-8.fc32
2.35.2-1.fc32
B
libmount
2.35.1-8.fc32
2.35.2-1.fc32
B
xorg-x11-server-utils
7.7-34.fc32
7.7-35.fc32
B
libblkid
2.35.1-8.fc32
2.35.2-1.fc32
B
libfdisk
2.35.1-8.fc32
2.35.2-1.fc32
B
antlr3-C-devel
1:3.4-3.5.2.25.fc32
1:3.4-3.5.2.27.fc32
1
cryptominisat-devel
5.6.8-6.fc32
5.7.1-1.fc32
1
antlr3-tool
1:3.5.2-25.fc32
1:3.5.2-27.fc32
1
antlr3-java
1:3.5.2-25.fc32
1:3.5.2-27.fc32
2
antlr3-C
1:3.4-3.5.2.25.fc32
1:3.4-3.5.2.27.fc32
2
cryptominisat-libs
5.6.8-6.fc32
5.7.1-1.fc32
2
boost-devel
1.69.0-17.fc32
1.69.0-18.fc32
1
boost-stacktrace
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-system
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-chrono
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-test
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-math
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-fiber
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-filesystem
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-locale
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-graph
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-type_erasure
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-coroutine
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-log
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-iostreams
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-date-time
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-regex
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-wave
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-random
1.69.0-17.fc32
1.69.0-18.fc32
2
boost
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-serialization
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-container
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-context
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-timer
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-contract
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-program-options
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-atomic
1.69.0-17.fc32
1.69.0-18.fc32
2
boost-thread
1.69.0-17.fc32
1.69.0-18.fc32
3
gnutls
3.6.13-1.fc32
3.6.13-2.fc32
4
pcre2
10.34-9.fc32
10.35-1.fc32
4
pcre2-syntax
10.34-9.fc32
10.35-1.fc32
B
boost-devel
1.69.0-15.fc32
1.69.0-17.fc32
1
boost-fiber
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-coroutine
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-container
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-serialization
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-log
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-system
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-regex
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-atomic
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-contract
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-graph
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-date-time
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-timer
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-chrono
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-wave
1.69.0-15.fc32
1.69.0-17.fc32
2
boost
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-iostreams
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-filesystem
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-test
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-random
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-math
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-stacktrace
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-program-options
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-type_erasure
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-locale
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-context
1.69.0-15.fc32
1.69.0-17.fc32
2
boost-thread
1.69.0-15.fc32
1.69.0-17.fc32
3
kernel-headers
5.6.10-300.fc32
5.6.11-300.fc32
B
Previous history