cvc4

Package information

State
ok

Scheduler parameters

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

maven-resolver-util
1:1.3.3-2.fc31
1:1.4.1-1.fc32
3
maven-resolver-spi
1:1.3.3-2.fc31
1:1.4.1-1.fc32
3
openssl-libs
1:1.1.1d-4.fc32
1:1.1.1d-5.fc32
3
maven-resolver-api
1:1.3.3-2.fc31
1:1.4.1-1.fc32
3
maven-resolver-impl
1:1.3.3-2.fc31
1:1.4.1-1.fc32
3
krb5-libs
1.17-48.fc32
1.17-51.fc32
3
binutils
2.33.1-7.fc32
2.33.1-8.fc32
3
binutils-gold
2.33.1-7.fc32
2.33.1-8.fc32
4
xbean
4.14-2.fc32
4.15-1.fc32
4
gdb-minimal
9.0.50.20191018-1.fc32
9.0.50.20191119-2.fc32
B
libtasn1
4.14-2.fc31
4.15.0-1.fc32
B

Most recent builds

cmake
3.15.5-2.fc32
3.16.0-0.1.rc4.fc32
1
swig
4.0.1-2.fc32
4.0.1-3.fc32
1
java-1.8.0-openjdk-devel
1:1.8.0.232.b09-0.fc32
1:1.8.0.242.b01-0.0.ea.fc32
1
cmake-filesystem
3.15.5-2.fc32
3.16.0-0.1.rc4.fc32
2
java-1.8.0-openjdk-headless
1:1.8.0.232.b09-0.fc32
1:1.8.0.242.b01-0.0.ea.fc32
2
cmake-data
3.15.5-2.fc32
3.16.0-0.1.rc4.fc32
2
cmake-rpm-macros
3.15.5-2.fc32
3.16.0-0.1.rc4.fc32
2
java-1.8.0-openjdk
1:1.8.0.232.b09-0.fc32
1:1.8.0.242.b01-0.0.ea.fc32
2
glibc
2.30.9000-18.fc32
2.30.9000-19.fc32
2
glibc-devel
2.30.9000-18.fc32
2.30.9000-19.fc32
3
alsa-lib
1.2.1-3.fc32
1.2.1.1-1.fc32
3
cups-libs
1:2.2.12-3.fc32
1:2.3.0-1.fc32
3
rpm
4.15.0-7.fc32
4.15.1-1.fc32
3
libidn2
2.2.0-2.fc31
2.3.0-1.fc32
3
krb5-libs
1.17-47.fc32
1.17-48.fc32
3
glibc-common
2.30.9000-18.fc32
2.30.9000-19.fc32
3
glibc-minimal-langpack
2.30.9000-18.fc32
2.30.9000-19.fc32
3
rpm-libs
4.15.0-7.fc32
4.15.1-1.fc32
4
glibc-headers
2.30.9000-18.fc32
2.30.9000-19.fc32
4
pcre2
10.34-0.1.RC2.fc32
10.34-0.2.RC2.fc32
4
file-libs
5.37-8.fc32
5.37-9.fc32
B
annobin
8.90-1.fc32
8.91-1.fc32
B
rpm-build
4.15.0-7.fc32
4.15.1-1.fc32
B
systemd-libs
243-4.gitef67743....
243.4-1.fc32
B
file
5.37-8.fc32
5.37-9.fc32
B
rpm-build-libs
4.15.0-7.fc32
4.15.1-1.fc32
B
unzip
6.0-45.fc32
6.0-46.fc32
B
ghostscript
9.27-1.fc32
9.27-2.fc32
1
boost-devel
1.69.0-12.fc32
1.69.0-13.fc32
1
cmake
3.15.4-1.fc32
3.15.5-2.fc32
1
cmake-rpm-macros
3.15.4-1.fc32
3.15.5-2.fc32
2
libgs
9.27-1.fc32
9.27-2.fc32
2
cmake-data
3.15.4-1.fc32
3.15.5-2.fc32
2
boost-serialization
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-fiber
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-atomic
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-regex
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-stacktrace
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-container
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-iostreams
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-date-time
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-math
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-graph
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-filesystem
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-log
1.69.0-12.fc32
1.69.0-13.fc32
2
boost
1.69.0-12.fc32
1.69.0-13.fc32
2
cmake-filesystem
3.15.4-1.fc32
3.15.5-2.fc32
2
boost-program-options
1.69.0-12.fc32
1.69.0-13.fc32
2
libcurl
7.67.0-1.fc32
7.67.0-2.fc32
2
boost-test
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-random
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-type_erasure
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-chrono
1.69.0-12.fc32
1.69.0-13.fc32
2
jsoncpp
1.9.1-1.fc32
1.9.2-1.fc32
2
boost-locale
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-system
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-context
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-contract
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-timer
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-wave
1.69.0-12.fc32
1.69.0-13.fc32
2
boost-coroutine
1.69.0-12.fc32
1.69.0-13.fc32
2
openssl-libs
1:1.1.1d-3.fc32
1:1.1.1d-4.fc32
3
alsa-lib
1.2.1-1.fc32
1.2.1-3.fc32
3
libnghttp2
1.39.2-1.fc32
1.40.0-1.fc32
3
rpm
4.15.0-6.fc32
4.15.0-7.fc32
3
boost-thread
1.69.0-12.fc32
1.69.0-13.fc32
3
rpm-libs
4.15.0-6.fc32
4.15.0-7.fc32
4
curl
7.67.0-1.fc32
7.67.0-2.fc32
4
rpm-build
4.15.0-6.fc32
4.15.0-7.fc32
B
rpm-build-libs
4.15.0-6.fc32
4.15.0-7.fc32
B
annobin
8.88-1.fc32
8.90-1.fc32
B
perl-interpreter
4:5.30.1-447.fc32
4:5.30.1-448.fc32
1
perl-IO
1.40-447.fc32
1.40-448.fc32
2
ncurses-libs
6.1-13.20191026.fc32
6.1-14.20191109.fc32
2
python3-setuptools
41.2.0-1.fc32
41.6.0-1.fc32
2
glibc
2.30.9000-17.fc32
2.30.9000-18.fc32
2
perl-libs
4:5.30.1-447.fc32
4:5.30.1-448.fc32
2
perl-macros
4:5.30.1-447.fc32
4:5.30.1-448.fc32
2
ncurses-devel
6.1-13.20191026.fc32
6.1-14.20191109.fc32
2
ncurses
6.1-13.20191026.fc32
6.1-14.20191109.fc32
3
glibc-devel
2.30.9000-17.fc32
2.30.9000-18.fc32
3
perl-Errno
1.30-447.fc32
1.30-448.fc32
3
glibc-common
2.30.9000-17.fc32
2.30.9000-18.fc32
3
openssl-libs
1:1.1.1d-2.fc32
1:1.1.1d-3.fc32
3
ncurses-base
6.1-13.20191026.fc32
6.1-14.20191109.fc32
3
binutils
2.33.1-6.fc32
2.33.1-7.fc32
3
glibc-minimal-langpack
2.30.9000-17.fc32
2.30.9000-18.fc32
3
python-setuptools-wheel
41.2.0-1.fc32
41.6.0-1.fc32
3
alsa-lib
1.1.9-2.fc31
1.2.1-1.fc32
3
ncurses-c++-libs
6.1-13.20191026.fc32
6.1-14.20191109.fc32
3
glibc-headers
2.30.9000-17.fc32
2.30.9000-18.fc32
4
binutils-gold
2.33.1-6.fc32
2.33.1-7.fc32
4
Real build: cvc4-1.7-7.fc32
cadical-devel
1:1.0.3-3.fc31
1:1.2.1-1.fc32
1
perl-interpreter
4:5.30.0-446.fc32
4:5.30.1-447.fc32
1
cadical-libs
1:1.0.3-3.fc31
1:1.2.1-1.fc32
2
perl-libs
4:5.30.0-446.fc32
4:5.30.1-447.fc32
2
perl-macros
4:5.30.0-446.fc32
4:5.30.1-447.fc32
2
stringtemplate4
4.0.8-9.fc31
4.2-1.fc32
2
perl-IO
1.40-446.fc32
1.40-447.fc32
2
perl-Errno
1.30-446.fc32
1.30-447.fc32
3
libselinux
2.9-7.fc32
3.0-0.r1.1.fc32
3
pcre2
10.33-15.fc32
10.34-0.1.RC2.fc32
4
libsepol
2.9-2.fc31
3.0-0.rc.1.fc32
4
libsemanage
2.9-5.fc32
3.0-0.rc1.1.fc32
B
glibc
2.30.9000-16.fc32
2.30.9000-17.fc32
2
libcurl
7.66.0-1.fc32
7.67.0-1.fc32
2
maven-lib
1:3.6.1-1.fc32
1:3.6.1-2.fc32
2
which
2.21-15.fc31
2.21-16.fc32
2
glibc-common
2.30.9000-16.fc32
2.30.9000-17.fc32
3
binutils
2.33.1-3.fc32
2.33.1-6.fc32
3
glibc-devel
2.30.9000-16.fc32
2.30.9000-17.fc32
3
plexus-containers-component-annotations
2.0.0-1.fc32
2.1.0-1.fc32
3
plexus-utils
3.2.1-1.fc32
3.3.0-1.fc32
3
libtiff
4.0.10-6.fc31
4.1.0-1.fc32
3
plexus-containers-container-default
2.0.0-1.fc32
2.1.0-1.fc32
3
libssh
0.9.0-6.fc31
0.9.2-1.fc32
3
krb5-libs
1.17-46.fc32
1.17-47.fc32
3
jbig2dec-libs
0.16-1.fc32
0.17-2.fc32
3
glibc-minimal-langpack
2.30.9000-16.fc32
2.30.9000-17.fc32
3
curl
7.66.0-1.fc32
7.67.0-1.fc32
4
libssh-config
0.9.0-6.fc31
0.9.2-1.fc32
4
glibc-headers
2.30.9000-16.fc32
2.30.9000-17.fc32
4
binutils-gold
2.33.1-3.fc32
2.33.1-6.fc32
4
kernel-headers
5.4.0-0.rc5.git0.1....
5.4.0-0.rc6.git0.1....
B
audit-libs
3.0-0.14.20190507...
3.0-0.15.20191104...
B
2019-11-07 10:32:18
Package dependencies resolved successfuly
2019-11-06 19:22:50
Package resolution failed
  • Problem: conflicting requests
    - nothing provides mvn(org.antlr:ST4) needed by antlr3-tool-1:3.5.2-24.fc31.noarch
