cvc5

Package information

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

Scheduler parameters

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

javapackages-tools
6.4.0-6.fc43
6.4.0-7.fc43
1
glibc
2.41.9000-7.fc43
2.41.9000-8.fc43
2
javapackages-filesystem
6.4.0-6.fc43
6.4.0-7.fc43
2
redhat-rpm-config
342-2.fc42
343-3.fc43
3
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-8.fc43
3
glibc-devel
2.41.9000-7.fc43
2.41.9000-8.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-8.fc43
3
glibc-common
2.41.9000-7.fc43
2.41.9000-8.fc43
3
libffi
3.4.7-3.fc43
3.4.7-4.fc43
3
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
glib2
2.84.0-1.fc43
2.84.1-1.fc43
B
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
B
harfbuzz
11.0.0-1.fc43
11.0.1-2.fc43
B

State overview

Groups

This package is not part of any global group.

Historical builds

2025-03-18 22:57:43
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562060
2025-03-18 21:53:46
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562049
2025-03-18 20:56:12
Package resolution failed
  • Problem: conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by cryptominisat-devel-5.12.1-1.fc43.x86_64 from primary-f43-build-6562044
  • No package found for: cmake
2025-03-18 20:52:44
Package resolution failed
  • Problem: conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by cryptominisat-devel-5.12.1-1.fc43.x86_64 from primary-f43-build-6562042
  • No package found for: cmake
complete
130272730
2025-03-14 19:31:05
aarch64
├130272819 ( build.log | root.log )
ppc64le
├130272818 ( build.log | root.log )
x86_64
└130272817 ( build.log | root.log )
cmake
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
1
yosyshq-abc-devel
0.46-2.20241011git...
0.51-1.20250313git...
1
cmake-data
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
2
cmake-filesystem
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
2
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
2
libarchive
3.7.7-3.fc43
3.7.7-4.fc43
2
cmake-rpm-macros
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
2
alternatives
1.31-3.fc42
1.32-1.fc43
2
libcurl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
2
expat
2.6.4-2.fc42
2.7.0-1.fc43
2
yosyshq-abc-libs
0.46-2.20241011git...
0.51-1.20250313git...
2
vim-filesystem
2:9.1.1179-1.fc43
2:9.1.1202-1.fc43
3
libxml2
2.12.9-2.fc42
2.12.10-1.fc43
3
fontconfig
2.16.0-2.fc42
2.16.1-1.fc43
3
curl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
4
efi-srpm-macros
6-2.fc42
6-3.fc43
4
complete
130160927
2025-03-12 06:10:09
aarch64
├130160996 ( build.log | root.log )
ppc64le
├130160995 ( build.log | root.log )
x86_64
└130160994 ( build.log | root.log )
cmake
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
1
cmake-data
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
2
cmake-rpm-macros
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
2
cmake-filesystem
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
2
openssh-clients
9.9p1-9.fc43
9.9p1-12.fc43
2
systemd-libs
257.3-7.fc43
257.4-3.fc43
2
libcurl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
2
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
3
readline
8.2-12.fc42
8.2-13.fc43
3
openssh
9.9p1-9.fc43
9.9p1-12.fc43
3
libffi
3.4.7-1.fc43
3.4.7-2.fc43
3
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
3
setup
2.15.0-12.fc43
2.15.0-14.fc43
3
vim-filesystem
2:9.1.1122-1.fc43
2:9.1.1179-1.fc43
3
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc6.49.fc43
4
curl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
4
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
4
tree-sitter-srpm-macros
0.1.0-10.fc43
0.2.0-1.fc43
4
fedora-release
43-0.6
43-0.7
4
fedora-release-identity-basic
43-0.6
43-0.7
B
glib2
2.83.5-1.fc43
2.84.0-1.fc43
B
fedora-release-common
43-0.6
43-0.7
B
avahi-libs
0.9~rc2-2.fc42
0.9~rc2-3.fc43
B
Real build: cvc5-1.2.1-3.fc43
complete
129807285
2025-03-04 17:17:52
aarch64
├129807335 ( build.log | root.log )
ppc64le
├129807336 ( build.log | root.log )
s390x
├129807337 ( build.log | root.log )
x86_64
└129807334 ( build.log | root.log )
tree-sitter-srpm-macros
0.1.0-9.fc43
0.1.0-10.fc43
4
nss
3.108.0-3.fc43
3.109.0-1.fc43
4
python3-scikit-build
0.18.1-2.fc42
ninja-build
1.12.1-4.fc42
nss-sysinit
3.108.0-3.fc43
3.109.0-1.fc43
B
python3-distro
1.9.0-6.fc42
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
B
nss-softokn
3.108.0-3.fc43
3.109.0-1.fc43
B
google-noto-fonts-common
20250201-1.fc43
20250301-1.fc43
B
nss-util
3.108.0-3.fc43
3.109.0-1.fc43
B
nspr
4.36.0-4.fc43
4.36.0-5.fc43
B
nss-softokn-freebl
3.108.0-3.fc43
3.109.0-1.fc43
B
complete
129795614
2025-03-04 08:01:41
aarch64
├129795764 ( build.log | root.log )
ppc64le
├129795763 ( build.log | root.log )
x86_64
└129795762 ( build.log | root.log )
gcc-c++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
1
python3-pexpect
4.9.0-8.fc42
4.9.0-9.fc43
1
python3-cython
3.0.11-2.fc42
3.0.11-4.fc43
1
libpoly-devel
0.1.13-11.fc42
0.1.13-12.fc43
1
gcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libpoly
0.1.13-11.fc42
0.1.13-12.fc43
2
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
glibc
2.41.9000-1.fc43
2.41.9000-2.fc43
2
libstdc++-devel
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libgomp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libquadmath-devel
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
glibc-gconv-extra
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
3
glibc-devel
2.41.9000-1.fc43
2.41.9000-2.fc43
3
glibc-minimal-langpack
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libffi
3.4.6-5.fc42
3.4.7-1.fc43
3
cpp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
glibc-common
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libquadmath
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
kernel-headers
6.14.0-0.rc4.36.fc43
6.14.0-0.rc5.43.fc43
4
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
4
tree-sitter-srpm-macros
0.1.0-8.fc42
0.1.0-9.fc43
4
fedora-release
43-0.5
43-0.6
4
gcc-plugin-annobin
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
libgfortran
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
4
gnutls
3.8.9-4.fc43
3.8.9-5.fc43
B
fedora-release-common
43-0.5
43-0.6
B
glib2
2.83.2-6.fc42
2.83.5-1.fc43
B
harfbuzz
10.3.0-1.fc43
10.4.0-1.fc43
B
annobin-docs
12.88-1.fc42
12.92-1.fc43
B
fedora-release-identity-basic
43-0.5
43-0.6
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues