cbmc

Package information

State
unknown

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

Groups

This package is not part of any global group.

Most recent builds

gcc-c++
14.0.1-0.15.fc40
14.1.1-1.fc40
1
libstdc++
14.0.1-0.15.fc40
14.1.1-1.fc40
2
python3
3.12.2-2.fc40
3.12.3-2.fc40
2
gcc
14.0.1-0.15.fc40
14.1.1-1.fc40
2
vim-filesystem
2:9.1.309-1.fc40
2:9.1.393-1.fc40
2
libgcc
14.0.1-0.15.fc40
14.1.1-1.fc40
2
libstdc++-devel
14.0.1-0.15.fc40
14.1.1-1.fc40
2
emacs-filesystem
1:29.3-5.fc40
1:29.3-6.fc40
2
libgomp
14.0.1-0.15.fc40
14.1.1-1.fc40
3
cpp
14.0.1-0.15.fc40
14.1.1-1.fc40
3
libuuid
2.40-13.fc40
2.40.1-1.fc40
3
libX11
1.8.7-3.fc40
1.8.9-1.fc40
3
binutils
2.41-34.fc40
2.41-37.fc40
3
python3-libs
3.12.2-2.fc40
3.12.3-2.fc40
3
libX11-common
1.8.7-3.fc40
1.8.9-1.fc40
4
default-fonts-core-sans
4.0-12.fc40
4.0-13.fc40
4
pixman
0.43.0-3.fc40
0.43.4-1.fc40
4
binutils-gold
2.41-34.fc40
2.41-37.fc40
4
libmount
2.40-13.fc40
2.40.1-1.fc40
4
libxcb
1.16-4.fc40
1.17.0-1.fc40
4
annobin-plugin-gcc
12.46-1.fc40
12.51-1.fc40
B
libgpg-error
1.48-1.fc40
1.49-1.fc40
B
libsmartcols
2.40-13.fc40
2.40.1-1.fc40
B
qt6-srpm-macros
6.6.2-1.fc40
6.7.0-1.fc40
B
libquadmath
14.0.1-0.15.fc40
14.1.1-1.fc40
B
gcc-plugin-annobin
14.0.1-0.15.fc40
14.1.1-1.fc40
B
tpm2-tss
4.0.1-7.fc40
4.1.0-1.fc40
B
libfdisk
2.40-13.fc40
2.40.1-1.fc40
B
ed
1.20.1-1.fc40
1.20.2-1.fc40
B
systemd-libs
255.4-1.fc40
255.6-1.fc40
B
annobin-docs
12.46-1.fc40
12.51-1.fc40
B
forge-srpm-macros
0.2.0-3.fc40
0.3.1-1.fc40
B
perl-Socket
4:2.037-5.fc40
4:2.038-1.fc40
B
util-linux-core
2.40-13.fc40
2.40.1-1.fc40
B
libblkid
2.40-13.fc40
2.40.1-1.fc40
B
util-linux
2.40-13.fc40
2.40.1-1.fc40
B
libgfortran
14.0.1-0.15.fc40
14.1.1-1.fc40
B
gcc-c++
14.0.1-0.13.fc40
14.0.1-0.15.fc40
1
emacs-filesystem
1:29.2-3.fc40
1:29.3-5.fc40
2
vim-filesystem
2:9.1.158-1.fc40
2:9.1.309-1.fc40
2
libstdc++-devel
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
libcurl
8.6.0-7.fc40
8.6.0-8.fc40
2
libgcc
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
gcc
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
libzstd
1.5.5-5.fc40
1.5.6-1.fc40
2
glibc
2.39-6.fc40
2.39-8.fc40
2
libstdc++
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
expat
2.6.0-1.fc40
2.6.2-1.fc40
2
urw-base35-fonts
20200910-19.fc40
20200910-20.fc40
3
cpp
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
glibc-common
2.39-6.fc40
2.39-8.fc40
3
pango
1.51.2-1.fc40
1.52.2-1.fc40
3
libnghttp2
1.59.0-2.fc40
1.59.0-3.fc40
3
glibc-minimal-langpack
2.39-6.fc40
2.39-8.fc40
3
glibc-devel
2.39-6.fc40
2.39-8.fc40
3
libuuid
2.40-0.9.rc1.fc40
2.40-13.fc40
3
glibc-gconv-extra
2.39-6.fc40
2.39-8.fc40
3
libxml2
2.12.5-1.fc40
2.12.6-1.fc40
3
libgomp
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
libmount
2.40-0.9.rc1.fc40
2.40-13.fc40
4
urw-base35-z003-fonts
20200910-19.fc40
20200910-20.fc40
4
urw-base35-c059-fonts
20200910-19.fc40
20200910-20.fc40
4
urw-base35-nimbus-sans-fonts
20200910-19.fc40
20200910-20.fc40
4
tzdata
2024a-4.fc40
2024a-5.fc40
4
urw-base35-p052-fonts
20200910-19.fc40
20200910-20.fc40
4
urw-base35-nimbus-roman-fonts
20200910-19.fc40
20200910-20.fc40
4
gnutls
3.8.3-2.fc40
3.8.5-1.fc40
4
urw-base35-fonts-common
20200910-19.fc40
20200910-20.fc40
4
glibc-headers-x86
2.39-6.fc40
2.39-8.fc40
4
urw-base35-standard-symbols-ps-fonts
20200910-19.fc40
20200910-20.fc40
4
curl
8.6.0-7.fc40
8.6.0-8.fc40
4
urw-base35-bookman-fonts
20200910-19.fc40
20200910-20.fc40
4
urw-base35-d050000l-fonts
20200910-19.fc40
20200910-20.fc40
4
cups-libs
1:2.4.7-11.fc40
1:2.4.7-13.fc40
4
urw-base35-gothic-fonts
20200910-19.fc40
20200910-20.fc40
4
urw-base35-nimbus-mono-ps-fonts
20200910-19.fc40
20200910-20.fc40
4
nspr
4.35.0-21.fc40
4.35.0-22.fc40
B
libcap
2.69-3.fc40
2.69-8.fc40
B
fedora-gpg-keys
40-0.4
40-1
B
fedora-release-identity-basic
40-0.37
40-39
B
libgfortran
14.0.1-0.13.fc40
14.0.1-0.15.fc40
B
fedora-release-common
40-0.37
40-39
B
util-linux
2.40-0.9.rc1.fc40
2.40-13.fc40
B
nss-util
3.98.0-1.fc40
3.99.0-1.fc40
B
nss-softokn
3.98.0-1.fc40
3.99.0-1.fc40
B
util-linux-core
2.40-0.9.rc1.fc40
2.40-13.fc40
B
libfdisk
2.40-0.9.rc1.fc40
2.40-13.fc40
B
libsmartcols
2.40-0.9.rc1.fc40
2.40-13.fc40
B
fedora-repos
40-0.4
40-1
B
perl-URI
5.27-1.fc40
5.28-1.fc40
B
fedora-release
40-0.37
40-39
B
nss
3.98.0-1.fc40
3.99.0-1.fc40
B
libquadmath
14.0.1-0.13.fc40
14.0.1-0.15.fc40
B
gcc-plugin-annobin
14.0.1-0.13.fc40
14.0.1-0.15.fc40
B
zstd
1.5.5-5.fc40
1.5.6-1.fc40
B
libblkid
2.40-0.9.rc1.fc40
2.40-13.fc40
B
nss-softokn-freebl
3.98.0-1.fc40
3.99.0-1.fc40
B
annobin-docs
12.42-1.fc40
12.46-1.fc40
B
nss-sysinit
3.98.0-1.fc40
3.99.0-1.fc40
B
shadow-utils
2:4.15.1-1.fc40
2:4.15.1-2.fc40
B
annobin-plugin-gcc
12.42-1.fc40
12.46-1.fc40
B
gcc-c++
14.0.1-0.12.fc40
14.0.1-0.13.fc40
1
libstdc++-devel
14.0.1-0.12.fc40
14.0.1-0.13.fc40
2
gcc
14.0.1-0.12.fc40
14.0.1-0.13.fc40
2
glibc
2.39-4.fc40
2.39-6.fc40
2
libgcc
14.0.1-0.12.fc40
14.0.1-0.13.fc40
2
libstdc++
14.0.1-0.12.fc40
14.0.1-0.13.fc40
2
cpp
14.0.1-0.12.fc40
14.0.1-0.13.fc40
3
glibc-minimal-langpack
2.39-4.fc40
2.39-6.fc40
3
glibc-devel
2.39-4.fc40
2.39-6.fc40
3
glib2
2.79.1-1.fc40
2.80.0-1.fc40
3
glibc-common
2.39-4.fc40
2.39-6.fc40
3
glibc-gconv-extra
2.39-4.fc40
2.39-6.fc40
3
libgomp
14.0.1-0.12.fc40
14.0.1-0.13.fc40
3
xz-libs
5.4.6-1.fc40
1:5.4.6-3.fc40
3
glibc-headers-x86
2.39-4.fc40
2.39-6.fc40
4
libtirpc
1.3.4-1.rc2.fc40.2
1.3.4-1.rc3.fc40
4
tzdata
2024a-2.fc40
2024a-4.fc40
4
perl-Encode
4:3.20-504.fc40
4:3.21-505.fc40
4
kernel-headers
6.8.1-0.fc40
6.8.3-300.fc40
4
qt5-srpm-macros
5.15.12-3.fc40
5.15.13-1.fc40
B
xz
5.4.6-1.fc40
1:5.4.6-3.fc40
B
gdb-minimal
14.1-8.fc40
14.2-1.fc40
B
libjxl
1:0.8.2-3.fc40
libquadmath
14.0.1-0.12.fc40
14.0.1-0.13.fc40
B
redhat-rpm-config
285-1.fc40
286-1.fc40
B
perl-Text-Tabs+Wrap
2023.0511-5.fc40
2024.001-1.fc40
B
libaom
3.8.0-3.fc40
3.8.2-1.fc40
B
google-noto-sans-vf-fonts
20240201-2.fc40
20240301-2.fc40
B
highway
1.1.0-1.fc40
go-srpm-macros
3.4.0-2.fc40
3.5.0-1.fc40
B
libgfortran
14.0.1-0.12.fc40
14.0.1-0.13.fc40
B
google-noto-fonts-common
20240201-2.fc40
20240301-2.fc40
B
ghc-srpm-macros
1.6.1-5.fc40
1.9-1.fc40
B
audit-libs
4.0-8.fc40
4.0.1-1.fc40
B
gcc-plugin-annobin
14.0.1-0.12.fc40
14.0.1-0.13.fc40
B
gcc-c++
14.0.1-0.7.fc40
14.0.1-0.12.fc40
1
libstdc++
14.0.1-0.7.fc40
14.0.1-0.12.fc40
2
gcc
14.0.1-0.7.fc40
14.0.1-0.12.fc40
2
glibc
2.39-2.fc40
2.39-4.fc40
2
python3
3.12.2-1.fc40
3.12.2-2.fc40
2
libstdc++-devel
14.0.1-0.7.fc40
14.0.1-0.12.fc40
2
vim-filesystem
2:9.1.113-1.fc40
2:9.1.158-1.fc40
2
libgcc
14.0.1-0.7.fc40
14.0.1-0.12.fc40
2
libssh
0.10.6-4.fc40
0.10.6-5.fc40
3
python3-libs
3.12.2-1.fc40
3.12.2-2.fc40
3
glibc-devel
2.39-2.fc40
2.39-4.fc40
3
gd
2.3.3-15.fc40
2.3.3-16.fc40
3
libgomp
14.0.1-0.7.fc40
14.0.1-0.12.fc40
3
glibc-gconv-extra
2.39-2.fc40
2.39-4.fc40
3
glibc-common
2.39-2.fc40
2.39-4.fc40
3
cpp
14.0.1-0.7.fc40
14.0.1-0.12.fc40
3
glibc-minimal-langpack
2.39-2.fc40
2.39-4.fc40
3
elfutils-debuginfod-client
0.190-6.fc40
0.191-4.fc40
4
openjpeg2
2.5.1-1.fc40
2.5.2-1.fc40
4
libssh-config
0.10.6-4.fc40
0.10.6-5.fc40
4
kernel-headers
6.8.0-0.rc6.49.fc40
6.8.1-0.fc40
4
flexiblas-netlib
3.4.1-3.fc40
3.4.2-1.fc40
4
glibc-headers-x86
2.39-2.fc40
2.39-4.fc40
4
annobin-docs
12.40-1.fc40
12.42-1.fc40
B
fedora-release-identity-basic
40-0.36
40-0.37
B
elfutils-libelf
0.190-6.fc40
0.191-4.fc40
B
elfutils-libs
0.190-6.fc40
0.191-4.fc40
B
rust-srpm-macros
26.1-1.fc40
26.2-1.fc40
B
elfutils
0.190-6.fc40
0.191-4.fc40
B
libdav1d
1.3.0-3.fc40
1.4.0-1.fc40
B
libgfortran
14.0.1-0.7.fc40
14.0.1-0.12.fc40
B
fedora-release
40-0.36
40-0.37
B
kernel-srpm-macros
1.0-22.fc40
1.0-23.fc40
B
flexiblas
3.4.1-3.fc40
3.4.2-1.fc40
B
annobin-plugin-gcc
12.40-1.fc40
12.42-1.fc40
B
libquadmath
14.0.1-0.7.fc40
14.0.1-0.12.fc40
B
elfutils-default-yama-scope
0.190-6.fc40
0.191-4.fc40
B
gcc-plugin-annobin
14.0.1-0.7.fc40
14.0.1-0.12.fc40
B
systemd-libs
255.3-1.fc40
255.4-1.fc40
B
libeconf
0.5.2-3.fc40
0.6.2-1.fc40
B
fedora-release-common
40-0.36
40-0.37
B
libassuan
2.5.6-4.fc40
2.5.7-1.fc40
B
flexiblas-openblas-openmp
3.4.1-3.fc40
3.4.2-1.fc40
B
shadow-utils
2:4.15.0rc2-1.fc40
2:4.15.1-1.fc40
B
openjpeg2
2.5.0-7.fc40
2.5.1-1.fc40
4
kernel-headers
6.8.0-0.rc5.41.fc40
6.8.0-0.rc6.49.fc40
4
crypto-policies
20240201-1.git9f501f3....
20240201-2.git9f501f3....
4
authselect-libs
1.5.0-4.fc40
1.5.0-5.fc40
B
crypto-policies-scripts
20240201-1.git9f501f3....
20240201-2.git9f501f3....
B
fedora-release-identity-basic
40-0.34
40-0.36
B
fedora-repos
40-0.3
40-0.4
B
authselect
1.5.0-4.fc40
1.5.0-5.fc40
B
fedora-gpg-keys
40-0.3
40-0.4
B
fedora-release-common
40-0.34
40-0.36
B
fedora-release
40-0.34
40-0.36
B
redhat-rpm-config
282-1.fc40
285-1.fc40
B
gcc-c++
14.0.1-0.6.fc40
14.0.1-0.7.fc40
1
libcurl
8.6.0-7.fc40
2
vim-filesystem
2:9.1.083-1.fc40
2:9.1.113-1.fc40
2
libstdc++
14.0.1-0.6.fc40
14.0.1-0.7.fc40
2
gcc
14.0.1-0.6.fc40
14.0.1-0.7.fc40
2
libgcc
14.0.1-0.6.fc40
14.0.1-0.7.fc40
2
libstdc++-devel
14.0.1-0.6.fc40
14.0.1-0.7.fc40
2
pkgconf-pkg-config
1.9.5-4.fc40
2.1.0-1.fc40
2
expat
2.5.0-5.fc40
2.6.0-1.fc40
2
libpsl
0.21.5-3.fc40
3
libssh
0.10.6-4.fc40
3
pkgconf-m4
1.9.5-4.fc40
2.1.0-1.fc40
3
libwebp
1.3.2-4.fc40
1.3.2-5.fc40
3
pango
1.51.0-3.fc40
1.51.2-1.fc40
3
cpp
14.0.1-0.6.fc40
14.0.1-0.7.fc40
3
binutils
2.41-32.fc40
2.41-34.fc40
3
pkgconf
1.9.5-4.fc40
2.1.0-1.fc40
3
libgomp
14.0.1-0.6.fc40
14.0.1-0.7.fc40
3
libuuid
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
3
perl-Encode
4:3.20-503.fc40
4:3.20-504.fc40
4
libavif
1.0.3-1.fc40
1.0.4-1.fc40
4
curl
8.6.0-4.fc40
8.6.0-7.fc40
4
libevent
2.1.12-11.fc40
2.1.12-12.fc40
4
binutils-gold
2.41-32.fc40
2.41-34.fc40
4
cups-libs
1:2.4.7-9.fc40
1:2.4.7-11.fc40
4
shared-mime-info
2.3-3.fc40
2.3-4.fc40
4
kernel-headers
6.8.0-0.rc3.26.fc40
6.8.0-0.rc5.41.fc40
4
libpkgconf
1.9.5-4.fc40
2.1.0-1.fc40
4
libmount
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
4
publicsuffix-list-dafsa
20240107-3.fc40
4
libssh-config
0.10.6-4.fc40
4
util-linux-core
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
B
nss-util
3.97.0-1.fc40
3.98.0-1.fc40
B
libgfortran
14.0.1-0.6.fc40
14.0.1-0.7.fc40
B
nss-sysinit
3.97.0-1.fc40
3.98.0-1.fc40
B
authselect
1.5.0-3.fc40
1.5.0-4.fc40
B
libksba
1.6.5-3.fc40
1.6.6-1.fc40
B
fedora-release
40-0.30
40-0.34
B
authselect-libs
1.5.0-3.fc40
1.5.0-4.fc40
B
rust-srpm-macros
25.2-4.fc40
26.1-1.fc40
B
nss
3.97.0-1.fc40
3.98.0-1.fc40
B
fedora-gpg-keys
40-0.2
40-0.3
B
fedora-repos
40-0.2
40-0.3
B
libsmartcols
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
B
libfdisk
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
B
nss-softokn
3.97.0-1.fc40
3.98.0-1.fc40
B
fedora-release-identity-basic
40-0.30
40-0.34
B
google-noto-sans-vf-fonts
20240201-1.fc40
20240201-2.fc40
B
ed
1.20-2.fc40
1.20.1-1.fc40
B
shadow-utils
2:4.14.0-5.fc40
2:4.15.0rc2-1.fc40
B
gcc-plugin-annobin
14.0.1-0.6.fc40
14.0.1-0.7.fc40
B
libgpg-error
1.47-4.fc40
1.48-1.fc40
B
nspr
4.35.0-20.fc40
4.35.0-21.fc40
B
libcurl-minimal
8.6.0-4.fc40
google-noto-fonts-common
20240201-1.fc40
20240201-2.fc40
B
annobin-docs
12.38-1.fc40
12.40-1.fc40
B
libblkid
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
B
qt6-srpm-macros
6.6.1-5.fc40
6.6.2-1.fc40
B
util-linux
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
B
libquadmath
14.0.1-0.6.fc40
14.0.1-0.7.fc40
B
fedora-repos-rawhide
40-0.2
pam-libs
1.6.0-1.fc40
1.6.0-2.fc40
B
annobin-plugin-gcc
12.38-1.fc40
12.40-1.fc40
B
nss-softokn-freebl
3.97.0-1.fc40
3.98.0-1.fc40
B
pam
1.6.0-1.fc40
1.6.0-2.fc40
B
npth
1.6-18.fc40
1.7-1.fc40
B
highway
1.0.7-3.fc40
1.1.0-1.fc40
B
fedora-release-common
40-0.30
40-0.34
B
Real build: cbmc-5.95.1-4.fc40
graphviz
9.0.0-10.fc40
9.0.0-11.fc40
2
openblas-openmp
0.3.26-1.fc40
0.3.26-4.fc40
B
lua-srpm-macros
1-11.fc40
1-13.fc40
B
openblas
0.3.26-1.fc40
0.3.26-4.fc40
B
gcc-c++
14.0.1-0.4.fc40
14.0.1-0.6.fc40
1
libstdc++-devel
14.0.1-0.4.fc40
14.0.1-0.6.fc40
2
python3
3.12.1-4.fc40
3.12.2-1.fc40
2
libstdc++
14.0.1-0.4.fc40
14.0.1-0.6.fc40
2
vim-filesystem
2:9.1.076-2.fc40
2:9.1.083-1.fc40
2
glibc
2.38.9000-39.fc40
2.39-2.fc40
2
libuv
1:1.47.0-6.fc40
1:1.48.0-1.fc40
2
libgcc
14.0.1-0.4.fc40
14.0.1-0.6.fc40
2
gcc
14.0.1-0.4.fc40
14.0.1-0.6.fc40
2
glibc-devel
2.38.9000-39.fc40
2.39-2.fc40
3
glibc-minimal-langpack
2.38.9000-39.fc40
2.39-2.fc40
3
libgomp
14.0.1-0.4.fc40
14.0.1-0.6.fc40
3
fontconfig
2.15.0-3.fc40
2.15.0-4.fc40
3
python3-libs
3.12.1-4.fc40
3.12.2-1.fc40
3
bash
5.2.26-2.fc40
5.2.26-3.fc40
3
glibc-common
2.38.9000-39.fc40
2.39-2.fc40
3
poppler-glib
23.08.0-3.fc40
24.02.0-2.fc40
3
glibc-gconv-extra
2.38.9000-39.fc40
2.39-2.fc40
3
openssl-libs
1:3.1.4-4.fc40
1:3.2.1-2.fc40
3
openldap
2.6.7-1.fc40
3
cpp
14.0.1-0.4.fc40
14.0.1-0.6.fc40
3
poppler
23.08.0-3.fc40
24.02.0-2.fc40
4
glibc-headers-x86
2.38.9000-39.fc40
2.39-2.fc40
4
libcom_err
1.47.0-4.fc40
1.47.0-5.fc40
4
cyrus-sasl-lib
2.1.28-19.fc40
4
perl-Scalar-List-Utils
5:1.63-502.fc40
5:1.63-503.fc40
B
libgfortran
14.0.1-0.4.fc40
14.0.1-0.6.fc40
B
google-noto-fonts-common
20240101-1.fc40
20240201-1.fc40
B
gcc-plugin-annobin
14.0.1-0.4.fc40
14.0.1-0.6.fc40
B
libgcrypt
1.10.3-3.fc40
B
gpgmepp
1.23.2-3.fc40
B
npth
1.6-18.fc40
B
libassuan
2.5.6-4.fc40
B
libksba
1.6.5-3.fc40
B
json-c
0.17-3.fc40
B
tpm2-tss
4.0.1-7.fc40
B
gnupg2
2.4.4-1.fc40
B
libquadmath
14.0.1-0.4.fc40
14.0.1-0.6.fc40
B
google-noto-sans-vf-fonts
20240101-1.fc40
20240201-1.fc40
B
go-srpm-macros
3.3.1-3.fc40
3.4.0-2.fc40
B
perl-Pod-Usage
4:2.03-502.fc40
4:2.03-503.fc40
B
gpgme
1.23.2-3.fc40
B
libgpg-error
1.47-4.fc40
B
perl-URI
5.26-1.fc40
5.27-1.fc40
B
Previous history