cvc4

Package information

State
ok

Scheduler parameters

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

java-1.8.0-openjdk-devel
1:1.8.0.232.b08-0.0.ea.fc32
1:1.8.0.232.b09-0.fc32
1
swig
4.0.1-1.fc32
4.0.1-2.fc32
1
cmake
3.15.3-1.fc32
3.15.4-1.fc32
1
coreutils
8.31-5.fc32
8.31-6.fc32
2
java-1.8.0-openjdk
1:1.8.0.232.b08-0.0.ea.fc32
1:1.8.0.232.b09-0.fc32
2
cmake-rpm-macros
3.15.3-1.fc32
3.15.4-1.fc32
2
cmake-data
3.15.3-1.fc32
3.15.4-1.fc32
2
java-1.8.0-openjdk-headless
1:1.8.0.232.b08-0.0.ea.fc32
1:1.8.0.232.b09-0.fc32
2
cmake-filesystem
3.15.3-1.fc32
3.15.4-1.fc32
2
coreutils-common
8.31-5.fc32
8.31-6.fc32
3
rpm
4.15.0-2.fc32
4.15.0-4.fc32
3
rpm-libs
4.15.0-2.fc32
4.15.0-4.fc32
4
systemd-libs
243-3.gitef67743....
243-4.gitef67743....
B
rpm-build
4.15.0-2.fc32
4.15.0-4.fc32
B
rpm-build-libs
4.15.0-2.fc32
4.15.0-4.fc32
B

Most recent builds

