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.16.fc41
14.1.1-1.fc41
1
libgcc
14.0.1-0.16.fc41
14.1.1-1.fc41
2
mpfr
4.2.1-3.fc40
4.2.1-4.fc41
2
gcc
14.0.1-0.16.fc41
14.1.1-1.fc41
2
libstdc++-devel
14.0.1-0.16.fc41
14.1.1-1.fc41
2
libstdc++
14.0.1-0.16.fc41
14.1.1-1.fc41
2
glib2
2.80.1-3.fc41
2.80.2-1.fc41
3
libgomp
14.0.1-0.16.fc41
14.1.1-1.fc41
3
cpp
14.0.1-0.16.fc41
14.1.1-1.fc41
3
libgfortran
14.0.1-0.16.fc41
14.1.1-1.fc41
3
libquadmath
14.0.1-0.16.fc41
14.1.1-1.fc41
3
libevent
2.1.12-12.fc40
2.1.12-13.fc41
4
fedora-release
41-0.9
41-0.10
B
fedora-release-common
41-0.9
41-0.10
B
gcc-plugin-annobin
14.0.1-0.16.fc41
14.1.1-1.fc41
B
annobin-plugin-gcc
12.52-1.fc41
12.53-2.fc41
B
systemd-libs
255.5-1.fc41
256~rc1^20240509git1781de1-2.fc41
B
fedora-release-identity-basic
41-0.9
41-0.10
B
annobin-docs
12.52-1.fc41
12.53-2.fc41
B
glibc
2.39.9000-17.fc41
2.39.9000-18.fc41
2
vim-filesystem
2:9.1.354-1.fc41
2:9.1.393-1.fc41
2
pcre2
10.43-1.fc41
10.43-2.fc41
3
glib2
2.80.0-1.fc41
2.80.1-3.fc41
3
glibc-gconv-extra
2.39.9000-17.fc41
2.39.9000-18.fc41
3
glibc-common
2.39.9000-17.fc41
2.39.9000-18.fc41
3
libuuid
2.40-13.fc41
2.40.1-1.fc41
3
rpm
4.19.1.1-1.fc40
4.19.1.1-2.fc41
3
glibc-devel
2.39.9000-17.fc41
2.39.9000-18.fc41
3
fontconfig
2.15.0-4.fc40
2.15.0-5.fc41
3
glibc-minimal-langpack
2.39.9000-17.fc41
2.39.9000-18.fc41
3
rpm-libs
4.19.1.1-1.fc40
4.19.1.1-2.fc41
4
gnutls
3.8.5-1.fc41
3.8.5-2.fc41
4
fribidi
1.0.13-4.fc40
1.0.14-1.fc41
4
pcre2-syntax
10.43-1.fc41
10.43-2.fc41
4
glibc-headers-x86
2.39.9000-17.fc41
2.39.9000-18.fc41
4
kernel-headers
6.9.0-0.rc6.51.fc41
6.9.0-0.rc7.58.fc41
4
libmount
2.40-13.fc41
2.40.1-1.fc41
4
libfdisk
2.40-13.fc41
2.40.1-1.fc41
B
rpm-build-libs
4.19.1.1-1.fc40
4.19.1.1-2.fc41
B
gdb-minimal
14.2-6.fc41
14.2-7.fc41
B
rpm-build
4.19.1.1-1.fc40
4.19.1.1-2.fc41
B
libsmartcols
2.40-13.fc41
2.40.1-1.fc41
B
libblkid
2.40-13.fc41
2.40.1-1.fc41
B
util-linux-core
2.40-13.fc41
2.40.1-1.fc41
B
tpm2-tss
4.1.0-1.fc41
4.1.1-1.fc41
B
util-linux
2.40-13.fc41
2.40.1-1.fc41
B
gcc-c++
14.0.1-0.15.fc41
14.0.1-0.16.fc41
1
glibc
2.39.9000-16.fc41
2.39.9000-17.fc41
2
libarchive
3.7.2-3.fc41
3.7.4-1.fc41
2
libstdc++
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
libstdc++-devel
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
libgcc
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
graphviz
10.0.1-1.fc41
11.0.0-1.fc41
2
gcc
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
libgomp
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
glibc-common
2.39.9000-16.fc41
2.39.9000-17.fc41
3
glibc-minimal-langpack
2.39.9000-16.fc41
2.39.9000-17.fc41
3
glibc-gconv-extra
2.39.9000-16.fc41
2.39.9000-17.fc41
3
glibc-devel
2.39.9000-16.fc41
2.39.9000-17.fc41
3
cpp
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
kernel-headers
6.9.0-0.rc5.44.fc41
6.9.0-0.rc6.51.fc41
4
grep
3.11-7.fc40
3.11-8.fc41
4
glibc-headers-x86
2.39.9000-16.fc41
2.39.9000-17.fc41
4
libquadmath
14.0.1-0.15.fc41
14.0.1-0.16.fc41
B
libgfortran
14.0.1-0.15.fc41
14.0.1-0.16.fc41
B
gcc-plugin-annobin
14.0.1-0.15.fc41
14.0.1-0.16.fc41
B
gdb-minimal
14.2-5.fc41
14.2-6.fc41
B
debugedit
5.0-14.fc40
5.0-15.fc41
B
cmake
3.28.3-1.fc41
3.28.3-4.fc41
1
cmake-rpm-macros
3.28.3-1.fc41
3.28.3-4.fc41
2
rhash
1.4.3-4.fc40
1.4.4-1.fc41
2
glibc
2.39.9000-12.fc41
2.39.9000-16.fc41
2
cmake-data
3.28.3-1.fc41
3.28.3-4.fc41
2
vim-filesystem
2:9.1.309-1.fc41
2:9.1.354-1.fc41
2
cmake-filesystem
3.28.3-1.fc41
3.28.3-4.fc41
2
glibc-minimal-langpack
2.39.9000-12.fc41
2.39.9000-16.fc41
3
glibc-devel
2.39.9000-12.fc41
2.39.9000-16.fc41
3
glibc-gconv-extra
2.39.9000-12.fc41
2.39.9000-16.fc41
3
glibc-common
2.39.9000-12.fc41
2.39.9000-16.fc41
3
elfutils-debuginfod-client
0.191-5.fc41
0.191-7.fc41
4
libjpeg-turbo
3.0.2-1.fc40
3.0.2-2.fc41
4
default-fonts-core-sans
4.0-12.fc40
4.0-13.fc41
4
glibc-headers-x86
2.39.9000-12.fc41
2.39.9000-16.fc41
4
libpaper
1:2.1.1-3.fc40
1:2.1.1-5.fc41
4
sqlite-libs
3.45.2-1.fc41
3.45.3-1.fc41
4
kernel-headers
6.9.0-0.rc4.37.fc41
6.9.0-0.rc5.44.fc41
4
systemd-libs
255.4-1.fc41
255.5-1.fc41
B
ed
1.20.1-1.fc41
1.20.2-1.fc41
B
annobin-docs
12.49-1.fc41
12.52-1.fc41
B
elfutils-libelf
0.191-5.fc41
0.191-7.fc41
B
elfutils
0.191-5.fc41
0.191-7.fc41
B
tpm2-tss
4.0.1-7.fc40
4.1.0-1.fc41
B
elfutils-default-yama-scope
0.191-5.fc41
0.191-7.fc41
B
gdb-minimal
14.2-1.fc41
14.2-5.fc41
B
annobin-plugin-gcc
12.49-1.fc41
12.52-1.fc41
B
elfutils-libs
0.191-5.fc41
0.191-7.fc41
B
libgpg-error
1.48-1.fc41
1.49-1.fc41
B
2024-04-23 05:23:21
Package dependencies resolved successfuly
2024-04-23 02:18:46
Package resolution failed
  • Problem: conflicting requests
    - nothing provides librhash.so.0()(64bit) needed by cmake-3.28.3-2.fc41.x86_64
