cvc5

Package information

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

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:
  • No suitable SRPM was found
  • Package dependencies were not resolved yet
  • Package has no known build
Tracked by Koschei
True
Current priority
0
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

State overview

Groups

This package is not part of any global group.

Historical builds

complete
115492686
2024-03-27 02:36:41
aarch64
├115492760 ( build.log | root.log )
ppc64le
├115492758 ( build.log | root.log )
x86_64
└115492759 ( build.log | root.log )
cryptominisat-devel
5.11.21-1.fc40
5.11.21-2.fc41
1
python3-packaging
23.2-4.fc40
24.0-1.fc41
1
python3-devel
3.12.2-2.fc41
3.12.2-3.fc41
1
libpoly-devel
0.1.13-3.fc40
0.1.13-6.fc41
1
cryptominisat-libs
5.11.21-1.fc40
5.11.21-2.fc41
2
python3-libs
3.12.2-2.fc41
3.12.2-3.fc41
2
glibc
2.39.9000-9.fc41
2.39.9000-10.fc41
2
python3-rpm-macros
3.12-7.fc40
3.12-8.fc41
2
python3
3.12.2-2.fc41
3.12.2-3.fc41
2
python-srpm-macros
3.12-7.fc40
3.12-8.fc41
2
libpoly
0.1.13-3.fc40
0.1.13-6.fc41
2
python-rpm-macros
3.12-7.fc40
3.12-8.fc41
2
glibc-devel
2.39.9000-9.fc41
2.39.9000-10.fc41
3
glibc-minimal-langpack
2.39.9000-9.fc41
2.39.9000-10.fc41
3
crypto-policies
20240304-1.git0375239....
20240320-1.git58e3d95....
3
emacs-filesystem
1:29.2-3.fc40
1:29.3-1.fc41
3
breakid
3.1.2-1.fc40
3.1.2-2.fc41
3
glibc-gconv-extra
2.39.9000-9.fc41
2.39.9000-10.fc41
3
glibc-common
2.39.9000-9.fc41
2.39.9000-10.fc41
3
annobin-plugin-gcc
12.44-1.fc41
12.46-1.fc41
4
glibc-headers-x86
2.39.9000-9.fc41
2.39.9000-10.fc41
4
kernel-headers
6.8.0-0.rc7.55.fc41
6.9.0-0.rc1.17.fc41
4
crypto-policies-scripts
20240304-1.git0375239....
20240320-1.git58e3d95....
4
glib2
2.79.1-1.fc40
2.80.0-1.fc41
B
annobin-docs
12.44-1.fc41
12.46-1.fc41
B
complete
115258727
2024-03-21 17:26:29
aarch64
├115258848 ( build.log | root.log )
ppc64le
├115258846 ( build.log | root.log )
x86_64
└115258847 ( build.log | root.log )
python3-cython
3.0.8-4.fc41
3.0.9-1.fc41
1
expat
2.6.0-1.fc41
2.6.2-1.fc41
2
glibc
2.39.9000-8.fc41
2.39.9000-9.fc41
2
pcre2
10.42-2.fc40.2
10.43-1.fc41
2
libffi
3.4.4-8.fc41
3.4.6-1.fc41
3
elfutils-libelf
0.191-2.fc41
0.191-4.fc41
3
glibc-gconv-extra
2.39.9000-8.fc41
2.39.9000-9.fc41
3
libtirpc
1.3.4-1.rc2.fc40.2
1.3.4-1.rc3.fc41
3
binutils
2.42.50-5.fc41
2.42.50-6.fc41
3
elfutils
0.191-2.fc41
0.191-4.fc41
3
nss
3.98.0-1.fc41
3.99.0-1.fc41
3
pcre2-syntax
10.42-2.fc40.2
10.43-1.fc41
3
glibc-minimal-langpack
2.39.9000-8.fc41
2.39.9000-9.fc41
3
glibc-common
2.39.9000-8.fc41
2.39.9000-9.fc41
3
glibc-devel
2.39.9000-8.fc41
2.39.9000-9.fc41
3
nss-util
3.98.0-1.fc41
3.99.0-1.fc41
4
python3-numpy
1:1.26.4-1.fc41
1:1.26.4-2.fc41
4
ghc-srpm-macros
1.9-1.fc41
1.9.1-1.fc41
4
cddlib
1:0.94m-9.fc40
1:0.94m-16.fc41
4
elfutils-debuginfod-client
0.191-2.fc41
0.191-4.fc41
4
gnutls
3.8.3-2.fc40
3.8.4-1.fc41
4
glibc-headers-x86
2.39.9000-8.fc41
2.39.9000-9.fc41
4
nspr
4.35.0-21.fc41
4.35.0-22.fc41
4
nss-sysinit
3.98.0-1.fc41
3.99.0-1.fc41
4
elfutils-libs
0.191-2.fc41
0.191-4.fc41
4
nss-softokn
3.98.0-1.fc41
3.99.0-1.fc41
4
binutils-gold
2.42.50-5.fc41
2.42.50-6.fc41
4
shadow-utils
2:4.15.1-1.fc41
2:4.15.1-2.fc41
B
nss-softokn-freebl
3.98.0-1.fc41
3.99.0-1.fc41
B
elfutils-default-yama-scope
0.191-2.fc41
0.191-4.fc41
B
google-noto-fonts-common
20240301-2.fc41
20240301-3.fc41
B
google-noto-sans-vf-fonts
20240301-2.fc41
20240301-3.fc41
B
complete
115113218
2024-03-18 13:15:55
aarch64
├115113329 ( build.log | root.log )
ppc64le
├115113330 ( build.log | root.log )
x86_64
└115113328 ( build.log | root.log )
gcc-c++
14.0.1-0.8.fc41
14.0.1-0.12.fc41
1
yosyshq-abc-devel
0.35-2.20231108git...
0.39-1.20240314git...
1
glibc
2.39.9000-5.fc41
2.39.9000-8.fc41
2
libstdc++-devel
14.0.1-0.8.fc41
14.0.1-0.12.fc41
2
libstdc++
14.0.1-0.8.fc41
14.0.1-0.12.fc41
2
gcc
14.0.1-0.8.fc41
14.0.1-0.12.fc41
2
yosyshq-abc-libs
0.35-2.20231108git...
0.39-1.20240314git...
2
libgcc
14.0.1-0.8.fc41
14.0.1-0.12.fc41
2
libgomp
14.0.1-0.8.fc41
14.0.1-0.12.fc41
3
vim-filesystem
2:9.1.158-1.fc41
2:9.1.181-1.fc41
3
libquadmath-devel
14.0.1-0.8.fc41
14.0.1-0.12.fc41
3
glibc-minimal-langpack
2.39.9000-5.fc41
2.39.9000-8.fc41
3
glibc-common
2.39.9000-5.fc41
2.39.9000-8.fc41
3
cpp
14.0.1-0.8.fc41
14.0.1-0.12.fc41
3
libxml2
2.12.5-1.fc40
2.12.6-1.fc41
3
glibc-devel
2.39.9000-5.fc41
2.39.9000-8.fc41
3
glibc-gconv-extra
2.39.9000-5.fc41
2.39.9000-8.fc41
3
gcc-plugin-annobin
14.0.1-0.8.fc41
14.0.1-0.12.fc41
4
qt5-srpm-macros
5.15.12-3.fc40
5.15.13-1.fc41
4
libquadmath
14.0.1-0.8.fc41
14.0.1-0.12.fc41
4
libgfortran
14.0.1-0.8.fc41
14.0.1-0.12.fc41
4
glibc-headers-x86
2.39.9000-5.fc41
2.39.9000-8.fc41
4
perl-Mozilla-CA
20231213-3.fc40
20240313-1.fc41
B
harfbuzz
8.3.0-5.fc40
8.3.1-1.fc41
B
Real build: cvc5-1.1.2-1.fc41
complete
114958475
2024-03-14 19:42:36
aarch64
├114958480 ( build.log | root.log )
ppc64le
├114958481 ( build.log | root.log )
s390x
├114958482 ( build.log | root.log )
x86_64
└114958479 ( build.log | root.log )
cadical-devel
1:1.9.4-3.fc40
1:1.9.5-1.fc41
1
lfsc-devel
0.20230523-3.fc40
0.20230914-1.fc41
1
kissat-devel
3.1.1-3.fc40
3.1.1-4.fc41
1
drat-trim-devel
0-0.23.20230709...
0-0.24.20240309...
1
drat2er-devel
0-0.14.20190307...
0-0.15.20211228...
1
cadical
1:1.9.4-3.fc40
1:1.9.5-1.fc41
1
cadical-libs
1:1.9.4-3.fc40
1:1.9.5-1.fc41
2
lfsc
0.20230523-3.fc40
0.20230914-1.fc41
2
drat2er
0-0.14.20190307...
0-0.15.20211228...
2
kissat-libs
3.1.1-3.fc40
3.1.1-4.fc41
2
drat-trim
0-0.23.20230709...
0-0.24.20240309...
2
complete
114957286
2024-03-14 18:54:51
aarch64
├114957359 ( build.log | root.log )
ppc64le
├114957360 ( build.log | root.log )
x86_64
└114957361 ( build.log | root.log )
java-21-openjdk-devel
1:21.0.2.0.13-2.fc41
1:21.0.2.0.13-3.fc41
1
sqlite-devel
3.45.1-2.fc40
3.45.2-1.fc41
1
python3-setuptools
69.0.3-3.fc41
69.1.1-1.fc41
1
java-21-openjdk
1:21.0.2.0.13-2.fc41
1:21.0.2.0.13-3.fc41
2
openssh-clients
9.6p1-1.fc40.2
9.6p1-1.fc41.3
2
libgfan-devel
0.6.2-19.fc41
0.6.2-20.fc41
2
java-21-openjdk-headless
1:21.0.2.0.13-2.fc41
1:21.0.2.0.13-3.fc41
2
sqlite
3.45.1-2.fc40
3.45.2-1.fc41
2
sqlite-libs
3.45.1-2.fc40
3.45.2-1.fc41
2
redhat-rpm-config
285-1.fc41
287-1.fc41
3
openssh
9.6p1-1.fc40.2
9.6p1-1.fc41.3
3
libgfan
0.6.2-19.fc41
0.6.2-20.fc41
3
audit-libs
4.0-8.fc40
4.0.1-1.fc41
4
shadow-utils
2:4.15.0rc3-1.fc41
2:4.15.1-1.fc41
B
google-noto-fonts-common
20240301-1.fc41
20240301-2.fc41
B
google-noto-sans-vf-fonts
20240301-1.fc41
20240301-2.fc41
B
complete
114716386
2024-03-09 16:05:30
aarch64
├114716545 ( build.log | root.log )
ppc64le
├114716546 ( build.log | root.log )
x86_64
└114716544 ( build.log | root.log )
python3-pyparsing
3.1.1-4.fc40
3.1.2-2.fc41
1
python3-cython
3.0.8-1.fc40
3.0.8-4.fc41
1
python3-pip
23.3.2-1.fc40
24.0-2.fc41
1
openssl-libs
1:3.2.1-2.fc40
1:3.2.1-3.fc41
2
gsl-devel
2.7.1-7.fc40
2.7.1-8.fc41
2
xz
5.6.0-3.fc41
5.6.1-1.fc41
3
libssh
0.10.6-4.fc40
0.10.6-6.fc41
3
python-pip-wheel
23.3.2-1.fc40
24.0-2.fc41
3
xz-libs
5.6.0-3.fc41
5.6.1-1.fc41
3
gsl
2.7.1-7.fc40
2.7.1-8.fc41
3
libnghttp2
1.60.0-1.fc41
1.60.0-2.fc41
3
gdb-minimal
14.1-10.fc41
14.2-1.fc41
3
vim-filesystem
2:9.1.113-1.fc41
2:9.1.158-1.fc41
3
kernel-srpm-macros
1.0-22.fc40
1.0-23.fc41
4
annobin-plugin-gcc
12.42-1.fc41
12.44-1.fc41
4
libssh-config
0.10.6-4.fc40
0.10.6-6.fc41
4
ghc-srpm-macros
1.7-1.fc41
1.9-1.fc41
4
rust-srpm-macros
26.1-1.fc41
26.2-1.fc41
4
annobin-docs
12.42-1.fc41
12.44-1.fc41
B
google-noto-fonts-common
20240201-2.fc41
20240301-1.fc41
B
google-noto-sans-vf-fonts
20240201-2.fc41
20240301-1.fc41
B
libeconf
0.5.2-3.fc40
0.6.2-1.fc41
B
complete
114503883
2024-03-05 12:09:55
aarch64
├114504067 ( build.log | root.log )
ppc64le
├114504068 ( build.log | root.log )
x86_64
└114504066 ( build.log | root.log )
cmake
3.28.2-1.fc40
3.28.3-1.fc41
1
cmake-data
3.28.2-1.fc40
3.28.3-1.fc41
2
cmake-rpm-macros
3.28.2-1.fc40
3.28.3-1.fc41
2
cmake-filesystem
3.28.2-1.fc40
3.28.3-1.fc41
2
glibc
2.39.9000-4.fc41
2.39.9000-5.fc41
2
libnghttp2
1.59.0-2.fc40
1.60.0-1.fc41
3
xz
5.6.0-2.fc41
5.6.0-3.fc41
3
tzdata
2024a-2.fc40
2024a-4.fc41
3
glibc-common
2.39.9000-4.fc41
2.39.9000-5.fc41
3
xz-libs
5.6.0-2.fc41
5.6.0-3.fc41
3
gdb-minimal
14.1-9.fc41
14.1-10.fc41
3
crypto-policies
20240201-2.git9f501f3....
20240304-1.git0375239....
3
elfutils-libelf
0.190-6.fc40
0.191-2.fc41
3
glibc-minimal-langpack
2.39.9000-4.fc41
2.39.9000-5.fc41
3
binutils
2.42.50-4.fc41
2.42.50-5.fc41
3
tzdata-java
2024a-2.fc40
2024a-4.fc41
3
glibc-devel
2.39.9000-4.fc41
2.39.9000-5.fc41
3
elfutils
0.190-6.fc40
0.191-2.fc41
3
glibc-gconv-extra
2.39.9000-4.fc41
2.39.9000-5.fc41
3
crypto-policies-scripts
20240201-2.git9f501f3....
20240304-1.git0375239....
4
kernel-headers
6.8.0-0.rc6.49.fc41
6.8.0-0.rc7.55.fc41
4
forge-srpm-macros
0.2.0-3.fc40
0.3.0-1.fc41
4
libxcb
1.16-4.fc40
1.16.1-1.fc41
4
glibc-headers-x86
2.39.9000-4.fc41
2.39.9000-5.fc41
4
binutils-gold
2.42.50-4.fc41
2.42.50-5.fc41
4
elfutils-libs
0.190-6.fc40
0.191-2.fc41
4
elfutils-debuginfod-client
0.190-6.fc40
0.191-2.fc41
4
libfontenc
1.1.7-3.fc40
1.1.8-1.fc41
B
elfutils-default-yama-scope
0.190-6.fc40
0.191-2.fc41
B
complete
114324525
2024-03-02 05:34:39
aarch64
├114324594 ( build.log | root.log )
ppc64le
├114324593 ( build.log | root.log )
x86_64
└114324592 ( build.log | root.log )
javapackages-tools
6.2.0-8.fc40
6.2.0-9.fc41
1
java-21-openjdk-devel
1:21.0.2.0.13-2.fc41
1
gcc-c++
14.0.1-0.7.fc41
14.0.1-0.8.fc41
1
gcc
14.0.1-0.7.fc41
14.0.1-0.8.fc41
2
systemd-libs
255.3-1.fc40
255.4-1.fc41
2
javapackages-filesystem
6.2.0-8.fc40
6.2.0-9.fc41
2
libstdc++
14.0.1-0.7.fc41
14.0.1-0.8.fc41
2
libstdc++-devel
14.0.1-0.7.fc41
14.0.1-0.8.fc41
2
libgcc
14.0.1-0.7.fc41
14.0.1-0.8.fc41
2
java-21-openjdk-headless
1:21.0.2.0.13-2.fc41
2
java-21-openjdk
1:21.0.2.0.13-2.fc41
2
xz-libs
5.4.6-1.fc40
5.6.0-2.fc41
3
xz
5.4.6-1.fc40
5.6.0-2.fc41
3
libquadmath-devel
14.0.1-0.7.fc41
14.0.1-0.8.fc41
3
crypto-policies
20240201-1.git9f501f3....
20240201-2.git9f501f3....
3
cpp
14.0.1-0.7.fc41
14.0.1-0.8.fc41
3
libffi
3.4.4-7.fc40
3.4.4-8.fc41
3
libgomp
14.0.1-0.7.fc41
14.0.1-0.8.fc41
3
annobin-plugin-gcc
12.41-1.fc41
12.42-1.fc41
4
go-srpm-macros
3.4.0-2.fc40
3.5.0-1.fc41
4
libquadmath
14.0.1-0.7.fc41
14.0.1-0.8.fc41
4
crypto-policies-scripts
20240201-1.git9f501f3....
20240201-2.git9f501f3....
4
gcc-plugin-annobin
14.0.1-0.7.fc41
14.0.1-0.8.fc41
4
openblas-srpm-macros
2-16.fc40
2-17.fc41
4
ghc-srpm-macros
1.6.1-5.fc40
1.7-1.fc41
4
libgfortran
14.0.1-0.7.fc41
14.0.1-0.8.fc41
4
java-17-openjdk-devel
1:17.0.10.0.7-1.fc40
shadow-utils
2:4.15.0rc2-1.fc41
2:4.15.0rc3-1.fc41
B
java-17-openjdk-headless
1:17.0.10.0.7-1.fc40
java-17-openjdk
1:17.0.10.0.7-1.fc40
annobin-docs
12.41-1.fc41
12.42-1.fc41
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues