cvc5

Package information

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

Scheduler parameters

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

libcurl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
2
glibc
2.41.9000-11.fc43
2.41.9000-12.fc43
2
glibc-devel
2.41.9000-11.fc43
2.41.9000-12.fc43
3
glibc-common
2.41.9000-11.fc43
2.41.9000-12.fc43
3
glibc-gconv-extra
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
curl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
4
kernel-headers
6.15.0-0.rc2.22.fc43
6.15.0-0.rc4.35.fc43
4

State overview

Groups

This package is not part of any global group.

Most recent builds

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 )
cadical
1:2.0.0-4.fc42
1:2.1.3-1.fc43
1
python3-setuptools
78.1.0-1.fc43
78.1.1-1.fc43
1
cryptominisat-devel
5.12.1-1.fc43
5.13.0-1.fc43
1
cadical-devel
1:2.0.0-4.fc42
1:2.1.3-1.fc43
1
python3-pip
25.0.1-3.fc43
25.1-1.fc43
1
python3-packaging
24.2-3.fc42
25.0-1.fc43
1
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
2
cadical-libs
1:2.0.0-4.fc42
1:2.1.3-1.fc43
2
cryptominisat-libs
5.12.1-1.fc43
5.13.0-1.fc43
2
breakid
3.1.2-7.fc43
3.1.3-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
5.99.90-3.fc43
5.99.90-4.fc43
3
python-pip-wheel
25.0.1-3.fc43
25.1-1.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-rawhide
43-0.1
43-0.2
B
fedora-repos
43-0.1
43-0.2
B
fedora-gpg-keys
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++-devel
15.0.1-0.14.fc43
15.1.1-1.fc43
2
libstdc++
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
libquadmath-devel
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
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-11.fc43
3
glibc-devel
2.41.9000-10.fc43
2.41.9000-11.fc43
3
glibc-common
2.41.9000-10.fc43
2.41.9000-11.fc43
3
cpp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
redhat-rpm-config
343-3.fc43
343-4.fc43
3
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
fedora-release
43-0.13
43-0.15
4
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
nss-softokn
3.109.0-1.fc43
3.110.0-2.fc43
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
nss-softokn-freebl
3.109.0-1.fc43
3.110.0-2.fc43
B
fedora-release-common
43-0.13
43-0.15
B
fedora-release-identity-basic
43-0.13
43-0.15
B
nspr
4.36.0-5.fc43
4.36.0-7.fc43
B
python3-numpy-f2py
1:2.2.4-1.fc43
1:2.2.5-1.fc43
B
nss-util
3.109.0-1.fc43
3.110.0-2.fc43
B
nss-sysinit
3.109.0-1.fc43
3.110.0-2.fc43
B
complete
131762228
2025-04-20 13:13:38
aarch64
├131762322 ( build.log | root.log )
ppc64le
├131762321 ( build.log | root.log )
x86_64
└131762320 ( build.log | root.log )
java-21-openjdk-devel
1:21.0.6.0.7-7.fc43
1:21.0.7.0.6-1.fc43
1
gcc-c++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
1
rpm-build
5.99.90-2.fc43
5.99.90-3.fc43
2
java-21-openjdk
1:21.0.6.0.7-7.fc43
1:21.0.7.0.6-1.fc43
2
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
libgcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
libstdc++-devel
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
openssh-clients
9.9p1-14.fc43
9.9p1-15.fc43
2
java-21-openjdk-headless
1:21.0.6.0.7-7.fc43
1:21.0.7.0.6-1.fc43
3
rpm-libs
5.99.90-2.fc43
5.99.90-3.fc43
3
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
3
rpm
5.99.90-2.fc43
5.99.90-3.fc43
3
breakid
3.1.2-6.fc42
3.1.2-7.fc43
3
rpm-build-libs
5.99.90-2.fc43
5.99.90-3.fc43
3
picosat-libs
965-23.fc42
965-26.fc43
3
openssh
9.9p1-14.fc43
9.9p1-15.fc43
3
libquadmath-devel
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
cpp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
rpm-sign-libs
5.99.90-2.fc43
5.99.90-3.fc43
4
libquadmath
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
libgfortran
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
harfbuzz
11.0.1-2.fc43
11.1.0-1.fc43
B
google-noto-fonts-common
20250301-1.fc43
20250401-1.fc43
B
libgpg-error
1.53-1.fc43
1.54-1.fc43
B
google-noto-sans-vf-fonts
20250301-1.fc43
20250401-1.fc43
B
Real build: cvc5-1.2.1-4.fc43
complete
131608543
2025-04-16 19:42:29
aarch64
├131608639 ( build.log | root.log )
ppc64le
├131608640 ( build.log | root.log )
s390x
├131608641 ( build.log | root.log )
x86_64
└131608638 ( build.log | root.log )
yosyshq-abc-devel
0.51-1.20250313git...
0.52-1.20250411git...
1
python3-wheel
1:0.45.1-3.fc42
1:0.45.1-6.fc43
1
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
yosyshq-abc-libs
0.51-1.20250313git...
0.52-1.20250411git...
2
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
2
filesystem
3.18-39.fc43
3.18-40.fc43
2
rpm-build
4.20.1-3.fc43
5.99.90-2.fc43
2
libcap
2.73-2.fc42
2.76-1.fc43
3
rpm-build-libs
4.20.1-3.fc43
5.99.90-2.fc43
3
grep
3.11-10.fc42
3.12-1.fc43
3
glibc-devel
2.41.9000-9.fc43
2.41.9000-10.fc43
3
rpm
4.20.1-3.fc43
5.99.90-2.fc43
3
rpm-libs
4.20.1-3.fc43
5.99.90-2.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
3
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
3
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
3
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
4
kernel-headers
6.14.0-63.fc43
6.15.0-0.rc2.22.fc43
4
cups-libs
1:2.4.12-1.fc43
1:2.4.12-2.fc43
4
fedora-release
43-0.12
43-0.13
4
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
4
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
4
alsa-lib
1.2.13-4.fc42
1.2.14-2.fc43
4
rpm-sign-libs
5.99.90-2.fc43
4
fedora-release-identity-basic
43-0.12
43-0.13
B
fedora-release-common
43-0.12
43-0.13
B
cups-filesystem
1:2.4.12-1.fc43
1:2.4.12-2.fc43
B
npth
1.8-2.fc42
B
gnupg2
2.4.7-3.fc43
B
tpm2-tss
4.1.3-7.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
libassuan
2.5.7-3.fc42
B
libfsverity
1.6-2.fc42
B
libgpg-error
1.53-1.fc43
B
libusb1
1.0.28-2.fc43
B
libgcrypt
1.11.0-5.fc42
B
libksba
1.6.7-3.fc42
B
complete
131413109
2025-04-12 02:09:53
aarch64
├131413179 ( build.log | root.log )
ppc64le
├131413178 ( build.log | root.log )
x86_64
└131413177 ( build.log | root.log )
python3-setuptools
76.1.0-1.fc43
78.1.0-1.fc43
1
gcc-c++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
1
python3-devel
3.13.2-2.fc43
3.13.3-1.fc43
1
glibc
2.41.9000-8.fc43
2.41.9000-9.fc43
2
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
systemd-libs
257.4-3.fc43
257.5-2.fc43
2
python3
3.13.2-2.fc43
3.13.3-1.fc43
2
libstdc++-devel
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
python3-libs
3.13.2-2.fc43
3.13.3-1.fc43
2
coreutils
9.6-2.fc43
9.7-1.fc43
2
glibc-gconv-extra
2.41.9000-8.fc43
2.41.9000-9.fc43
3
glibc-devel
2.41.9000-8.fc43
2.41.9000-9.fc43
3
glibc-common
2.41.9000-8.fc43
2.41.9000-9.fc43
3
fontconfig
2.16.1-1.fc43
2.16.2-1.fc43
3
libquadmath-devel
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
diffutils
3.11-3.fc43
3.12-1.fc43
3
coreutils-common
9.6-2.fc43
9.7-1.fc43
3
cpp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
vim-filesystem
2:9.1.1275-1.fc43
2:9.1.1291-1.fc43
3
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
glibc-minimal-langpack
2.41.9000-8.fc43
2.41.9000-9.fc43
3
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
4
cups-libs
1:2.4.11-13.fc43
1:2.4.12-1.fc43
4
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
4
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
libgfortran
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
libquadmath
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
cups-filesystem
1:2.4.11-13.fc43
1:2.4.12-1.fc43
B
complete
131350114
2025-04-10 00:17:39
aarch64
├131350204 ( build.log | root.log )
ppc64le
├131350203 ( build.log | root.log )
x86_64
└131350201 ( build.log | root.log )
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
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-8.fc43
3
libffi
3.4.7-3.fc43
3.4.7-4.fc43
3
glibc-common
2.41.9000-7.fc43
2.41.9000-8.fc43
3
glibc-devel
2.41.9000-7.fc43
2.41.9000-8.fc43
3
redhat-rpm-config
342-2.fc42
343-3.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-8.fc43
3
debugedit
5.1-5.fc43
5.1-6.fc43
3
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
fedora-release
43-0.10
43-0.12
4
fedora-release-identity-basic
43-0.10
43-0.12
B
fedora-release-common
43-0.10
43-0.12
B
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
complete
131100035
2025-04-04 12:58:45
aarch64
├131100082 ( build.log | root.log )
ppc64le
├131100081 ( build.log | root.log )
x86_64
└131100080 ( build.log | root.log )
filesystem
3.18-38.fc43
3.18-39.fc43
2
expat
2.7.0-1.fc43
2.7.1-1.fc43
2
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
2
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
2
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
gawk
5.3.1-1.fc42
5.3.2-1.fc43
3
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
3
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-7.fc43
3
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
3
vim-filesystem
2:9.1.1227-1.fc43
2:9.1.1275-1.fc43
3
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
3
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
3
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
4
fedora-release
43-0.8
43-0.10
4
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
4
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
fedora-release-common
43-0.8
43-0.10
B
fedora-release-identity-basic
43-0.8
43-0.10
B
complete
130928489
2025-03-31 03:25:47
aarch64
├130928585 ( build.log | root.log )
ppc64le
├130928584 ( build.log | root.log )
x86_64
└130928583 ( build.log | root.log )
gcc-c++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
1
python3-cython
3.0.11-4.fc43
3.0.12-1.fc43
1
python3-setuptools
74.1.3-5.fc42
76.1.0-1.fc43
1
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
libstdc++-devel
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
openldap
2.6.9-3.fc42
2.6.9-5.fc43
3
tzdata
2025a-1.fc43
2025b-1.fc43
3
libquadmath-devel
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libffi
3.4.7-2.fc43
3.4.7-3.fc43
3
patch
2.7.6-26.fc42
2.8-1.fc43
3
gdb-minimal
16.2-1.fc43
16.2-3.fc43
3
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
4
libquadmath
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
tzdata-java
2025a-1.fc43
2025b-1.fc43
4
libgfortran
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues