cvc4

Package information

State
ok

Scheduler parameters

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

coreutils
8.31-4.fc31
8.31-5.fc32
2
tbb-devel
2019.8-4.fc32
2019.9-1.fc32
2
tbb
2019.8-4.fc32
2019.9-1.fc32
3
libX11
1.6.8-3.fc31
1.6.9-1.fc32
3
coreutils-common
8.31-4.fc31
8.31-5.fc32
3
libX11-common
1.6.8-3.fc31
1.6.9-1.fc32
4
setup
2.13.3-2.fc31
2.13.6-1.fc32
4
annobin
8.81-1.fc32
8.84-1.fc32
B
systemd-libs
243-2.gitfab6f01....
243-3.gitef67743....
B

Most recent builds

gcc-c++
9.2.1-1.fc32
9.2.1-1.fc32.1
1
libstdc++
9.2.1-1.fc32
9.2.1-1.fc32.1
2
libgcc
9.2.1-1.fc32
9.2.1-1.fc32.1
2
libquadmath-devel
9.2.1-1.fc32
9.2.1-1.fc32.1
2
gcc
9.2.1-1.fc32
9.2.1-1.fc32.1
2
glibc
2.30.9000-10.fc32
2.30.9000-11.fc32
2
libstdc++-devel
9.2.1-1.fc32
9.2.1-1.fc32.1
2
libquadmath
9.2.1-1.fc32
9.2.1-1.fc32.1
3
binutils
2.32-26.fc32
2.32-27.fc32
3
glibc-minimal-langpack
2.30.9000-10.fc32
2.30.9000-11.fc32
3
sqlite-libs
3.29.0-2.fc31
3.30.0-1.fc32
3
cpp
9.2.1-1.fc32
9.2.1-1.fc32.1
3
libgomp
9.2.1-1.fc32
9.2.1-1.fc32.1
3
glibc-devel
2.30.9000-10.fc32
2.30.9000-11.fc32
3
glibc-common
2.30.9000-10.fc32
2.30.9000-11.fc32
3
glibc-headers
2.30.9000-10.fc32
2.30.9000-11.fc32
4
binutils-gold
2.32-26.fc32
2.32-27.fc32
4
file
5.37-4.fc32
5.37-6.fc32
B
info
6.7-1.fc32
6.7-2.fc32
B
file-libs
5.37-4.fc32
5.37-6.fc32
B
boost-devel
1.69.0-10.fc32
1.69.0-11.fc32
1
cxxtest
4.4-17.fc32
4.4-18.fc32
1
javapackages-tools
5.3.0-7.fc32
5.3.0-8.fc32
1
boost-atomic
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-math
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-filesystem
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-locale
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-system
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-coroutine
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-test
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-contract
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-iostreams
1.69.0-10.fc32
1.69.0-11.fc32
2
python3-ply
3.11-4.fc32
3.11-5.fc32
2
boost-program-options
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-fiber
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-graph
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-random
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-stacktrace
1.69.0-10.fc32
1.69.0-11.fc32
2
boost
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-serialization
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-context
1.69.0-10.fc32
1.69.0-11.fc32
2
tbb-devel
2019.8-3.fc32
2019.8-4.fc32
2
boost-container
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-regex
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-chrono
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-log
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-type_erasure
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-timer
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-wave
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-date-time
1.69.0-10.fc32
1.69.0-11.fc32
2
javapackages-filesystem
5.3.0-7.fc32
5.3.0-8.fc32
2
boost-thread
1.69.0-10.fc32
1.69.0-11.fc32
3
tbb
2019.8-3.fc32
2019.8-4.fc32
3
brotli
1.0.7-7.fc32
1.0.7-8.fc32
3
openssl-libs
1:1.1.1d-1.fc32
1:1.1.1d-2.fc32
3
libxml2
2.9.9-5.fc32
2.9.9-6.fc32
3
libcom_err
1.45.3-1.fc31
1.45.4-1.fc32
3
libselinux
2.9-6.fc32
2.9-7.fc32
3
audit-libs
3.0-0.13.20190507...
3.0-0.14.20190507...
B
kernel-headers
5.3.0-1.fc32
5.4.0-0.rc1.git0.1....
B
libsemanage
2.9-4.fc32
2.9-5.fc32
B
fedora-release
32-0.1
32-0.2
B
fedora-release-common
32-0.1
32-0.2
B
cmake
3.14.5-4.fc31
3.15.3-1.fc32
1
java-1.8.0-openjdk-devel
1:1.8.0.222.b10-3.fc32
1:1.8.0.232.b01-0.0.ea.fc32
1
python3-devel
3.8.0~b4-1.fc32
3.8.0~rc1-1.fc32
1
cmake-data
3.14.5-4.fc31
3.15.3-1.fc32
2
gdbm-libs
1:1.18-5.fc31
1:1.18.1-1.fc32
2
cmake-filesystem
3.14.5-4.fc31
3.15.3-1.fc32
2
python3-libs
3.8.0~b4-1.fc32
3.8.0~rc1-1.fc32
2
glibc
2.30.9000-9.fc32
2.30.9000-10.fc32
2
java-1.8.0-openjdk
1:1.8.0.222.b10-3.fc32
1:1.8.0.232.b01-0.0.ea.fc32
2
python3
3.8.0~b4-1.fc32
3.8.0~rc1-1.fc32
2
python-rpm-macros
3-48.fc32
3-49.fc32
2
java-1.8.0-openjdk-headless
1:1.8.0.222.b10-3.fc32
1:1.8.0.232.b01-0.0.ea.fc32
2
libuv
1:1.31.0-0.fc32
1:1.32.0-1.fc32
2
python3-rpm-macros
3-48.fc32
3-49.fc32
2
cmake-rpm-macros
3.14.5-4.fc31
3.15.3-1.fc32
2
python-srpm-macros
3-48.fc32
3-49.fc32
3
openjpeg2
2.3.1-2.fc31
2.3.1-3.fc32
3
glibc-devel
2.30.9000-9.fc32
2.30.9000-10.fc32
3
krb5-libs
1.17-45.fc32
1.17-46.fc32
3
glibc-common
2.30.9000-9.fc32
2.30.9000-10.fc32
3
giflib
5.2.1-2.fc31
5.2.1-3.fc32
3
glibc-minimal-langpack
2.30.9000-9.fc32
2.30.9000-10.fc32
3
glibc-headers
2.30.9000-9.fc32
2.30.9000-10.fc32
4
gnutls
3.6.9-1.fc31
3.6.10-1.fc32
4
p11-kit
0.23.16.1-2.fc31
0.23.18.1-1.fc32
4
p11-kit-trust
0.23.16.1-2.fc31
0.23.18.1-1.fc32
4
ghc-srpm-macros
1.4.2-10.fc31
1.5.0-1.fc32
B
libcap-ng
0.7.9-9.fc32
0.7.10-1.fc32
B
ghostscript
9.26-6.fc31
9.27-1.fc32
1
libgs
9.26-6.fc31
9.27-1.fc32
2
glibc
2.30.9000-6.fc32
2.30.9000-9.fc32
2
libxcrypt
4.4.9-1.fc32
4.4.10-1.fc32
3
glibc-minimal-langpack
2.30.9000-6.fc32
2.30.9000-9.fc32
3
binutils
2.32-24.fc31
2.32-26.fc32
3
glibc-devel
2.30.9000-6.fc32
2.30.9000-9.fc32
3
rpm
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
3
tzdata-java
2019b-2.fc31
2019c-1.fc32
3
python-pip-wheel
19.1.1-8.fc32
19.2.3-1.fc32
3
krb5-libs
1.17-44.fc32
1.17-45.fc32
3
libXcomposite
0.4.4-17.fc31
0.4.5-1.fc32
3
glibc-common
2.30.9000-6.fc32
2.30.9000-9.fc32
3
xbean
4.14-1.fc32
4.14-2.fc32
4
binutils-gold
2.32-24.fc31
2.32-26.fc32
4
libxcrypt-devel
4.4.9-1.fc32
4.4.10-1.fc32
4
tzdata
2019b-2.fc31
2019c-1.fc32
4
glibc-headers
2.30.9000-6.fc32
2.30.9000-9.fc32
4
crypto-policies
20190816-3.gitbb9bf99....
20190816-4.gitbb9bf99....
4
avahi-libs
0.7-21.fc32
0.7-22.fc32
4
rpm-libs
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
4
libpwquality
1.4.0-15.fc32
1.4.1-1.fc32
B
systemd-libs
243-1.fc32
243-2.gitfab6f01....
B
libXcursor
1.1.15-6.fc31
1.2.0-1.fc32
B
gdb-minimal
8.3.50.20190824-26.fc32
8.3.50.20190924-27.fc32
B
info
6.6-2.fc31
6.7-1.fc32
B
rpm-build
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
B
annobin
8.79-2.fc32
8.81-1.fc32
B
qt5-srpm-macros
5.12.4-2.fc31
5.12.5-1.fc32
B
rpm-build-libs
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
B
perl-interpreter
4:5.30.0-445.fc32
4:5.30.0-446.fc32
1
perl-macros
4:5.30.0-445.fc32
4:5.30.0-446.fc32
2
libcurl
7.65.3-4.fc32
7.66.0-1.fc32
2
expat
2.2.7-2.fc31
2.2.8-1.fc32
2
libarchive
3.3.3-8.fc31
3.4.0-1.fc32
2
perl-libs
4:5.30.0-445.fc32
4:5.30.0-446.fc32
2
autoconf
2.69-29.fc30
2.69-31.fc32
2
perl-IO
1.40-445.fc32
1.40-446.fc32
2
libuuid
2.34-4.fc32
2.34-6.fc32
3
krb5-libs
1.17-43.fc32
1.17-44.fc32
3
emacs-filesystem
1:26.2-2.fc31
1:26.3-1.fc32
3
openssl-libs
1:1.1.1c-6.fc32
1:1.1.1d-1.fc32
3
cups-libs
1:2.2.12-1.fc32
1:2.2.12-2.fc32
3
perl-Errno
1.30-445.fc32
1.30-446.fc32
3
maven-wagon-provider-api
3.3.3-3.fc32
3.3.3-4.fc32
3
curl
7.65.3-4.fc32
7.66.0-1.fc32
4
crypto-policies
20190816-2.gitbb9bf99....
20190816-3.gitbb9bf99....
4
libmount
2.34-4.fc32
2.34-6.fc32
B
util-linux
2.34-4.fc32
2.34-6.fc32
B
libfdisk
2.34-4.fc32
2.34-6.fc32
B
libblkid
2.34-4.fc32
2.34-6.fc32
B
kernel-headers
5.3.0-0.rc7.git0.1....
5.3.0-1.fc32
B
xorg-x11-server-utils
7.7-32.fc31
7.7-33.fc32
B
libsmartcols
2.34-4.fc32
2.34-6.fc32
B
Real build: cvc4-1.7-6.fc32
lfsc-devel
0.20190226-2.fc31
0.20190808-1.fc32
1
glibc
2.30.9000-4.fc32
2.30.9000-6.fc32
2
lfsc
0.20190226-2.fc31
0.20190808-1.fc32
2
zlib
1.2.11-18.fc32
1.2.11-19.fc32
2
python3-setuptools
41.0.1-9.fc32
41.2.0-1.fc32
2
libxcrypt
4.4.8-1.fc32
4.4.9-1.fc32
3
openssl-libs
1:1.1.1c-5.fc31
1:1.1.1c-6.fc32
3
libjpeg-turbo
2.0.2-4.fc31
2.0.3-1.fc32
3
libtirpc
1.1.4-2.rc2.fc31.2
1.1.4-2.rc3.fc32
3
glibc-common
2.30.9000-4.fc32
2.30.9000-6.fc32
3
libuuid
2.34-3.fc32
2.34-4.fc32
3
glibc-devel
2.30.9000-4.fc32
2.30.9000-6.fc32
3
python-setuptools-wheel
41.0.1-9.fc32
41.2.0-1.fc32
3
glibc-minimal-langpack
2.30.9000-4.fc32
2.30.9000-6.fc32
3
libxcrypt-devel
4.4.8-1.fc32
4.4.9-1.fc32
4
glibc-headers
2.30.9000-4.fc32
2.30.9000-6.fc32
4
pcre2
10.33-13.fc32
10.33-14.fc32
4
libblkid
2.34-3.fc32
2.34-4.fc32
B
kernel-headers
5.3.0-0.rc6.git0.1....
5.3.0-0.rc7.git0.1....
B
libfdisk
2.34-3.fc32
2.34-4.fc32
B
annobin
8.79-1.fc32
8.79-2.fc32
B
libsmartcols
2.34-3.fc32
2.34-4.fc32
B
pam
1.3.1-18.fc31
1.3.1-19.fc32
B
systemd-libs
243~rc2-2.fc32
243-1.fc32
B
libmount
2.34-3.fc32
2.34-4.fc32
B
util-linux
2.34-3.fc32
2.34-4.fc32
B
shadow-utils
2:4.6-15.fc31
2:4.6-16.fc32
B
libgcrypt
1.8.4-4.fc31
1.8.5-1.fc32
B
perl-interpreter
4:5.30.0-444.fc32
4:5.30.0-445.fc32
1
python3-devel
3.8.0~b3-4.fc32
3.8.0~b4-1.fc32
1
perl-IO
1.40-444.fc32
1.40-445.fc32
2
python3-rpm-macros
3-47.fc31
3-48.fc32
2
python3-libs
3.8.0~b3-4.fc32
3.8.0~b4-1.fc32
2
python3-setuptools
41.0.1-8.fc32
41.0.1-9.fc32
2
perl-libs
4:5.30.0-444.fc32
4:5.30.0-445.fc32
2
python-rpm-macros
3-47.fc31
3-48.fc32
2
maven-lib
1:3.5.4-11.fc31
1:3.5.4-12.fc32
2
findutils
1:4.6.0-24.fc31
1:4.7.0-1.fc32
2
perl-macros
4:5.30.0-444.fc32
4:5.30.0-445.fc32
2
python3
3.8.0~b3-4.fc32
3.8.0~b4-1.fc32
2
python-setuptools-wheel
41.0.1-8.fc32
41.0.1-9.fc32
3
python-srpm-macros
3-47.fc31
3-48.fc32
3
perl-Errno
1.30-444.fc32
1.30-445.fc32
3
python-pip-wheel
19.1.1-7.fc32
19.1.1-8.fc32
3
maven-wagon-provider-api
3.3.3-2.fc31
3.3.3-3.fc32
3
libxcrypt
4.4.7-1.fc32
4.4.8-1.fc32
3
libxcrypt-devel
4.4.7-1.fc32
4.4.8-1.fc32
4
Previous history