cvc5

Package information

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

Scheduler parameters

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

glibc
2.41.9000-14.fc43
2.41.9000-15.fc43
2
glibc-minimal-langpack
2.41.9000-14.fc43
2.41.9000-15.fc43
3
glibc-common
2.41.9000-14.fc43
2.41.9000-15.fc43
3
redhat-rpm-config
343-5.fc43
343-6.fc43
3
glibc-devel
2.41.9000-14.fc43
2.41.9000-15.fc43
3
vim-filesystem
2:9.1.1291-1.fc43
2:9.1.1418-1.fc43
3
glibc-gconv-extra
2.41.9000-14.fc43
2.41.9000-15.fc43
3
audit-libs
4.0.4-1.fc43
4.0.4-2.fc43
4
java-srpm-macros
1-3.fc43
4
nss
3.111.0-2.fc43
3.112.0-1.fc43
4
nspr
4.36.0-8.fc43
4.36.0-9.fc43
B
nss-sysinit
3.111.0-2.fc43
3.112.0-1.fc43
B
nss-softokn-freebl
3.111.0-2.fc43
3.112.0-1.fc43
B
nss-util
3.111.0-2.fc43
3.112.0-1.fc43
B
nss-softokn
3.111.0-2.fc43
3.112.0-1.fc43
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
133325981
2025-05-29 21:42:14
aarch64
├133326103 ( build.log | root.log )
ppc64le
├133326102 ( build.log | root.log )
x86_64
└133326104 ( build.log | root.log )
m4
1.4.19-12.fc43
1.4.20-1.fc43
2
coreutils
9.7-2.fc43
9.7-3.fc43
2
glibc
2.41.9000-13.fc43
2.41.9000-14.fc43
2
libcurl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
2
systemd-libs
257.5-5.fc43
257.6-1.fc43
2
libselinux
3.8-1.fc42
3.8-2.fc43
3
glibc-minimal-langpack
2.41.9000-13.fc43
2.41.9000-14.fc43
3
glibc-common
2.41.9000-13.fc43
2.41.9000-14.fc43
3
p11-kit-trust
0.25.5-5.fc42
0.25.5-8.fc43
3
coreutils-common
9.7-2.fc43
9.7-3.fc43
3
glibc-devel
2.41.9000-13.fc43
2.41.9000-14.fc43
3
p11-kit
0.25.5-5.fc42
0.25.5-8.fc43
3
glibc-gconv-extra
2.41.9000-13.fc43
2.41.9000-14.fc43
3
kernel-headers
6.15.0-0.rc7.57.fc43
6.15.0-61.fc43
4
audit-libs
4.0.3-2.fc42
4.0.4-1.fc43
4
fonts-filesystem
1:2.0.5-21.fc42
1:2.0.5-22.fc43
4
systemd-standalone-sysusers
257.5-5.fc43
257.6-1.fc43
4
qt5-srpm-macros
5.15.16-1.fc43
5.15.17-1.fc43
4
fedora-release
43-0.15
43-0.16
4
curl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
4
fonts-srpm-macros
1:2.0.5-21.fc42
1:2.0.5-22.fc43
4
gnupg2
2.4.8-1.fc43
2.4.8-2.fc43
B
gnupg2-dirmngr
2.4.8-2.fc43
B
gnupg2-gpg-agent
2.4.8-2.fc43
B
gnupg2-verify
2.4.8-2.fc43
B
gnupg2-gpgconf
2.4.8-2.fc43
B
gnupg2-keyboxd
2.4.8-2.fc43
B
fedora-release-common
43-0.15
43-0.16
B
fedora-release-identity-basic
43-0.15
43-0.16
B
complete
133150484
2025-05-24 14:39:49
aarch64
├133150578 ( build.log | root.log )
ppc64le
├133150577 ( build.log | root.log )
x86_64
└133150579 ( build.log | root.log )
gcc-c++
15.1.1-1.fc43
15.1.1-2.fc43
1
gcc
15.1.1-1.fc43
15.1.1-2.fc43
2
libstdc++-devel
15.1.1-1.fc43
15.1.1-2.fc43
2
libstdc++
15.1.1-1.fc43
15.1.1-2.fc43
2
libgcc
15.1.1-1.fc43
15.1.1-2.fc43
2
less
668-2.fc42
678-1.fc43
2
cpp
15.1.1-1.fc43
15.1.1-2.fc43
3
libgomp
15.1.1-1.fc43
15.1.1-2.fc43
3
libquadmath-devel
15.1.1-1.fc43
15.1.1-2.fc43
3
libgfortran
15.1.1-1.fc43
15.1.1-2.fc43
4
libquadmath
15.1.1-1.fc43
15.1.1-2.fc43
4
gcc-plugin-annobin
15.1.1-1.fc43
15.1.1-2.fc43
4
complete
133062505
2025-05-21 18:12:06
aarch64
├133062569 ( build.log | root.log )
ppc64le
├133062570 ( build.log | root.log )
x86_64
└133062571 ( build.log | root.log )
sqlite-devel
3.49.1-1.fc43
3.49.2-1.fc43
1
coreutils
9.7-1.fc43
9.7-2.fc43
2
sqlite
3.49.1-1.fc43
3.49.2-1.fc43
2
sqlite-libs
3.49.1-1.fc43
3.49.2-1.fc43
2
openssh-clients
9.9p1-15.fc43
10.0p1-2.fc43
2
openssh
9.9p1-15.fc43
10.0p1-2.fc43
3
coreutils-common
9.7-1.fc43
9.7-2.fc43
3
annobin-plugin-gcc
12.94-1.fc43
12.95-1.fc43
4
kernel-headers
6.15.0-0.rc6.49.fc43
6.15.0-0.rc7.57.fc43
4
python3-numpy
1:2.2.5-1.fc43
1:2.2.6-1.fc43
4
glib2
2.84.1-1.fc43
2.85.0-1.fc43
B
gnupg2
2.4.7-3.fc43
2.4.8-1.fc43
B
annobin-docs
12.94-1.fc43
12.95-1.fc43
B
python3-numpy-f2py
1:2.2.5-1.fc43
1:2.2.6-1.fc43
B
complete
132795141
2025-05-15 22:05:29
aarch64
├132795245 ( build.log | root.log )
ppc64le
├132795244 ( build.log | root.log )
x86_64
└132795246 ( build.log | root.log )
python3-pip
25.1.1-1.fc43
25.1.1-3.fc43
1
python3-wheel
1:0.45.1-6.fc43
1:0.45.1-13.fc43
1
glibc
2.41.9000-12.fc43
2.41.9000-13.fc43
2
elfutils
0.192-8.fc42
0.193-2.fc43
3
python-pip-wheel
25.1.1-1.fc43
25.1.1-3.fc43
3
mpdecimal
4.0.0-2.fc43
4.0.1-1.fc43
3
elfutils-libelf
0.192-8.fc42
0.193-2.fc43
3
glibc-devel
2.41.9000-12.fc43
2.41.9000-13.fc43
3
glibc-gconv-extra
2.41.9000-12.fc43
2.41.9000-13.fc43
3
glibc-minimal-langpack
2.41.9000-12.fc43
2.41.9000-13.fc43
3
glibc-common
2.41.9000-12.fc43
2.41.9000-13.fc43
3
setup
2.15.0-23.fc43
2.15.0-25.fc43
3
elfutils-libs
0.192-8.fc42
0.193-2.fc43
4
kernel-headers
6.15.0-0.rc5.42.fc43
6.15.0-0.rc6.49.fc43
4
cups-libs
1:2.4.12-2.fc43
1:2.4.12-3.fc43
4
annobin-plugin-gcc
12.93-1.fc43
12.94-1.fc43
4
elfutils-debuginfod-client
0.192-8.fc42
0.193-2.fc43
4
annobin-docs
12.93-1.fc43
12.94-1.fc43
B
harfbuzz
11.2.0-1.fc43
11.2.1-1.fc43
B
cups-filesystem
1:2.4.12-2.fc43
1:2.4.12-3.fc43
B
google-noto-fonts-common
20250401-1.fc43
20250501-1.fc43
B
google-noto-sans-vf-fonts
20250401-1.fc43
20250501-1.fc43
B
libgcrypt
1.11.0-5.fc42
1.11.1-1.fc43
B
elfutils-default-yama-scope
0.192-8.fc42
0.193-2.fc43
B
complete
132637968
2025-05-12 12:42:43
aarch64
├132638048 ( build.log | root.log )
ppc64le
├132638047 ( build.log | root.log )
x86_64
└132638049 ( build.log | root.log )
python3-devel
3.13.3-2.fc43
3.13.3-3.fc43
1
systemd-libs
257.5-2.fc43
257.5-5.fc43
2
filesystem
3.18-40.fc43
3.18-44.fc43
2
python3-libs
3.13.3-2.fc43
3.13.3-3.fc43
2
python3
3.13.3-2.fc43
3.13.3-3.fc43
2
alternatives
1.32-1.fc43
1.33-1.fc43
2
rpm-build
5.99.90-4.fc43
5.99.90-5.fc43
2
rpm-libs
5.99.90-4.fc43
5.99.90-5.fc43
3
rpm-build-libs
5.99.90-4.fc43
5.99.90-5.fc43
3
redhat-rpm-config
343-4.fc43
343-5.fc43
3
libffi
3.4.7-4.fc43
3.4.8-1.fc43
3
rpm
5.99.90-4.fc43
5.99.90-5.fc43
3
systemd-standalone-sysusers
257.5-2.fc43
257.5-5.fc43
4
filesystem-srpm-macros
3.18-40.fc43
3.18-44.fc43
4
rpm-sign-libs
5.99.90-4.fc43
5.99.90-5.fc43
4
gpgverify
2.1-3.fc43
4
complete
132396804
2025-05-06 16:08:29
aarch64
├132396890 ( build.log | root.log )
ppc64le
├132396889 ( build.log | root.log )
x86_64
└132396891 ( build.log | root.log )
sqlite-devel
3.49.0-1.fc43
3.49.1-1.fc43
1
libpoly-devel
0.1.13-12.fc43
0.2.0-1.fc43
1
python3-pip
25.1-1.fc43
25.1.1-1.fc43
1
libpoly
0.1.13-12.fc43
0.2.0-1.fc43
2
sqlite
3.49.0-1.fc43
3.49.1-1.fc43
2
glibc
2.41.9000-11.fc43
2.41.9000-12.fc43
2
sqlite-libs
3.49.0-1.fc43
3.49.1-1.fc43
2
libcurl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
2
glibc-gconv-extra
2.41.9000-11.fc43
2.41.9000-12.fc43
3
glibc-devel
2.41.9000-11.fc43
2.41.9000-12.fc43
3
glibc-minimal-langpack
2.41.9000-11.fc43
2.41.9000-12.fc43
3
diffutils
3.12-1.fc43
3.12-2.fc43
3
python-pip-wheel
25.1-1.fc43
25.1.1-1.fc43
3
glibc-common
2.41.9000-11.fc43
2.41.9000-12.fc43
3
nss
3.110.0-2.fc43
3.111.0-2.fc43
4
kernel-headers
6.15.0-0.rc2.22.fc43
6.15.0-0.rc5.42.fc43
4
curl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
4
nss-softokn-freebl
3.110.0-2.fc43
3.111.0-2.fc43
B
libpng
2:1.6.47-1.fc43
2:1.6.48-1.fc43
B
nss-softokn
3.110.0-2.fc43
3.111.0-2.fc43
B
nspr
4.36.0-7.fc43
4.36.0-8.fc43
B
nss-util
3.110.0-2.fc43
3.111.0-2.fc43
B
nss-sysinit
3.110.0-2.fc43
3.111.0-2.fc43
B
Real build: cvc5-1.2.1-5.fc43
complete
132178832
2025-05-01 15:45:48
aarch64
├132178911 ( build.log | root.log )
ppc64le
├132178912 ( build.log | root.log )
s390x
├132178913 ( build.log | root.log )
x86_64
└132178910 ( build.log | root.log )
python3-pip
25.0.1-3.fc43
25.1-1.fc43
1
cadical-devel
1:2.0.0-4.fc42
1:2.1.3-1.fc43
1
cryptominisat-devel
5.12.1-1.fc43
5.13.0-1.fc43
1
python3-setuptools
78.1.0-1.fc43
78.1.1-1.fc43
1
cadical
1:2.0.0-4.fc42
1:2.1.3-1.fc43
1
python3-packaging
24.2-3.fc42
25.0-1.fc43
1
cadical-libs
1:2.0.0-4.fc42
1:2.1.3-1.fc43
2
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
2
cryptominisat-libs
5.12.1-1.fc43
5.13.0-1.fc43
2
rpm
5.99.90-3.fc43
5.99.90-4.fc43
3
breakid
3.1.2-7.fc43
3.1.3-1.fc43
3
python-pip-wheel
25.0.1-3.fc43
25.1-1.fc43
3
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
3
rpm-libs
5.99.90-3.fc43
5.99.90-4.fc43
3
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
harfbuzz
11.1.0-1.fc43
11.2.0-1.fc43
B
fedora-repos
43-0.1
43-0.2
B
fedora-gpg-keys
43-0.1
43-0.2
B
fedora-repos-rawhide
43-0.1
43-0.2
B
complete
131998107
2025-04-26 12:50:30
aarch64
├131998183 ( build.log | root.log )
ppc64le
├131998184 ( build.log | root.log )
x86_64
└131998185 ( build.log | root.log )
gcc-c++
15.0.1-0.14.fc43
15.1.1-1.fc43
1
python3-devel
3.13.3-1.fc43
3.13.3-2.fc43
1
libstdc++
15.0.1-0.14.fc43
15.1.1-1.fc43
2
libstdc++-devel
15.0.1-0.14.fc43
15.1.1-1.fc43
2
python3-libs
3.13.3-1.fc43
3.13.3-2.fc43
2
glibc
2.41.9000-10.fc43
2.41.9000-11.fc43
2
libgcc
15.0.1-0.14.fc43
15.1.1-1.fc43
2
libuv
1:1.50.0-1.fc42
1:1.51.0-1.fc43
2
python3
3.13.3-1.fc43
3.13.3-2.fc43
2
gcc
15.0.1-0.14.fc43
15.1.1-1.fc43
2
gdb-minimal
16.2-3.fc43
16.3-1.fc43
3
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
redhat-rpm-config
343-3.fc43
343-4.fc43
3
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-11.fc43
3
libquadmath-devel
15.0.1-0.14.fc43
15.1.1-1.fc43
3
cpp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-minimal-langpack
2.41.9000-10.fc43
2.41.9000-11.fc43
3
glibc-common
2.41.9000-10.fc43
2.41.9000-11.fc43
3
glibc-devel
2.41.9000-10.fc43
2.41.9000-11.fc43
3
libquadmath
15.0.1-0.14.fc43
15.1.1-1.fc43
4
tree-sitter-srpm-macros
0.2.2-1.fc43
0.2.4-1.fc43
4
python3-numpy
1:2.2.4-1.fc43
1:2.2.5-1.fc43
4
nss
3.109.0-1.fc43
3.110.0-2.fc43
4
fedora-release
43-0.13
43-0.15
4
libgfortran
15.0.1-0.14.fc43
15.1.1-1.fc43
4
gcc-plugin-annobin
15.0.1-0.14.fc43
15.1.1-1.fc43
4
nspr
4.36.0-5.fc43
4.36.0-7.fc43
B
fedora-release-common
43-0.13
43-0.15
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
fedora-release-identity-basic
43-0.13
43-0.15
B
nss-softokn
3.109.0-1.fc43
3.110.0-2.fc43
B
nss-sysinit
3.109.0-1.fc43
3.110.0-2.fc43
B
nss-softokn-freebl
3.109.0-1.fc43
3.110.0-2.fc43
B
nss-util
3.109.0-1.fc43
3.110.0-2.fc43
B
python3-numpy-f2py
1:2.2.4-1.fc43
1:2.2.5-1.fc43
B
Previous history
Koschei version d778e3e
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues