cvc5

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

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

libuuid
2.40.4-5.fc43
2.40.4-6.fc43
3
util-linux
2.40.4-5.fc43
2.40.4-6.fc43
4
libtasn1
4.19.0-11.fc42
4.20.0-1.fc43
4
libfdisk
2.40.4-5.fc43
2.40.4-6.fc43
B
libmount
2.40.4-5.fc43
2.40.4-6.fc43
B
libsmartcols
2.40.4-5.fc43
2.40.4-6.fc43
B
util-linux-core
2.40.4-5.fc43
2.40.4-6.fc43
B
libblkid
2.40.4-5.fc43
2.40.4-6.fc43
B

State overview

Groups

This package is not part of any global group.

Most recent builds

Real build: cvc5-1.2.1-2.fc43
complete
129145722
2025-02-11 17:51:18
aarch64
├129145783 ( build.log | root.log )
ppc64le
├129145784 ( build.log | root.log )
s390x
├129145785 ( build.log | root.log )
x86_64
└129145782 ( build.log | root.log )
cryptominisat-devel
5.11.22-4.fc42
5.12.1-1.fc43
1
cryptominisat-libs
5.11.22-4.fc42
5.12.1-1.fc43
2
zlib-ng-devel
2.2.3-2.fc42
2
setup
2.15.0-10.fc42
2.15.0-12.fc43
3
gdb-minimal
15.2-7.fc42
16.2-1.fc43
3
zlib-ng
2.2.3-2.fc42
3
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc2.22.fc43
4
cups-libs
1:2.4.11-10.fc42
1:2.4.11-11.fc43
4
build-reproducibility-srpm-macros
0.5.0-2.fc42
0.6.0-1.fc43
4
cups-filesystem
1:2.4.11-10.fc42
1:2.4.11-11.fc43
B
zlib-ng-compat-devel
2.2.3-2.fc42
add-determinism
0.5.0-2.fc42
0.6.0-1.fc43
B
libeconf
0.7.5-2.fc42
0.7.6-1.fc43
B
complete
128991310
2025-02-08 14:14:05
aarch64
├128991427 ( build.log | root.log )
ppc64le
├128991428 ( build.log | root.log )
x86_64
└128991426 ( build.log | root.log )
sqlite-devel
3.47.2-2.fc42
3.49.0-1.fc43
1
python3-devel
3.13.1-4.fc42
3.13.2-2.fc43
1
glibc
2.40.9000-35.fc42
2.40.9000-37.fc43
2
pcre2
10.44-1.fc42.2
10.44-1.fc43.2
2
m4
1.4.19-10.fc41
1.4.19-12.fc43
2
sqlite
3.47.2-2.fc42
3.49.0-1.fc43
2
python3-libs
3.13.1-4.fc42
3.13.2-2.fc43
2
sqlite-libs
3.47.2-2.fc42
3.49.0-1.fc43
2
filesystem
3.18-36.fc42
3.18-38.fc43
2
python3
3.13.1-4.fc42
3.13.2-2.fc43
2
glibc-gconv-extra
2.40.9000-35.fc42
2.40.9000-37.fc43
3
libuuid
2.40.4-2.fc42
2.40.4-5.fc43
3
binutils
2.44-1.fc42
2.44-3.fc43
3
flexiblas-netlib
3.4.4-7.fc42
3.4.5-1.fc43
3
glibc-common
2.40.9000-35.fc42
2.40.9000-37.fc43
3
mpdecimal
2.5.1-17.fc42
4.0.0-2.fc43
3
glibc-devel
2.40.9000-35.fc42
2.40.9000-37.fc43
3
vim-filesystem
2:9.1.1000-2.fc42
2:9.1.1081-1.fc43
3
tzdata
2024b-2.fc42
2025a-1.fc43
3
glibc-minimal-langpack
2.40.9000-35.fc42
2.40.9000-37.fc43
3
pcre2-syntax
10.44-1.fc42.2
10.44-1.fc43.2
3
flexiblas-openblas-openmp
3.4.4-7.fc42
3.4.5-1.fc43
4
nss
3.107.0-2.fc42
3.108.0-3.fc43
4
fedora-release
43-0.1
43-0.2
4
filesystem-srpm-macros
3.18-36.fc42
3.18-38.fc43
4
flexiblas
3.4.4-7.fc42
3.4.5-1.fc43
4
rpm-sequoia
1.7.0-4.fc42
1.7.0-5.fc43
4
tzdata-java
2024b-2.fc42
2025a-1.fc43
4
util-linux
2.40.4-2.fc42
2.40.4-5.fc43
4
authselect-libs
1.5.0-9.fc42
1.5.1-1.fc43
B
nss-softokn-freebl
3.107.0-2.fc42
3.108.0-3.fc43
B
authselect
1.5.0-9.fc42
1.5.1-1.fc43
B
nss-softokn
3.107.0-2.fc42
3.108.0-3.fc43
B
basesystem
11-22.fc42
fedora-release-identity-basic
43-0.1
43-0.2
B
util-linux-core
2.40.4-2.fc42
2.40.4-5.fc43
B
libfdisk
2.40.4-2.fc42
2.40.4-5.fc43
B
nss-sysinit
3.107.0-2.fc42
3.108.0-3.fc43
B
nss-util
3.107.0-2.fc42
3.108.0-3.fc43
B
libmount
2.40.4-2.fc42
2.40.4-5.fc43
B
fedora-release-common
43-0.1
43-0.2
B
nspr
4.36.0-3.fc42
4.36.0-4.fc43
B
libblkid
2.40.4-2.fc42
2.40.4-5.fc43
B
libsmartcols
2.40.4-2.fc42
2.40.4-5.fc43
B
complete
128917310
2025-02-06 16:54:31
aarch64
├128917454 ( build.log | root.log )
ppc64le
├128917455 ( build.log | root.log )
x86_64
└128917456 ( build.log | root.log )
gcc-c++
15.0.1-0.6.fc42
15.0.1-0.7.fc43
1
git-core
2.48.1-2.fc42
2.48.1-3.fc43
1
python3-devel
3.13.1-3.fc42
3.13.1-4.fc42
1
pyproject-rpm-macros
1.16.4-2.fc42
1.17.0-1.fc43
1
python3
3.13.1-3.fc42
3.13.1-4.fc42
2
libgcc
15.0.1-0.6.fc42
15.0.1-0.7.fc43
2
pyproject-srpm-macros
1.16.4-2.fc42
1.17.0-1.fc43
2
gcc
15.0.1-0.6.fc42
15.0.1-0.7.fc43
2
libstdc++-devel
15.0.1-0.6.fc42
15.0.1-0.7.fc43
2
libstdc++
15.0.1-0.6.fc42
15.0.1-0.7.fc43
2
libcurl
8.11.1-3.fc42
8.12.0-1.fc43
2
python3-libs
3.13.1-3.fc42
3.13.1-4.fc42
2
binutils
2.43.50-12.fc42
2.44-1.fc42
3
vim-filesystem
2:9.1.1000-1.fc42
2:9.1.1000-2.fc42
3
libgomp
15.0.1-0.6.fc42
15.0.1-0.7.fc43
3
file
5.45-9.fc42
5.46-1.fc42
3
libquadmath-devel
15.0.1-0.6.fc42
15.0.1-0.7.fc43
3
cpp
15.0.1-0.6.fc42
15.0.1-0.7.fc43
3
redhat-rpm-config
342-1.fc42
342-2.fc42
3
libX11
1.8.10-3.fc42
1.8.11-1.fc42
3
libxcrypt-devel
4.4.38-4.fc42
4.4.38-4.fc43
4
libgfortran
15.0.1-0.6.fc42
15.0.1-0.7.fc43
4
libquadmath
15.0.1-0.6.fc42
15.0.1-0.7.fc43
4
file-libs
5.45-9.fc42
5.46-1.fc42
4
libX11-common
1.8.10-3.fc42
1.8.11-1.fc42
4
fedora-release
42-0.16
43-0.1
4
gcc-plugin-annobin
15.0.1-0.6.fc42
15.0.1-0.7.fc43
4
qt6-srpm-macros
6.8.1-5.fc42
6.8.2-1.fc42
4
curl
8.11.1-3.fc42
8.12.0-1.fc43
4
annobin-plugin-gcc
12.87-1.fc42
12.88-1.fc42
4
kernel-headers
6.13.0-62.fc42
6.14.0-0.rc1.15.fc42
4
tree-sitter-srpm-macros
0.1.0-8.fc42
4
fedora-gpg-keys
42-0.4
43-0.1
B
fedora-release-common
42-0.16
43-0.1
B
annobin-docs
12.87-1.fc42
12.88-1.fc42
B
which
2.22-2.fc42
2.23-1.fc42
B
libpng
2:1.6.44-2.fc42
2:1.6.46-1.fc43
B
fedora-repos
42-0.4
43-0.1
B
fedora-repos-rawhide
42-0.4
43-0.1
B
libxcrypt
4.4.38-4.fc42
4.4.38-4.fc43
B
fedora-release-identity-basic
42-0.16
43-0.1
B
complete
128794583
2025-02-03 05:11:34
aarch64
├128794708 ( build.log | root.log )
ppc64le
├128794709 ( build.log | root.log )
x86_64
└128794710 ( build.log | root.log )
cocoalib-devel
0.99850-6.fc42
0.99850-7.fc42
1
gcc-c++
15.0.1-0.5.fc42
15.0.1-0.6.fc42
1
java-21-openjdk-devel
1:21.0.6.0.7-1.fc42
1:21.0.6.0.7-6.fc42
1
gcc
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
libgcc
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
libstdc++
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
java-21-openjdk
1:21.0.6.0.7-1.fc42
1:21.0.6.0.7-6.fc42
2
gsl-devel
2.7.1-13.fc42
2.8-1.fc42
2
libstdc++-devel
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
cocoalib
0.99850-6.fc42
0.99850-7.fc42
2
cpp
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
java-21-openjdk-headless
1:21.0.6.0.7-1.fc42
1:21.0.6.0.7-6.fc42
3
libquadmath-devel
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
gsl
2.7.1-13.fc42
2.8-1.fc42
3
libgomp
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
gcc-plugin-annobin
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
libquadmath
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
libgfortran
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
lua
5.4.7-2.fc42
copy-jdk-configs
4.1-7.fc42
lua-posix
36.2.1-8.fc42
2025-02-02 17:54:51
Package dependencies resolved successfuly
2025-02-02 16:46:00
Package resolution failed
  • Problem: package java-21-openjdk-devel-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170 requires java-21-openjdk(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170
2025-02-02 15:37:48
Package resolution failed
  • Problem: package java-21-openjdk-devel-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162 requires java-21-openjdk(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162
2025-02-02 14:25:18
Package resolution failed
  • Problem: package java-21-openjdk-devel-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160 requires java-21-openjdk(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues