cvc4

Package information

State
ok

Scheduler parameters

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

swig
3.0.12-24.fc30
3.0.12-25.fc30
1
glibc
2.29-22.fc30
2.29-27.fc30
2
python3-setuptools
40.8.0-1.fc30
40.8.0-2.fc30
2
libuv
1:1.33.0-2.fc30
1:1.33.1-1.fc30
2
glibc-devel
2.29-22.fc30
2.29-27.fc30
3
libidn2
2.2.0-1.fc30
2.3.0-1.fc30
3
glibc-common
2.29-22.fc30
2.29-27.fc30
3
python-setuptools-wheel
40.8.0-1.fc30
40.8.0-2.fc30
3
python-pip-wheel
19.0.3-4.fc30
19.0.3-5.fc30
3
sqlite-libs
3.26.0-6.fc30
3.26.0-7.fc30
3
glibc-minimal-langpack
2.29-22.fc30
2.29-27.fc30
3
binutils
2.31.1-34.fc30
2.31.1-36.fc30
3
pcre2
10.33-15.fc30
10.33-16.fc30
4
glibc-headers
2.29-22.fc30
2.29-27.fc30
4
gdb-headless
8.3-6.fc30
8.3-7.fc30
B
perl-Storable
1:3.15-3.fc30
1:3.15-4.fc30
B

Most recent builds

