cvc4

Package information

State
ok

Scheduler parameters

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

swig
4.0.1-2.fc31
4.0.1-3.fc31
1
perl-interpreter
4:5.30.1-448.fc31
4:5.30.1-449.fc31
1
perl-macros
4:5.30.1-448.fc31
4:5.30.1-449.fc31
2
perl-libs
4:5.30.1-448.fc31
4:5.30.1-449.fc31
2
bash
5.0.7-3.fc31
5.0.11-1.fc31
2
glibc
2.30-7.fc31
2.30-8.fc31
2
libuv
1:1.33.0-2.fc31
1:1.33.1-1.fc31
2
perl-IO
1.40-448.fc31
1.40-449.fc31
2
glibc-devel
2.30-7.fc31
2.30-8.fc31
3
python-pip-wheel
19.1.1-5.fc31
19.1.1-6.fc31
3
glibc-minimal-langpack
2.30-7.fc31
2.30-8.fc31
3
libtiff
4.0.10-6.fc31
4.0.10-7.fc31
3
glibc-common
2.30-7.fc31
2.30-8.fc31
3
perl-Errno
1.30-448.fc31
1.30-449.fc31
3
emacs-filesystem
1:26.2-2.fc31
1:26.3-1.fc31
3
binutils
2.32-26.fc31
2.32-30.fc31
3
rpm
4.15.0-6.fc31
4.15.1-1.fc31
3
alsa-lib
1.2.1-3.fc31
1.2.1.2-4.fc31
3
rpm-libs
4.15.0-6.fc31
4.15.1-1.fc31
4
gnutls
3.6.10-1.fc31
3.6.11-1.fc31
4
glibc-headers
2.30-7.fc31
2.30-8.fc31
4
binutils-gold
2.32-26.fc31
2.32-30.fc31
4
rpm-build
4.15.0-6.fc31
4.15.1-1.fc31
B
rpm-build-libs
4.15.0-6.fc31
4.15.1-1.fc31
B
perl-Storable
1:3.15-441.fc31
1:3.15-442.fc31
B
rust-srpm-macros
10-2.fc31
12-1.fc31
B
make
1:4.2.1-14.fc31
1:4.2.1-15.fc31
B
gdb-minimal
8.3.50.20190824-24.fc31
8.3.50.20190824-25.fc31
B
perl-interpreter
4:5.30.0-446.fc31
4:5.30.1-448.fc31
1
ghostscript
9.27-1.fc31
9.27-2.fc31
1
perl-macros
4:5.30.0-446.fc31
4:5.30.1-448.fc31
2
perl-libs
4:5.30.0-446.fc31
4:5.30.1-448.fc31
2
perl-IO
1.40-446.fc31
1.40-448.fc31
2
glibc
2.30-5.fc31
2.30-7.fc31
2
libgs
9.27-1.fc31
9.27-2.fc31
2
python-pip-wheel
19.1.1-4.fc31
19.1.1-5.fc31
3
libssh
0.9.0-6.fc31
0.9.2-1.fc31
3
glibc-minimal-langpack
2.30-5.fc31
2.30-7.fc31
3
binutils
2.32-24.fc31
2.32-26.fc31
3
glibc-common
2.30-5.fc31
2.30-7.fc31
3
perl-Errno
1.30-446.fc31
1.30-448.fc31
3
libidn2
2.2.0-2.fc31
2.3.0-1.fc31
3
libjpeg-turbo
2.0.2-4.fc31
2.0.2-5.fc31
3
glibc-devel
2.30-5.fc31
2.30-7.fc31
3
libssh-config
0.9.0-6.fc31
0.9.2-1.fc31
4
glibc-headers
2.30-5.fc31
2.30-7.fc31
4
pcre2
10.33-15.fc31
10.33-16.fc31
4
binutils-gold
2.32-24.fc31
2.32-26.fc31
4
libpwquality
1.4.1-1.fc31
1.4.2-1.fc31
B
systemd-libs
243-3.gitef67743....
243.4-1.fc31
B
swig
4.0.1-1.fc31
4.0.1-2.fc31
1
python3-devel
3.7.4-5.fc31
3.7.5-1.fc31
1
perl-Scalar-List-Utils
3:1.52-439.fc31
3:1.53-439.fc31
2
zlib
1.2.11-19.fc31
1.2.11-20.fc31
2
maven-lib
1:3.5.4-12.fc31
1:3.5.4-13.fc31
2
python3-libs
3.7.4-5.fc31
3.7.5-1.fc31
2
libuv
1:1.32.0-1.fc31
1:1.33.0-2.fc31
2
python3
3.7.4-5.fc31
3.7.5-1.fc31
2
libxml2
2.9.9-3.fc31
2.9.10-1.fc31
3
libnghttp2
1.39.2-1.fc31
1.39.2-2.fc31
3
cups-libs
1:2.2.12-2.fc31
1:2.2.12-3.fc31
3
alsa-lib
1.1.9-2.fc31
1.2.1-3.fc31
3
pcre2
10.33-14.fc31
10.33-15.fc31
4
crypto-policies
20190816-4.gitbb9bf99....
20191002-1.gitc93dc99....
4
redhat-rpm-config
140-2.fc31
142-1.fc31
4
file-libs
5.37-3.fc31
5.37-8.fc31
B
kernel-headers
5.3.6-300.fc31
5.3.11-300.fc31
B
fedora-release
31-1
31-2
B
file
5.37-3.fc31
5.37-8.fc31
B
fedora-release-common
31-1
31-2
B
audit-libs
3.0-0.12.20190507...
3.0-0.15.20191104...
B
java-1.8.0-openjdk-devel
1:1.8.0.222.b10-1.fc31
1:1.8.0.232.b09-0.fc31
1
gdbm-libs
1:1.18-5.fc31
1:1.18.1-1.fc31
2
tbb-devel
2019.8-3.fc31
2019.9-1.fc31
2
java-1.8.0-openjdk-headless
1:1.8.0.222.b10-1.fc31
1:1.8.0.232.b09-0.fc31
2
coreutils
8.31-4.fc31
8.31-6.fc31
2
java-1.8.0-openjdk
1:1.8.0.222.b10-1.fc31
1:1.8.0.232.b09-0.fc31
2
openjpeg2
2.3.1-2.fc31
2.3.1-3.fc31
3
coreutils-common
8.31-4.fc31
8.31-6.fc31
3
tbb
2019.8-3.fc31
2019.9-1.fc31
3
openssl-libs
1:1.1.1d-1.fc31
1:1.1.1d-2.fc31
3
sqlite-libs
3.29.0-2.fc31
3.30.0-1.fc31
3
rpm
4.15.0-1.fc31
4.15.0-6.fc31
3
rpm-libs
4.15.0-1.fc31
4.15.0-6.fc31
4
setup
2.13.3-2.fc31
2.13.6-1.fc31
4
nss-softokn
3.46.0-2.fc31
fedora-release-common
31-0.11
31-1
B
nss-sysinit
3.46.0-2.fc31
libcap-ng
0.7.9-8.fc31
0.7.10-1.fc31
B
systemd-libs
243-2.gitfab6f01....
243-3.gitef67743....
B
rpm-build
4.15.0-1.fc31
4.15.0-6.fc31
B
nss-util
3.46.0-2.fc31
nss
3.46.0-2.fc31
nss-softokn-freebl
3.46.0-2.fc31
fedora-release
31-0.11
31-1
B
nspr
4.22.0-1.fc31
rpm-build-libs
4.15.0-1.fc31
4.15.0-6.fc31
B
fedora-gpg-keys
31-0.6
31-1
B
fedora-repos
31-0.6
31-1
B
kernel-headers
5.3.2-300.fc31
5.3.6-300.fc31
B
ghostscript
9.26-6.fc31
9.27-1.fc31
1
libuv
1:1.31.0-0.fc31
1:1.32.0-1.fc31
2
python3-rpm-macros
3-47.fc31
3-49.fc31
2
glibc
2.30-4.fc31
2.30-5.fc31
2
python-rpm-macros
3-47.fc31
3-49.fc31
2
libgs
9.26-6.fc31
9.27-1.fc31
2
giflib
5.2.1-2.fc31
5.2.1-3.fc31
3
python-srpm-macros
3-47.fc31
3-49.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
glibc-minimal-langpack
2.30-4.fc31
2.30-5.fc31
3
glibc-devel
2.30-4.fc31
2.30-5.fc31
3
glibc-common
2.30-4.fc31
2.30-5.fc31
3
krb5-libs
1.17-40.fc31
1.17-45.fc31
3
pcre2
10.33-13.fc31
10.33-14.fc31
4
rpm-libs
4.15.0-0.rc1.1.fc31
4.15.0-1.fc31
4
glibc-headers
2.30-4.fc31
2.30-5.fc31
4
crypto-policies
20190816-2.gitbb9bf99....
20190816-4.gitbb9bf99....
4
gnutls
3.6.9-1.fc31
3.6.10-1.fc31
4
tzdata
2019b-2.fc31
2019c-1.fc31
4
qt5-srpm-macros
5.12.4-2.fc31
5.12.5-1.fc31
B
kernel-headers
5.3.0-0.rc6.git0.1....
5.3.2-300.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
ghc-srpm-macros
1.4.2-10.fc31
1.5.0-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
perl-IO
1.40-444.fc31
1.40-446.fc31
2
zlib
1.2.11-18.fc31
1.2.11-19.fc31
2
lfsc
0.20190226-2.fc31
0.20190808-1.fc31
2
libcurl
7.65.3-3.fc31
7.66.0-1.fc31
2
libarchive
3.3.3-8.fc31
3.4.0-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
glibc
2.30-1.fc31
2.30-4.fc31
2
expat
2.2.7-2.fc31
2.2.8-1.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
perl-Errno
1.30-444.fc31
1.30-446.fc31
3
libxcrypt
4.4.9-1.fc31
4.4.10-1.fc31
3
fontconfig
2.13.92-2.fc31
2.13.92-3.fc31
3
glibc-minimal-langpack
2.30-1.fc31
2.30-4.fc31
3
python-setuptools-wheel
41.0.1-4.fc31
41.2.0-1.fc31
3
libtirpc
1.1.4-2.rc2.fc31.2
1.1.4-2.rc3.fc31
3
glibc-common
2.30-1.fc31
2.30-4.fc31
3
openssl-libs
1:1.1.1c-5.fc31
1:1.1.1d-1.fc31
3
glibc-devel
2.30-1.fc31
2.30-4.fc31
3
maven-wagon-provider-api
3.3.3-3.fc31
3.3.3-4.fc31
3
cups-libs
1:2.2.12-1.fc31
1:2.2.12-2.fc31
3
libuuid
2.34-2.fc31
2.34-3.fc31
3
curl
7.65.3-3.fc31
7.66.0-1.fc31
4
glibc-headers
2.30-1.fc31
2.30-4.fc31
4
libxcrypt-devel
4.4.9-1.fc31
4.4.10-1.fc31
4
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
libblkid
2.34-2.fc31
2.34-3.fc31
B
shadow-utils
2:4.6-15.fc31
2:4.6-16.fc31
B
annobin
8.78-1.fc31
8.78-2.fc31
B
libpwquality
1.4.0-14.fc31
1.4.1-1.fc31
B
util-linux
2.34-2.fc31
2.34-3.fc31
B
libsmartcols
2.34-2.fc31
2.34-3.fc31
B
gcc-c++
9.1.1-2.fc31.1
9.2.1-1.fc31
1
maven-lib
1:3.5.4-11.fc31
1:3.5.4-12.fc31
2
libquadmath-devel
9.1.1-2.fc31.1
9.2.1-1.fc31
2
tbb-devel
2019.6-1.fc31
2019.8-3.fc31
2
libstdc++-devel
9.1.1-2.fc31.1
9.2.1-1.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
libgcc
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
libquadmath
9.1.1-2.fc31.1
9.2.1-1.fc31
3
libgomp
9.1.1-2.fc31.1
9.2.1-1.fc31
3
nss
3.44.1-2.fc31
3.46.0-2.fc31
3
cpp
9.1.1-2.fc31.1
9.2.1-1.fc31
3
rpm
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
3
libxcrypt
4.4.6-3.fc31
4.4.9-1.fc31
3
maven-wagon-provider-api
3.3.3-2.fc31
3.3.3-3.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
jbig2dec-libs
0.14-6.fc31
0.16-1.fc31
3
nss-util
3.44.1-2.fc31
3.46.0-2.fc31
3
tbb
2019.6-1.fc31
2019.8-3.fc31
3
pcre2
10.33-11.fc31
10.33-13.fc31
4
nss-softokn-freebl
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-sysinit
3.44.1-2.fc31
3.46.0-2.fc31
4
rpm-libs
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
4
xbean
4.9-5.fc31
4.14-1.fc31
4
kernel-headers
5.3.0-0.rc5.git0.1....
5.3.0-0.rc6.git0.1....
B
rpm-build-libs
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
B
rpm-build
4.15.0-0.beta.2.fc31.2
4.15.0-0.rc1.1.fc31
B
gdb-minimal
8.3.50.20190802-21.fc31
8.3.50.20190824-24.fc31
B
systemd-libs
243~rc2-1.fc31
243-1.fc31
B
Real build: cvc4-1.7-6.fc31
Previous history