boost-devel
1.69.0-11.fc32
1.69.0-12.fc32
1
boost-stacktrace
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-wave
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-iostreams
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-locale
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-test
1.69.0-11.fc32
1.69.0-12.fc32
2
libicu-devel
63.2-3.fc31
65.1-1.fc32
2
boost-atomic
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-regex
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-filesystem
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-system
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-math
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-serialization
1.69.0-11.fc32
1.69.0-12.fc32
2
boost
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-coroutine
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-contract
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-chrono
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-type_erasure
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-timer
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-fiber
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-graph
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-random
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-context
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-container
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-date-time
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-log
1.69.0-11.fc32
1.69.0-12.fc32
2
boost-program-options
1.69.0-11.fc32
1.69.0-12.fc32
2
libicu
63.2-3.fc31
65.1-1.fc32
3
libxml2
2.9.9-6.fc32
2.9.10-1.fc32
3
python-pip-wheel
19.2.3-1.fc32
19.2.3-2.fc32
3
boost-thread
1.69.0-11.fc32
1.69.0-12.fc32
3
libtirpc
1.1.4-2.rc3.fc32
1.1.4-3.rc3.fc32
3
redhat-rpm-config
141-2.fc32
142-1.fc32
4
fedora-release-common
32-0.3
32-0.4
B
annobin
8.87-1.fc32
8.88-1.fc32
B
nettle
3.5.1-3.fc31
3.5.1-4.fc32
B
fedora-release
32-0.3
32-0.4
B
libpwquality
1.4.1-1.fc32
1.4.2-1.fc32
B
Previous history