cvc4

Package information

State
ok

Scheduler parameters

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

gdbm-libs
1:1.18-5.fc31
1:1.18.1-1.fc31
2
openssl-libs
1:1.1.1d-1.fc31
1:1.1.1d-2.fc31
3
openjpeg2
2.3.1-2.fc31
2.3.1-3.fc31
3
fedora-release
31-0.11
31-1
B
fedora-gpg-keys
31-0.6
31-1
B
fedora-release-common
31-0.11
31-1
B
kernel-headers
5.3.2-300.fc31
5.3.4-300.fc31
B
fedora-repos
31-0.6
31-1
B

Most recent builds

ghostscript
9.26-6.fc31
9.27-1.fc31
1
glibc
2.30-4.fc31
2.30-5.fc31
2
libuv
1:1.31.0-0.fc31
1:1.32.0-1.fc31
2
python-rpm-macros
3-47.fc31
3-49.fc31
2
python3-rpm-macros
3-47.fc31
3-49.fc31
2
libgs
9.26-6.fc31
9.27-1.fc31
2
glibc-minimal-langpack
2.30-4.fc31
2.30-5.fc31
3
glibc-common
2.30-4.fc31
2.30-5.fc31
3
glibc-devel
2.30-4.fc31
2.30-5.fc31
3
giflib
5.2.1-2.fc31
5.2.1-3.fc31
3
python-srpm-macros
3-47.fc31
3-49.fc31
3
krb5-libs
1.17-40.fc31
1.17-45.fc31
3
rpm
4.15.0-0.rc1.1.fc31
4.15.0-1.fc31
3
tzdata-java
2019b-2.fc31
2019c-1.fc31
3
rpm-libs
4.15.0-0.rc1.1.fc31
4.15.0-1.fc31
4
gnutls
3.6.9-1.fc31
3.6.10-1.fc31
4
pcre2
10.33-13.fc31
10.33-14.fc31
4
crypto-policies
20190816-2.gitbb9bf99....
20190816-4.gitbb9bf99....
4
tzdata
2019b-2.fc31
2019c-1.fc31
4
glibc-headers
2.30-4.fc31
2.30-5.fc31
4
ghc-srpm-macros
1.4.2-10.fc31
1.5.0-1.fc31
B
rpm-build-libs
4.15.0-0.rc1.1.fc31
4.15.0-1.fc31
B
systemd-libs
243-1.fc31
243-2.gitfab6f01....
B
kernel-headers
5.3.0-0.rc6.git0.1....
5.3.2-300.fc31
B
qt5-srpm-macros
5.12.4-2.fc31
5.12.5-1.fc31
B
rpm-build
4.15.0-0.rc1.1.fc31
4.15.0-1.fc31
B
lfsc-devel
0.20190226-2.fc31
0.20190808-1.fc31
1
perl-interpreter
4:5.30.0-444.fc31
4:5.30.0-446.fc31
1
libarchive
3.3.3-8.fc31
3.4.0-1.fc31
2
expat
2.2.7-2.fc31
2.2.8-1.fc31
2
perl-libs
4:5.30.0-444.fc31
4:5.30.0-446.fc31
2
python3-setuptools
41.0.1-4.fc31
41.2.0-1.fc31
2
lfsc
0.20190226-2.fc31
0.20190808-1.fc31
2
glibc
2.30-1.fc31
2.30-4.fc31
2
autoconf
2.69-29.fc30
2.69-31.fc31
2
perl-macros
4:5.30.0-444.fc31
4:5.30.0-446.fc31
2
libcurl
7.65.3-3.fc31
7.66.0-1.fc31
2
zlib
1.2.11-18.fc31
1.2.11-19.fc31
2
perl-IO
1.40-444.fc31
1.40-446.fc31
2
libxcrypt
4.4.9-1.fc31
4.4.10-1.fc31
3
maven-wagon-provider-api
3.3.3-3.fc31
3.3.3-4.fc31
3
fontconfig
2.13.92-2.fc31
2.13.92-3.fc31
3
glibc-devel
2.30-1.fc31
2.30-4.fc31
3
glibc-common
2.30-1.fc31
2.30-4.fc31
3
python-setuptools-wheel
41.0.1-4.fc31
41.2.0-1.fc31
3
glibc-minimal-langpack
2.30-1.fc31
2.30-4.fc31
3
openssl-libs
1:1.1.1c-5.fc31
1:1.1.1d-1.fc31
3
libtirpc
1.1.4-2.rc2.fc31.2
1.1.4-2.rc3.fc31
3
cups-libs
1:2.2.12-1.fc31
1:2.2.12-2.fc31
3
perl-Errno
1.30-444.fc31
1.30-446.fc31
3
libuuid
2.34-2.fc31
2.34-3.fc31
3
curl
7.65.3-3.fc31
7.66.0-1.fc31
4
libxcrypt-devel
4.4.9-1.fc31
4.4.10-1.fc31
4
glibc-headers
2.30-1.fc31
2.30-4.fc31
4
util-linux
2.34-2.fc31
2.34-3.fc31
B
libpwquality
1.4.0-14.fc31
1.4.1-1.fc31
B
annobin
8.78-1.fc31
8.78-2.fc31
B
shadow-utils
2:4.6-15.fc31
2:4.6-16.fc31
B
libsmartcols
2.34-2.fc31
2.34-3.fc31
B
libblkid
2.34-2.fc31
2.34-3.fc31
B
libfdisk
2.34-2.fc31
2.34-3.fc31
B
libgcrypt
1.8.4-4.fc31
1.8.5-1.fc31
B
libmount
2.34-2.fc31
2.34-3.fc31
B
gcc-c++
9.1.1-2.fc31.1
9.2.1-1.fc31
1
libquadmath-devel
9.1.1-2.fc31.1
9.2.1-1.fc31
2
plexus-compiler
2.8.2-5.fc31
2.8.5-1.fc31
2
maven-lib
1:3.5.4-11.fc31
1:3.5.4-12.fc31
2
libgcc
9.1.1-2.fc31.1
9.2.1-1.fc31
2
tbb-devel
2019.6-1.fc31
2019.8-3.fc31
2
gcc
9.1.1-2.fc31.1
9.2.1-1.fc31
2
libstdc++
9.1.1-2.fc31.1
9.2.1-1.fc31
2
libstdc++-devel
9.1.1-2.fc31.1
9.2.1-1.fc31
2
libquadmath
9.1.1-2.fc31.1
9.2.1-1.fc31
3
jbig2dec-libs
0.14-6.fc31
0.16-1.fc31
3
libxcrypt
4.4.6-3.fc31
4.4.9-1.fc31
3
rpm
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
3
libgomp
9.1.1-2.fc31.1
9.2.1-1.fc31
3
cpp
9.1.1-2.fc31.1
9.2.1-1.fc31
3
nss
3.44.1-2.fc31
3.46.0-2.fc31
3
tbb
2019.6-1.fc31
2019.8-3.fc31
3
maven-wagon-provider-api
3.3.3-2.fc31
3.3.3-3.fc31
3
nss-util
3.44.1-2.fc31
3.46.0-2.fc31
3
nspr
4.21.0-2.fc31
4.22.0-1.fc31
3
nss-softokn
3.44.1-2.fc31
3.46.0-2.fc31
3
rpm-libs
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
4
nss-sysinit
3.44.1-2.fc31
3.46.0-2.fc31
4
libxcrypt-devel
4.4.6-3.fc31
4.4.9-1.fc31
4
nss-softokn-freebl
3.44.1-2.fc31
3.46.0-2.fc31
4
xbean
4.9-5.fc31
4.14-1.fc31
4
pcre2
10.33-11.fc31
10.33-13.fc31
4
gdb-minimal
8.3.50.20190802-21.fc31
8.3.50.20190824-24.fc31
B
rpm-build-libs
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
B
kernel-headers
5.3.0-0.rc5.git0.1....
5.3.0-0.rc6.git0.1....
B
rpm-build
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
B
systemd-libs
243~rc2-1.fc31
243-1.fc31
B
Real build: cvc4-1.7-6.fc31
perl-interpreter
4:5.30.0-443.fc31
4:5.30.0-444.fc31
1
swig
4.0.0-5.fc31
4.0.1-1.fc31
1
perl-Scalar-List-Utils
3:1.50-439.fc31
3:1.52-439.fc31
2
perl-macros
4:5.30.0-443.fc31
4:5.30.0-444.fc31
2
zlib
1.2.11-17.fc31
1.2.11-18.fc31
2
perl-libs
4:5.30.0-443.fc31
4:5.30.0-444.fc31
2
perl-IO
1.40-443.fc31
1.40-444.fc31
2
libuv
1:1.30.1-2.fc31
1:1.31.0-0.fc31
2
jsoncpp
1.9.0-2.fc31
1.9.1-1.fc31
2
perl-Errno
1.30-443.fc31
1.30-444.fc31
3
plexus-containers-component-annotations
1.7.1-10.fc31
2.0.0-1.fc31
3
lz4-libs
1.8.3-3.fc31
1.9.1-1.fc31
3
libnghttp2
1.39.1-2.fc31
1.39.2-1.fc31
3
cups-libs
1:2.2.11-4.fc31
1:2.2.12-1.fc31
3
plexus-containers-container-default
1.7.1-10.fc31
2.0.0-1.fc31
3
avahi-libs
0.7-18.fc30
0.7-20.fc31
4
crypto-policies
20190527-2.git0b3add8....
20190816-2.gitbb9bf99....
4
fedora-release-common
31-0.10
31-0.11
B
fedora-gpg-keys
31-0.4
31-0.6
B
libgpg-error
1.33-2.fc30
1.36-2.fc31
B
kernel-headers
5.3.0-0.rc4.git0.1....
5.3.0-0.rc5.git0.1....
B
perl-Pod-Perldoc
3.28.01-440.fc31
3.28.01-442.fc31
B
fedora-repos-rawhide
31-0.4
elfutils-libs
0.176-5.fc31
0.177-1.fc31
B
fedora-repos
31-0.4
31-0.6
B
elfutils-default-yama-scope
0.176-5.fc31
0.177-1.fc31
B
fedora-release
31-0.10
31-0.11
B
elfutils-libelf
0.176-5.fc31
0.177-1.fc31
B
systemd-libs
243~rc1-2.fc31
243~rc2-1.fc31
B
elfutils
0.176-5.fc31
0.177-1.fc31
B
javapackages-tools
5.3.0-5.fc31
5.3.0-6.fc31
1
python3-devel
3.7.4-4.fc31
3.7.4-5.fc31
1
swig
4.0.0-4.fc31
4.0.0-5.fc31
1
ghostscript
9.26-5.fc31
9.26-6.fc31
1
javapackages-filesystem
5.3.0-5.fc31
5.3.0-6.fc31
2
python3
3.7.4-4.fc31
3.7.4-5.fc31
2
libgs
9.26-5.fc31
9.26-6.fc31
2
python3-libs
3.7.4-4.fc31
3.7.4-5.fc31
2
krb5-libs
1.17-39.fc31
1.17-40.fc31
3
fontconfig
2.13.91-4.fc31
2.13.92-2.fc31
3
binutils
2.32-22.fc31
2.32-24.fc31
3
libselinux
2.9-4.fc31
2.9-5.fc31
3
perl-Getopt-Long
1:2.50-439.fc31
1:2.51-1.fc31
3
google-guice
4.1-16.fc31
4.2.2-1.fc31
3
guava
25.0-5.fc31
4
pcre2
10.33-10.fc31
10.33-11.fc31
4
binutils-gold
2.32-22.fc31
2.32-24.fc31
4
fedora-release
31-0.7
31-0.10
B
libsemanage
2.9-2.fc31
2.9-3.fc31
B
fedora-release-common
31-0.7
31-0.10
B
fedora-repos
31-0.2
31-0.4
B
jsr-305
0-0.25.20130910...
B
gzip
1.9-10.fc31
1.10-1.fc31
B
libpwquality
1.4.0-13.fc31
1.4.0-14.fc31
B
fedora-repos-rawhide
31-0.2
31-0.4
B
cracklib
2.9.6-20.fc31
2.9.6-21.fc31
B
fedora-gpg-keys
31-0.2
31-0.4
B
kernel-headers
5.3.0-0.rc3.git0.1....
5.3.0-0.rc4.git0.1....
B
perl-Storable
1:3.15-440.fc31
1:3.15-441.fc31
B
java-1.8.0-openjdk-devel
1:1.8.0.222.b03-0.0.ea.fc31
1:1.8.0.222.b10-1.fc31
1
perl-interpreter
4:5.30.0-442.fc31
4:5.30.0-443.fc31
1
swig
4.0.0-2.fc31
4.0.0-4.fc31
1
java-1.8.0-openjdk-headless
1:1.8.0.222.b03-0.0.ea.fc31
1:1.8.0.222.b10-1.fc31
2
bash
5.0.7-2.fc31
5.0.7-3.fc31
2
perl-macros
4:5.30.0-442.fc31
4:5.30.0-443.fc31
2
ncurses-libs
6.1-11.20190720.fc31
6.1-12.20190803.fc31
2
perl-libs
4:5.30.0-442.fc31
4:5.30.0-443.fc31
2
ncurses-devel
6.1-11.20190720.fc31
6.1-12.20190803.fc31
2
perl-IO
1.40-442.fc31
1.40-443.fc31
2
java-1.8.0-openjdk
1:1.8.0.222.b03-0.0.ea.fc31
1:1.8.0.222.b10-1.fc31
2
bzip2-libs
1.0.6-30.fc31
1.0.8-1.fc31
3
perl-Errno
1.30-442.fc31
1.30-443.fc31
3
krb5-libs
1.17-38.fc31
1.17-39.fc31
3
ncurses
6.1-11.20190720.fc31
6.1-12.20190803.fc31
3
ncurses-base
6.1-11.20190720.fc31
6.1-12.20190803.fc31
3
binutils
2.32-20.fc31
2.32-22.fc31
3
libcom_err
1.45.2-2.fc31
1.45.3-1.fc31
3
ncurses-c++-libs
6.1-11.20190720.fc31
6.1-12.20190803.fc31
3
binutils-gold
2.32-20.fc31
2.32-22.fc31
4
pcre2
10.33-9.fc31.1
10.33-10.fc31
4
kernel-headers
5.3.0-0.rc2.git0.1....
5.3.0-0.rc3.git0.1....
B
annobin
8.77-2.fc31
8.78-1.fc31
B
bzip2
1.0.6-30.fc31
1.0.8-1.fc31
B
gdb-minimal
8.3.50.20190702-20.fc31
8.3.50.20190802-21.fc31
B
systemd-libs
243~rc1-1.fc31
243~rc1-2.fc31
B
antlr3-C-devel
1:3.4-3.5.2.23.fc31
1:3.4-3.5.2.24.fc31
1
antlr3-tool
1:3.5.2-23.fc31
1:3.5.2-24.fc31
1
java-1.8.0-openjdk-devel
1:1.8.0.222.b01-0.1.ea.fc31
1:1.8.0.222.b03-0.0.ea.fc31
1
boost-devel
1.69.0-8.fc31
1.69.0-9.fc31
1
boost-serialization
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-stacktrace
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-math
1.69.0-8.fc31
1.69.0-9.fc31
2
boost
1.69.0-8.fc31
1.69.0-9.fc31
2
libcurl
7.65.3-2.fc31
7.65.3-3.fc31
2
boost-log
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-fiber
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-atomic
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-contract
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-graph
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-type_erasure
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-coroutine
1.69.0-8.fc31
1.69.0-9.fc31
2
java-1.8.0-openjdk-headless
1:1.8.0.222.b01-0.1.ea.fc31
1:1.8.0.222.b03-0.0.ea.fc31
2
boost-wave
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-system
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-timer
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-container
1.69.0-8.fc31
1.69.0-9.fc31
2
antlr3-C
1:3.4-3.5.2.23.fc31
1:3.4-3.5.2.24.fc31
2
boost-test
1.69.0-8.fc31
1.69.0-9.fc31
2
java-1.8.0-openjdk
1:1.8.0.222.b01-0.1.ea.fc31
1:1.8.0.222.b03-0.0.ea.fc31
2
boost-iostreams
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-chrono
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-context
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-program-options
1.69.0-8.fc31
1.69.0-9.fc31
2
antlr3-java
1:3.5.2-23.fc31
1:3.5.2-24.fc31
2
boost-filesystem
1.69.0-8.fc31
1.69.0-9.fc31
2
glibc
2.29.9000-37.fc31
2.30-1.fc31
2
zlib
1.2.11-16.fc31
1.2.11-17.fc31
2
boost-regex
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-date-time
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-random
1.69.0-8.fc31
1.69.0-9.fc31
2
boost-locale
1.69.0-8.fc31
1.69.0-9.fc31
2
glibc-devel
2.29.9000-37.fc31
2.30-1.fc31
3
glibc-minimal-langpack
2.29.9000-37.fc31
2.30-1.fc31
3
binutils
2.32-19.fc31
2.32-20.fc31
3
boost-thread
1.69.0-8.fc31
1.69.0-9.fc31
3
glibc-common
2.29.9000-37.fc31
2.30-1.fc31
3
glibc-headers
2.29.9000-37.fc31
2.30-1.fc31
4
curl
7.65.3-2.fc31
7.65.3-3.fc31
4
binutils-gold
2.32-19.fc31
2.32-20.fc31
4
audit-libs
3.0-0.10.20190507...
3.0-0.12.20190507...
B
dbus-libs
1:1.12.16-2.fc31
1:1.12.16-3.fc31
B
Previous history