python3-devel
3.8.0~rc1-1.fc32
3.8.0-1.fc32
1
java-1.8.0-openjdk-devel
1:1.8.0.232.b05-0.0.ea.fc32
1:1.8.0.232.b08-0.0.ea.fc32
1
gcc-c++
9.2.1-1.fc32.1
9.2.1-1.fc32.3
1
libstdc++
9.2.1-1.fc32.1
9.2.1-1.fc32.3
2
gcc
9.2.1-1.fc32.1
9.2.1-1.fc32.3
2
libstdc++-devel
9.2.1-1.fc32.1
9.2.1-1.fc32.3
2
libmpc
1.1.0-4.fc31
1.1.0-7.fc32
2
mpfr
3.1.6-5.fc31
4.0.2-2.fc32
2
python3-libs
3.8.0~rc1-1.fc32
3.8.0-1.fc32
2
libquadmath-devel
9.2.1-1.fc32.1
9.2.1-1.fc32.3
2
python3
3.8.0~rc1-1.fc32
3.8.0-1.fc32
2
libgcc
9.2.1-1.fc32.1
9.2.1-1.fc32.3
2
java-1.8.0-openjdk-headless
1:1.8.0.232.b05-0.0.ea.fc32
1:1.8.0.232.b08-0.0.ea.fc32
2
java-1.8.0-openjdk
1:1.8.0.232.b05-0.0.ea.fc32
1:1.8.0.232.b08-0.0.ea.fc32
2
cups-libs
1:2.2.12-2.fc32
1:2.2.12-3.fc32
3
cpp
9.2.1-1.fc32.1
9.2.1-1.fc32.3
3
libgomp
9.2.1-1.fc32.1
9.2.1-1.fc32.3
3
libquadmath
9.2.1-1.fc32.1
9.2.1-1.fc32.3
3
rpm
4.15.0-1.fc32
4.15.0-2.fc32
3
rpm-libs
4.15.0-1.fc32
4.15.0-2.fc32
4
gawk
5.0.1-5.fc32
5.0.1-6.fc32
4
annobin
8.84-1.fc32
8.85-1.fc32
B
pam
1.3.1-19.fc32
1.3.1-20.fc32
B
rpm-build
4.15.0-1.fc32
4.15.0-2.fc32
B
rpm-build-libs
4.15.0-1.fc32
4.15.0-2.fc32
B
gdb-minimal
8.3.50.20190924-27.fc32
8.3.50.20190924-28.fc32
B
java-1.8.0-openjdk-devel
1:1.8.0.232.b01-0.0.ea.fc32
1:1.8.0.232.b05-0.0.ea.fc32
1
tbb-devel
2019.8-4.fc32
2019.9-1.fc32
2
java-1.8.0-openjdk
1:1.8.0.232.b01-0.0.ea.fc32
1:1.8.0.232.b05-0.0.ea.fc32
2
java-1.8.0-openjdk-headless
1:1.8.0.232.b01-0.0.ea.fc32
1:1.8.0.232.b05-0.0.ea.fc32
2
coreutils
8.31-4.fc31
8.31-5.fc32
2
sqlite-libs
3.30.0-1.fc32
3.30.1-1.fc32
3
tbb
2019.8-4.fc32
2019.9-1.fc32
3
binutils
2.32-27.fc32
2.33.1-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
plexus-utils
3.2.0-2.fc31
3.2.1-1.fc32
3
libX11-common
1.6.8-3.fc31
1.6.9-1.fc32
4
binutils-gold
2.32-27.fc32
2.33.1-1.fc32
4
setup
2.13.3-2.fc31
2.13.6-1.fc32
4
file
5.37-6.fc32
5.37-7.fc32
B
annobin
8.81-1.fc32
8.84-1.fc32
B
jboss-interceptors-1.2-api
1.0.0-11.fc31
1.0.1-1.fc32
B
systemd-libs
243-2.gitfab6f01....
243-3.gitef67743....
B
file-libs
5.37-6.fc32
5.37-7.fc32
B
gcc-c++
9.2.1-1.fc32
9.2.1-1.fc32.1
1
libstdc++-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
libgcc
9.2.1-1.fc32
9.2.1-1.fc32.1
2
libstdc++
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
libquadmath
9.2.1-1.fc32
9.2.1-1.fc32.1
3
sqlite-libs
3.29.0-2.fc31
3.30.0-1.fc32
3
glibc-devel
2.30.9000-10.fc32
2.30.9000-11.fc32
3
libgomp
9.2.1-1.fc32
9.2.1-1.fc32.1
3
glibc-minimal-langpack
2.30.9000-10.fc32
2.30.9000-11.fc32
3
glibc-common
2.30.9000-10.fc32
2.30.9000-11.fc32
3
cpp
9.2.1-1.fc32
9.2.1-1.fc32.1
3
binutils
2.32-26.fc32
2.32-27.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
file-libs
5.37-4.fc32
5.37-6.fc32
B
info
6.7-1.fc32
6.7-2.fc32
B
javapackages-tools
5.3.0-7.fc32
5.3.0-8.fc32
1
cxxtest
4.4-17.fc32
4.4-18.fc32
1
boost-devel
1.69.0-10.fc32
1.69.0-11.fc32
1
boost-atomic
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-date-time
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-timer
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-log
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-regex
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-container
1.69.0-10.fc32
1.69.0-11.fc32
2
tbb-devel
2019.8-3.fc32
2019.8-4.fc32
2
boost-context
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
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-random
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-fiber
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-program-options
1.69.0-10.fc32
1.69.0-11.fc32
2
python3-ply
3.11-4.fc32
3.11-5.fc32
2
boost-iostreams
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-test
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-system
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-filesystem
1.69.0-10.fc32
1.69.0-11.fc32
2
boost-math
1.69.0-10.fc32
1.69.0-11.fc32
2
libxml2
2.9.9-5.fc32
2.9.9-6.fc32
3
boost-thread
1.69.0-10.fc32
1.69.0-11.fc32
3
tbb
2019.8-3.fc32
2019.8-4.fc32
3
libcom_err
1.45.3-1.fc31
1.45.4-1.fc32
3
brotli
1.0.7-7.fc32
1.0.7-8.fc32
3
libselinux
2.9-6.fc32
2.9-7.fc32
3
openssl-libs
1:1.1.1d-1.fc32
1:1.1.1d-2.fc32
3
libsemanage
2.9-4.fc32
2.9-5.fc32
B
audit-libs
3.0-0.13.20190507...
3.0-0.14.20190507...
B
fedora-release-common
32-0.1
32-0.2
B
kernel-headers
5.3.0-1.fc32
5.4.0-0.rc1.git0.1....
B
fedora-release
32-0.1
32-0.2
B
cmake
3.14.5-4.fc31
3.15.3-1.fc32
1
python3-devel
3.8.0~b4-1.fc32
3.8.0~rc1-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-libs
3.8.0~b4-1.fc32
3.8.0~rc1-1.fc32
2
python3-rpm-macros
3-48.fc32
3-49.fc32
2
cmake-filesystem
3.14.5-4.fc31
3.15.3-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
python-rpm-macros
3-48.fc32
3-49.fc32
2
python3
3.8.0~b4-1.fc32
3.8.0~rc1-1.fc32
2
cmake-rpm-macros
3.14.5-4.fc31
3.15.3-1.fc32
2
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
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
glibc-common
2.30.9000-9.fc32
2.30.9000-10.fc32
3
glibc-minimal-langpack
2.30.9000-9.fc32
2.30.9000-10.fc32
3
python-srpm-macros
3-48.fc32
3-49.fc32
3
giflib
5.2.1-2.fc31
5.2.1-3.fc32
3
krb5-libs
1.17-45.fc32
1.17-46.fc32
3
glibc-devel
2.30.9000-9.fc32
2.30.9000-10.fc32
3
openjpeg2
2.3.1-2.fc31
2.3.1-3.fc32
3
glibc-headers
2.30.9000-9.fc32
2.30.9000-10.fc32
4
p11-kit-trust
0.23.16.1-2.fc31
0.23.18.1-1.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
libcap-ng
0.7.9-9.fc32
0.7.10-1.fc32
B
ghc-srpm-macros
1.4.2-10.fc31
1.5.0-1.fc32
B
ghostscript
9.26-6.fc31
9.27-1.fc32
1
glibc
2.30.9000-6.fc32
2.30.9000-9.fc32
2
libgs
9.26-6.fc31
9.27-1.fc32
2
glibc-common
2.30.9000-6.fc32
2.30.9000-9.fc32
3
libxcrypt
4.4.9-1.fc32
4.4.10-1.fc32
3
libXcomposite
0.4.4-17.fc31
0.4.5-1.fc32
3
krb5-libs
1.17-44.fc32
1.17-45.fc32
3
python-pip-wheel
19.1.1-8.fc32
19.2.3-1.fc32
3
tzdata-java
2019b-2.fc31
2019c-1.fc32
3
rpm
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
3
glibc-devel
2.30.9000-6.fc32
2.30.9000-9.fc32
3
binutils
2.32-24.fc31
2.32-26.fc32
3
glibc-minimal-langpack
2.30.9000-6.fc32
2.30.9000-9.fc32
3
crypto-policies
20190816-3.gitbb9bf99....
20190816-4.gitbb9bf99....
4
rpm-libs
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
4
libxcrypt-devel
4.4.9-1.fc32
4.4.10-1.fc32
4
avahi-libs
0.7-21.fc32
0.7-22.fc32
4
xbean
4.14-1.fc32
4.14-2.fc32
4
glibc-headers
2.30.9000-6.fc32
2.30.9000-9.fc32
4
binutils-gold
2.32-24.fc31
2.32-26.fc32
4
tzdata
2019b-2.fc31
2019c-1.fc32
4
libpwquality
1.4.0-15.fc32
1.4.1-1.fc32
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
rpm-build-libs
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
B
qt5-srpm-macros
5.12.4-2.fc31
5.12.5-1.fc32
B
annobin
8.79-2.fc32
8.81-1.fc32
B
rpm-build
4.15.0-0.rc1.1.fc32
4.15.0-1.fc32
B
info
6.6-2.fc31
6.7-1.fc32
B
systemd-libs
243-1.fc32
243-2.gitfab6f01....
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
autoconf
2.69-29.fc30
2.69-31.fc32
2
perl-libs
4:5.30.0-445.fc32
4:5.30.0-446.fc32
2
perl-IO
1.40-445.fc32
1.40-446.fc32
2
libarchive
3.3.3-8.fc31
3.4.0-1.fc32
2
expat
2.2.7-2.fc31
2.2.8-1.fc32
2
openssl-libs
1:1.1.1c-6.fc32
1:1.1.1d-1.fc32
3
krb5-libs
1.17-43.fc32
1.17-44.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
libuuid
2.34-4.fc32
2.34-6.fc32
3
emacs-filesystem
1:26.2-2.fc31
1:26.3-1.fc32
3
crypto-policies
20190816-2.gitbb9bf99....
20190816-3.gitbb9bf99....
4
curl
7.65.3-4.fc32
7.66.0-1.fc32
4
util-linux
2.34-4.fc32
2.34-6.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
libblkid
2.34-4.fc32
2.34-6.fc32
B
libfdisk
2.34-4.fc32
2.34-6.fc32
B
kernel-headers
5.3.0-0.rc7.git0.1....
5.3.0-1.fc32
B
libmount
2.34-4.fc32
2.34-6.fc32
B
Real build: cvc4-1.7-6.fc32
Previous history