emacs-filesystem
1:29.3-5.fc41
1:30.0-2.fc41
2
glibc
2.39.9000-10.fc41
2.39.9000-12.fc41
2
python3
3.12.3-1.fc41
3.12.3-2.fc41
2
perl-interpreter
4:5.38.2-506.fc40
4:5.38.2-507.fc41
2
urw-base35-fonts
20200910-19.fc40
20200910-20.fc41
3
perl-libs
4:5.38.2-506.fc40
4:5.38.2-507.fc41
3
glibc-common
2.39.9000-10.fc41
2.39.9000-12.fc41
3
glibc-devel
2.39.9000-10.fc41
2.39.9000-12.fc41
3
glibc-minimal-langpack
2.39.9000-10.fc41
2.39.9000-12.fc41
3
python3-libs
3.12.3-1.fc41
3.12.3-2.fc41
3
libwebp
1.3.2-5.fc41
1.4.0-1.fc41
3
glibc-gconv-extra
2.39.9000-10.fc41
2.39.9000-12.fc41
3
gdk-pixbuf2
2.42.10-8.fc40
2.42.11-1.fc41
3
urw-base35-gothic-fonts
20200910-19.fc40
20200910-20.fc41
4
urw-base35-z003-fonts
20200910-19.fc40
20200910-20.fc41
4
urw-base35-bookman-fonts
20200910-19.fc40
20200910-20.fc41
4
urw-base35-p052-fonts
20200910-19.fc40
20200910-20.fc41
4
libxcb
1.16.1-1.fc41
1.17.0-1.fc41
4
urw-base35-standard-symbols-ps-fonts
20200910-19.fc40
20200910-20.fc41
4
urw-base35-nimbus-sans-fonts
20200910-19.fc40
20200910-20.fc41
4
urw-base35-nimbus-roman-fonts
20200910-19.fc40
20200910-20.fc41
4
perl-DynaLoader
1.54-506.fc40
1.54-507.fc41
4
kernel-headers
6.9.0-0.rc3.30.fc41
6.9.0-0.rc4.37.fc41
4
libavif
1.0.4-1.fc41
1.0.4-2.fc41
4
urw-base35-d050000l-fonts
20200910-19.fc40
20200910-20.fc41
4
urw-base35-c059-fonts
20200910-19.fc40
20200910-20.fc41
4
glibc-headers-x86
2.39.9000-10.fc41
2.39.9000-12.fc41
4
urw-base35-fonts-common
20200910-19.fc40
20200910-20.fc41
4
urw-base35-nimbus-mono-ps-fonts
20200910-19.fc40
20200910-20.fc41
4
perl-File-stat
1.13-506.fc40
1.13-507.fc41
B
perl-vars
1.05-506.fc40
1.05-507.fc41
B
perl-SelectSaver
1.02-506.fc40
1.02-507.fc41
B
perl-FileHandle
2.05-506.fc40
2.05-507.fc41
B
perl-Errno
1.37-506.fc40
1.37-507.fc41
B
perl-IO
1.52-506.fc40
1.52-507.fc41
B
fedora-release-identity-basic
41-0.6
41-0.9
B
perl-POSIX
2.13-506.fc40
2.13-507.fc41
B
perl-Getopt-Std
1.13-506.fc40
1.13-507.fc41
B
perl-mro
1.28-506.fc40
1.28-507.fc41
B
ansible-srpm-macros
1-14.fc40
1-15.fc41
B
perl-overload
1.37-506.fc40
1.37-507.fc41
B
perl-locale
1.10-506.fc40
1.10-507.fc41
B
perl-if
0.61.000-506.fc40
0.61.000-507.fc41
B
annobin-plugin-gcc
12.48-1.fc41
12.49-1.fc41
B
perl-IPC-Open3
1.22-506.fc40
1.22-507.fc41
B
perl-Socket
4:2.037-5.fc40
4:2.038-1.fc41
B
perl-Fcntl
1.15-506.fc40
1.15-507.fc41
B
annobin-docs
12.48-1.fc41
12.49-1.fc41
B
perl-Class-Struct
0.68-506.fc40
0.68-507.fc41
B
fedora-release-common
41-0.6
41-0.9
B
perl-B
1.88-506.fc40
1.88-507.fc41
B
perl-base
2.27-506.fc40
2.27-507.fc41
B
perl-overloading
0.02-506.fc40
0.02-507.fc41
B
perl-Symbol
1.09-506.fc40
1.09-507.fc41
B
fedora-release
41-0.6
41-0.9
B
libaom
3.8.2-1.fc41
3.8.2-2.fc41
B
perl-File-Basename
2.86-506.fc40
2.86-507.fc41
B
perl-AutoLoader
5.74-506.fc40
5.74-507.fc41
B
gcc-c++
14.0.1-0.13.fc41
14.0.1-0.15.fc41
1
emacs-filesystem
1:29.3-2.fc41
1:29.3-5.fc41
2
python3
3.12.2-3.fc41
3.12.3-1.fc41
2
libstdc++-devel
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
vim-filesystem
2:9.1.264-1.fc41
2:9.1.309-1.fc41
2
libstdc++
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
gcc
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
libgcc
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
pango
1.51.2-1.fc41
1.52.2-1.fc41
3
librsvg2
2.57.1-4.fc40
2.57.1-5.fc41
3
libgomp
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
python3-libs
3.12.2-3.fc41
3.12.3-1.fc41
3
cpp
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
rsvg-pixbuf-loader
2.57.1-4.fc40
2.57.1-5.fc41
4
kernel-headers
6.9.0-0.rc2.23.fc41
6.9.0-0.rc3.30.fc41
4
filesystem
3.18-8.fc40
3.18-9.fc41
4
libgfortran
14.0.1-0.13.fc41
14.0.1-0.15.fc41
B
go-srpm-macros
3.5.0-1.fc41
3.6.0-1.fc41
B
pam
1.6.0-2.fc41
1.6.1-1.fc41
B
redhat-rpm-config
287-1.fc41
288-1.fc41
B
libcap-ng
0.8.4-4.fc40
0.8.5-1.fc41
B
forge-srpm-macros
0.3.0-1.fc41
0.3.1-1.fc41
B
pam-libs
1.6.0-2.fc41
1.6.1-1.fc41
B
gcc-plugin-annobin
14.0.1-0.13.fc41
14.0.1-0.15.fc41
B
libquadmath
14.0.1-0.13.fc41
14.0.1-0.15.fc41
B
Previous history