cvc4

Package information

State
ok

Scheduler parameters

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

2020-01-20 13:58:05
Package dependencies resolved successfuly
2020-01-20 11:40:42
Package resolution failed
  • Problem: conflicting requests
    - nothing provides gcc(major) = 9 needed by libtool-2.4.6-31.fc31.x86_64
2020-01-16 22:36:41
Package dependencies resolved successfuly
2020-01-16 17:44:23
Package resolution failed
  • Problem: package cryptominisat-devel-5.6.8-3.fc32.x86_64 requires libcryptominisat5.so.5.6()(64bit), but none of the providers can be installed
    - package cryptominisat-devel-5.6.8-3.fc32.x86_64 requires cryptominisat-libs(x86-64) = 5.6.8-3.fc32, but none of the providers can be installed
    - conflicting requests
    - nothing provides libm4ri-0.0.20140914.so()(64bit) needed by cryptominisat-libs-5.6.8-3.fc32.x86_64
glibc
2.30.9000-28.fc32
2.30.9000-29.fc32
2
libcurl
7.67.0-2.fc32
7.68.0-1.fc32
2
python3-rpm-generators
10-1.fc32
10-2.fc32
2
rpm
4.15.1-1.fc32
4.15.1-2.fc32
3
glibc-minimal-langpack
2.30.9000-28.fc32
2.30.9000-29.fc32
3
libuuid
2.35-0.4.fc32
2.35-0.5.fc32
3
krb5-libs
1.17.1-2.fc32
1.17.1-5.fc32
3
binutils
2.33.1-10.fc32
2.33.1-11.fc32
3
glibc-devel
2.30.9000-28.fc32
2.30.9000-29.fc32
3
libxml2
2.9.10-1.fc32
2.9.10-2.fc32
3
libcom_err
1.45.4-1.fc32
1.45.5-1.fc32
3
libjpeg-turbo
2.0.3-1.fc32
2.0.4-1.fc32
3
glibc-common
2.30.9000-28.fc32
2.30.9000-29.fc32
3
curl
7.67.0-2.fc32
7.68.0-1.fc32
4
binutils-gold
2.33.1-10.fc32
2.33.1-11.fc32
4
rpm-libs
4.15.1-1.fc32
4.15.1-2.fc32
4
glibc-headers
2.30.9000-28.fc32
2.30.9000-29.fc32
4
xorg-x11-font-utils
1:7.5-42.fc31
1:7.5-43.fc32
4
perl-Encode
4:3.01-439.fc31
4:3.02-440.fc32
B
util-linux
2.35-0.4.fc32
2.35-0.5.fc32
B
libsmartcols
2.35-0.4.fc32
2.35-0.5.fc32
B
perl-Term-ANSIColor
4.06-440.fc31
5.00-1.fc32
B
libmount
2.35-0.4.fc32
2.35-0.5.fc32
B
libblkid
2.35-0.4.fc32
2.35-0.5.fc32
B
libfdisk
2.35-0.4.fc32
2.35-0.5.fc32
B
kernel-headers
5.5.0-0.rc4.git0.1....
5.5.0-0.rc5.git0.1....
B
info
6.7-2.fc32
6.7-3.fc32
B
rpm-build
4.15.1-1.fc32
4.15.1-2.fc32
B
rpm-build-libs
4.15.1-1.fc32
4.15.1-2.fc32
B
perl-podlators
1:4.13-1.fc32
1:4.14-1.fc32
B
python3-rpm-generators
9-2.fc31
10-1.fc32
2
tbb-devel
2019.9-1.fc32
2020-1.fc32
2
glibc
2.30.9000-27.fc32
2.30.9000-28.fc32
2
tbb
2019.9-1.fc32
2020-1.fc32
3
cups-libs
1:2.3.1-1.fc32
1:2.3.1-2.fc32
3
glibc-devel
2.30.9000-27.fc32
2.30.9000-28.fc32
3
python-pip-wheel
19.2.3-2.fc32
19.3.1-1.fc32
3
glibc-common
2.30.9000-27.fc32
2.30.9000-28.fc32
3
glibc-minimal-langpack
2.30.9000-27.fc32
2.30.9000-28.fc32
3
glibc-headers
2.30.9000-27.fc32
2.30.9000-28.fc32
4
kernel-headers
5.5.0-0.rc3.git0.1....
5.5.0-0.rc4.git0.1....
B
perl-podlators
1:4.12-2.fc31
1:4.13-1.fc32
B
java-1.8.0-openjdk-devel
1:1.8.0.242.b02-0.0.ea.fc32
1:1.8.0.242.b04-0.0.ea.fc32
1
java-1.8.0-openjdk-headless
1:1.8.0.242.b02-0.0.ea.fc32
1:1.8.0.242.b04-0.0.ea.fc32
2
python3-rpm-macros
3-50.fc32
3-51.fc32
2
glibc
2.30.9000-26.fc32
2.30.9000-27.fc32
2
python-rpm-macros
3-50.fc32
3-51.fc32
2
java-1.8.0-openjdk
1:1.8.0.242.b02-0.0.ea.fc32
1:1.8.0.242.b04-0.0.ea.fc32
2
glibc-common
2.30.9000-26.fc32
2.30.9000-27.fc32
3
python-srpm-macros
3-50.fc32
3-51.fc32
3
glibc-minimal-langpack
2.30.9000-26.fc32
2.30.9000-27.fc32
3
glibc-devel
2.30.9000-26.fc32
2.30.9000-27.fc32
3
glibc-headers
2.30.9000-26.fc32
2.30.9000-27.fc32
4
kernel-headers
5.5.0-0.rc2.git0.1....
5.5.0-0.rc3.git0.1....
B
systemd-libs
244.1-1.fc32
244.1-2.fc32
B
python3-devel
3.8.1~rc1-1.fc32
3.8.1-1.fc32
1
python3-libs
3.8.1~rc1-1.fc32
3.8.1-1.fc32
2
python3
3.8.1~rc1-1.fc32
3.8.1-1.fc32
2
glibc
2.30.9000-25.fc32
2.30.9000-26.fc32
2
glibc-minimal-langpack
2.30.9000-25.fc32
2.30.9000-26.fc32
3
libuuid
2.35-0.2.fc32
2.35-0.4.fc32
3
glibc-devel
2.30.9000-25.fc32
2.30.9000-26.fc32
3
libtirpc
1.1.4-3.rc3.fc32
1.2.5-0.fc32
3
glibc-common
2.30.9000-25.fc32
2.30.9000-26.fc32
3
glibc-headers
2.30.9000-25.fc32
2.30.9000-26.fc32
4
libfdisk
2.35-0.2.fc32
2.35-0.4.fc32
B
libsmartcols
2.35-0.2.fc32
2.35-0.4.fc32
B
util-linux
2.35-0.2.fc32
2.35-0.4.fc32
B
libblkid
2.35-0.2.fc32
2.35-0.4.fc32
B
rust-srpm-macros
12-1.fc32
13-1.fc32
B
libmount
2.35-0.2.fc32
2.35-0.4.fc32
B
Previous history