ghostscript
9.27-1.fc30
9.27-2.fc30
1
python3-devel
3.7.4-1.fc30
3.7.5-1.fc30
1
libuv
1:1.32.0-1.fc30
1:1.33.0-2.fc30
2
libgs
9.27-1.fc30
9.27-2.fc30
2
maven-lib
1:3.5.4-10.fc30
1:3.5.4-11.fc30
2
python3-libs
3.7.4-1.fc30
3.7.5-1.fc30
2
zlib
1.2.11-18.fc30
1.2.11-19.fc30
2
python3
3.7.4-1.fc30
3.7.5-1.fc30
2
automake
1.16.1-12.fc30
1.16.1-13.fc30
2
cups-libs
1:2.2.12-2.fc30
1:2.2.12-3.fc30
3
libssh
0.9.0-5.fc30
0.9.2-1.fc30
3
python-pip-wheel
19.0.3-3.fc30
19.0.3-4.fc30
3
binutils
2.31.1-29.fc30
2.31.1-34.fc30
3
gnutls
3.6.8-1.fc30
3.6.10-1.fc30
4
libssh-config
0.9.0-5.fc30
0.9.2-1.fc30
4
pcre2
10.33-14.fc30
10.33-15.fc30
4
file
5.36-4.fc30
5.36-5.fc30
B
file-libs
5.36-4.fc30
5.36-5.fc30
B
kernel-headers
5.3.6-200.fc30
5.3.11-200.fc30
B
redhat-rpm-config
130-1.fc30
132-1.fc30
B
audit-libs
3.0-0.9.20190507g...
3.0-0.15.20191104...
B
fedora-release
30-5
30-6
B
fedora-release-common
30-5
30-6
B
glib2
2.60.7-1.fc30
2.60.7-2.fc30
B
java-1.8.0-openjdk-devel
1:1.8.0.222.b10-0.fc30
1:1.8.0.232.b09-0.fc30
1
python-rpm-macros
3-42.fc30
3-43.fc30
2
coreutils
8.31-5.fc30
8.31-6.fc30
2
java-1.8.0-openjdk-headless
1:1.8.0.222.b10-0.fc30
1:1.8.0.232.b09-0.fc30
2
java-1.8.0-openjdk
1:1.8.0.222.b10-0.fc30
1:1.8.0.232.b09-0.fc30
2
python3-rpm-macros
3-42.fc30
3-43.fc30
2
coreutils-common
8.31-5.fc30
8.31-6.fc30
3
python-srpm-macros
3-42.fc30
3-43.fc30
3
setup
2.13.3-1.fc30
2.13.6-1.fc30
4
nss-softokn-freebl
3.46.0-2.fc30
nss
3.46.0-2.fc30
source-highlight
3.1.8-24.fc30
3.1.9-1.fc30
B
nspr
4.23.0-1.fc30
nss-util
3.46.0-2.fc30
nss-softokn
3.46.0-2.fc30
nss-sysinit
3.46.0-2.fc30
coreutils
8.31-2.fc30
8.31-5.fc30
2
libuv
1:1.30.1-1.fc30
1:1.32.0-1.fc30
2
tzdata-java
2019b-1.fc30
2019c-1.fc30
3
openssl-libs
1:1.1.1d-1.fc30
1:1.1.1d-2.fc30
3
coreutils-common
8.31-2.fc30
8.31-5.fc30
3
giflib
5.1.9-1.fc30
5.1.9-2.fc30
3
nspr
4.22.0-1.fc30
4.23.0-1.fc30
3
krb5-libs
1.17-14.fc30
1.17-15.fc30
3
openjpeg2
2.3.1-1.fc30
2.3.1-3.fc30
3
tzdata
2019b-1.fc30
2019c-1.fc30
4
systemd-libs
241-12.git1e19bcd...
241-12.git323cdf4...
B
qt5-srpm-macros
5.12.4-1.fc30
5.12.5-1.fc30
B
kernel-headers
5.2.17-200.fc30
5.3.6-200.fc30
B
ghostscript
9.26-5.fc30
9.27-1.fc30
1
perl-interpreter
4:5.28.2-439.fc30
4:5.28.2-440.fc30
1
autoconf
2.69-29.fc30
2.69-31.fc30
2
perl-macros
4:5.28.2-439.fc30
4:5.28.2-440.fc30
2
zlib
1.2.11-17.fc30
1.2.11-18.fc30
2
perl-IO
1.39-439.fc30
1.39-440.fc30
2
libgs
9.26-5.fc30
9.27-1.fc30
2
libcurl
7.65.3-3.fc30
7.65.3-4.fc30
2
expat
2.2.7-1.fc30
2.2.8-1.fc30
2
perl-libs
4:5.28.2-439.fc30
4:5.28.2-440.fc30
2
cups-libs
1:2.2.12-1.fc30
1:2.2.12-2.fc30
3
libtirpc
1.1.4-2.rc2.fc30.1
1.1.4-2.rc3.fc30
3
jbig2dec-libs
0.14-5.fc30
0.16-1.fc30
3
libselinux
2.9-1.fc30
2.9-3.1.fc30
3
perl-Errno
1.29-439.fc30
1.29-440.fc30
3
fontconfig
2.13.1-8.fc30
2.13.1-9.fc30
3
openssl-libs
1:1.1.1c-2.fc30
1:1.1.1d-1.fc30
3
libxcrypt
4.4.8-1.fc30
4.4.10-1.fc30
3
pcre2
10.33-13.fc30
10.33-14.fc30
4
curl
7.65.3-3.fc30
7.65.3-4.fc30
4
libxcrypt-devel
4.4.8-1.fc30
4.4.10-1.fc30
4
kernel-headers
5.2.11-200.fc30
5.2.17-200.fc30
B
compat-openssl10
1:1.0.2o-5.fc30
1:1.0.2o-7.fc30
B
annobin
8.71-2.fc30
8.71-3.fc30
B
perl-interpreter
4:5.28.2-438.fc30
4:5.28.2-439.fc30
1
perl-libs
4:5.28.2-438.fc30
4:5.28.2-439.fc30
2
perl-IO
1.39-438.fc30
1.39-439.fc30
2
glibc
2.29-15.fc30
2.29-22.fc30
2
libcurl
7.65.3-2.fc30
7.65.3-3.fc30
2
perl-macros
4:5.28.2-438.fc30
4:5.28.2-439.fc30
2
tbb-devel
2019.6-1.fc30
2019.8-3.fc30
2
libxcrypt
4.4.7-1.fc30
4.4.8-1.fc30
3
nss-util
3.44.1-1.fc30
3.46.0-2.fc30
3
nspr
4.21.0-1.fc30
4.22.0-1.fc30
3
glibc-common
2.29-15.fc30
2.29-22.fc30
3
glibc-devel
2.29-15.fc30
2.29-22.fc30
3
glibc-minimal-langpack
2.29-15.fc30
2.29-22.fc30
3
nss
3.44.1-1.fc30
3.46.0-2.fc30
3
tbb
2019.6-1.fc30
2019.8-3.fc30
3
cups-libs
1:2.2.11-3.fc30
1:2.2.12-1.fc30
3
nss-softokn
3.44.1-1.fc30
3.46.0-2.fc30
3
perl-Errno
1.29-438.fc30
1.29-439.fc30
3
curl
7.65.3-2.fc30
7.65.3-3.fc30
4
nss-sysinit
3.44.1-1.fc30
3.46.0-2.fc30
4
glibc-headers
2.29-15.fc30
2.29-22.fc30
4
libxcrypt-devel
4.4.7-1.fc30
4.4.8-1.fc30
4
nss-softokn-freebl
3.44.1-1.fc30
3.46.0-2.fc30
4
glib2
2.60.6-1.fc30
2.60.7-1.fc30
B
libgcrypt
1.8.4-3.fc30
1.8.5-1.fc30
B
kernel-headers
5.2.9-200.fc30
5.2.11-200.fc30
B
file-libs
5.36-3.fc30
5.36-4.fc30
B
perl-Pod-Perldoc
3.28.01-419.fc30
3.28.01-420.fc30
B
systemd-libs
241-10.git511646b...
241-12.git1e19bcd...
B
file
5.36-3.fc30
5.36-4.fc30
B
gcc-c++
9.1.1-1.fc30
9.2.1-1.fc30
1
ghostscript
9.26-4.fc30
9.26-5.fc30
1
libgs
9.26-4.fc30
9.26-5.fc30
2
libgcc
9.1.1-1.fc30
9.2.1-1.fc30
2
libquadmath-devel
9.1.1-1.fc30
9.2.1-1.fc30
2
zlib
1.2.11-15.fc30
1.2.11-17.fc30
2
gcc
9.1.1-1.fc30
9.2.1-1.fc30
2
libstdc++
9.1.1-1.fc30
9.2.1-1.fc30
2
libstdc++-devel
9.1.1-1.fc30
9.2.1-1.fc30
2
libquadmath
9.1.1-1.fc30
9.2.1-1.fc30
3
perl-Getopt-Long
1:2.50-418.fc30
1:2.51-1.fc30
3
libgomp
9.1.1-1.fc30
9.2.1-1.fc30
3
rpm
4.14.2.1-4.fc30.1
4.14.2.1-5.fc30
3
libnghttp2
1.38.0-1.fc30
1.39.2-1.fc30
3
libxcrypt
4.4.6-2.fc30
4.4.7-1.fc30
3
lz4-libs
1.8.3-2.fc30
1.9.1-1.fc30
3
cpp
9.1.1-1.fc30
9.2.1-1.fc30
3
pcre2
10.33-9.fc30
10.33-13.fc30
4
libxcrypt-devel
4.4.6-2.fc30
4.4.7-1.fc30
4
rpm-libs
4.14.2.1-4.fc30.1
4.14.2.1-5.fc30
4
fedora-gpg-keys
30-1
30-2
B
kernel-headers
5.2.7-200.fc30
5.2.9-200.fc30
B
elfutils-libelf
0.176-3.fc30
0.177-1.fc30
B
perl-Storable
1:3.15-2.fc30
1:3.15-3.fc30
B
elfutils-default-yama-scope
0.176-3.fc30
0.177-1.fc30
B
elfutils
0.176-3.fc30
0.177-1.fc30
B
fedora-release-common
30-4
30-5
B
elfutils-libs
0.176-3.fc30
0.177-1.fc30
B
rpm-build
4.14.2.1-4.fc30.1
4.14.2.1-5.fc30
B
patch
2.7.6-9.fc30
2.7.6-11.fc30
B
fedora-repos
30-1
30-2
B
fedora-release
30-4
30-5
B
rpm-build-libs
4.14.2.1-4.fc30.1
4.14.2.1-5.fc30
B
java-1.8.0-openjdk-devel
1:1.8.0.212.b04-0.fc30
1:1.8.0.222.b10-0.fc30
1
perl-interpreter
4:5.28.2-436.fc30
4:5.28.2-438.fc30
1
java-1.8.0-openjdk
1:1.8.0.212.b04-0.fc30
1:1.8.0.222.b10-0.fc30
2
perl-libs
4:5.28.2-436.fc30
4:5.28.2-438.fc30
2
perl-macros
4:5.28.2-436.fc30
4:5.28.2-438.fc30
2
java-1.8.0-openjdk-headless
1:1.8.0.212.b04-0.fc30
1:1.8.0.222.b10-0.fc30
2
libcurl
7.65.3-1.fc30
7.65.3-2.fc30
2
perl-IO
1.39-436.fc30
1.39-438.fc30
2
python-pip-wheel
19.0.3-1.fc30
19.0.3-3.fc30
3
libzstd
1.4.0-1.fc30
1.4.2-1.fc30
3
perl-Errno
1.29-436.fc30
1.29-438.fc30
3
pcre2
10.33-6.fc30
10.33-9.fc30
4
curl
7.65.3-1.fc30
7.65.3-2.fc30
4
zstd
1.4.0-1.fc30
1.4.2-1.fc30
B
systemd-libs
241-9.gitb67ecf2....
241-10.git511646b...
B
kernel-headers
5.1.20-300.fc30
5.2.7-200.fc30
B
cadical-devel
1.0.3-1.fc30
1:1.0.3-3.fc30
1
python3-devel
3.7.3-3.fc30
3.7.4-1.fc30
1
libcurl
7.64.0-8.fc30
7.65.3-1.fc30
2
cadical-libs
1.0.3-1.fc30
1:1.0.3-3.fc30
2
python3
3.7.3-3.fc30
3.7.4-1.fc30
2
perl-threads-shared
1.59-2.fc30
1.59-3.fc30
2
python3-libs
3.7.3-3.fc30
3.7.4-1.fc30
2
sqlite-libs
3.26.0-5.fc30
3.26.0-6.fc30
3
libssh
0.8.7-1.fc30
0.9.0-5.fc30
3
libuuid
2.33.2-1.fc30
2.33.2-2.fc30
3
curl
7.64.0-8.fc30
7.65.3-1.fc30
4
libssh-config
0.9.0-5.fc30
4
libfdisk
2.33.2-1.fc30
2.33.2-2.fc30
B
kernel-headers
5.1.18-300.fc30
5.1.20-300.fc30
B
libsmartcols
2.33.2-1.fc30
2.33.2-2.fc30
B
util-linux
2.33.2-1.fc30
2.33.2-2.fc30
B
systemd-libs
241-8.git9ef65cb....
241-9.gitb67ecf2....
B
libmount
2.33.2-1.fc30
2.33.2-2.fc30
B
glib2
2.60.5-1.fc30
2.60.6-1.fc30
B
libblkid
2.33.2-1.fc30
2.33.2-2.fc30
B
Previous history