cbmc

Package information

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

Scheduler parameters

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

perl-Module-CoreList
1:5.20230220-1.fc38
1:5.20230320-1.fc38
2
perl-ExtUtils-Command
2:7.66-2.fc38
2:7.70-1.fc38
2
perl-Module-CoreList-tools
1:5.20230220-1.fc38
1:5.20230320-1.fc38
2
perl-ExtUtils-MM-Utils
2:7.66-2.fc38
2:7.70-1.fc38
2
perl-ExtUtils-MakeMaker
2:7.66-2.fc38
2:7.70-1.fc38
2
vim-filesystem
2:9.0.1423-1.fc38
2:9.0.1429-1.fc38
2
librsvg2
2.55.90-1.fc38
2.56.0-1.fc38
3
harfbuzz
7.0.1-2.fc38
7.1.0-1.fc38
3
tzdata
2022g-2.fc38
2023c-1.fc38
3
systemd-libs
253-6.fc38
253.2-1.fc38
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
99336831
2023-03-30 21:57:50
aarch64
├99336884 ( build.log | root.log )
ppc64le
├99336886 ( build.log | root.log )
x86_64
└99336885 ( build.log | root.log )
gdb
13.1-1.fc38
13.1-2.fc38
1
cmake
3.26.1-1.fc38
3.26.2-1.fc38
1
cmake-data
3.26.1-1.fc38
3.26.2-1.fc38
2
perl-IO-Socket-IP
0.41-491.fc38
0.41-492.fc38
2
libcurl
7.87.0-6.fc38
7.87.0-7.fc38
2
vim-filesystem
2:9.0.1407-1.fc38
2:9.0.1423-1.fc38
2
cmake-rpm-macros
3.26.1-1.fc38
3.26.2-1.fc38
2
gdb-headless
13.1-1.fc38
13.1-2.fc38
2
perl-Test-Simple
3:1.302193-1.fc38
3:1.302194-1.fc38
2
cmake-filesystem
3.26.1-1.fc38
3.26.2-1.fc38
2
libgs
10.0.0-3.fc38
10.0.0-4.fc38
3
annobin-plugin-gcc
11.11-1.fc38
11.14-1.fc38
4
alternatives
1.21-2.fc38
1.22-1.fc38
4
cups-libs
1:2.4.2-10.fc38
1:2.4.2-11.fc38
4
curl
7.87.0-6.fc38
7.87.0-7.fc38
4
fedora-release
38-0.30
38-0.32
B
shadow-utils
2:4.13-5.fc38
2:4.13-6.fc38
B
tar
2:1.34-7.fc38
2:1.34-8.fc38
B
libsemanage
3.5-1.fc38
3.5-2.fc38
B
fedora-release-common
38-0.30
38-0.32
B
annobin-docs
11.11-1.fc38
11.14-1.fc38
B
fedora-release-identity-basic
38-0.30
38-0.32
B
complete
99075837
2023-03-24 06:45:10
aarch64
├99075987 ( build.log | root.log )
ppc64le
├99075988 ( build.log | root.log )
x86_64
└99075989 ( build.log | root.log )
gcc-c++
13.0.1-0.7.fc38
13.0.1-0.8.fc38
1
cmake
3.26.0-1.fc38
3.26.1-1.fc38
1
libgcc
13.0.1-0.7.fc38
13.0.1-0.8.fc38
2
gcc
13.0.1-0.7.fc38
13.0.1-0.8.fc38
2
vim-filesystem
2:9.0.1367-1.fc38
2:9.0.1407-1.fc38
2
perl-libnet
3.14-491.fc38
3.15-1.fc38
2
cmake-filesystem
3.26.0-1.fc38
3.26.1-1.fc38
2
cmake-rpm-macros
3.26.0-1.fc38
3.26.1-1.fc38
2
libstdc++-devel
13.0.1-0.7.fc38
13.0.1-0.8.fc38
2
cmake-data
3.26.0-1.fc38
3.26.1-1.fc38
2
libstdc++
13.0.1-0.7.fc38
13.0.1-0.8.fc38
2
glib2
2.76.0-1.fc38
2.76.1-1.fc38
3
cpp
13.0.1-0.7.fc38
13.0.1-0.8.fc38
3
rpm
4.18.0-10.fc38
4.18.1-1.fc38
3
libgomp
13.0.1-0.7.fc38
13.0.1-0.8.fc38
3
openssl-libs
1:3.0.8-1.fc38
1:3.0.8-2.fc38
3
rpm-libs
4.18.0-10.fc38
4.18.1-1.fc38
4
python-srpm-macros
3.11-9.fc38
3.11-10.fc38
4
gcc-plugin-annobin
13.0.1-0.7.fc38
13.0.1-0.8.fc38
4
libavif
0.11.1-5.fc38
0.11.1-7.fc38
4
rpm-build
4.18.0-10.fc38
4.18.1-1.fc38
B
highway
1.0.2-1.fc38
1.0.4-1.fc38
B
libgfortran
13.0.1-0.7.fc38
13.0.1-0.8.fc38
B
rpm-build-libs
4.18.0-10.fc38
4.18.1-1.fc38
B
libaom
3.5.0-3.fc38
3.6.0-1.fc38
B
libquadmath
13.0.1-0.7.fc38
13.0.1-0.8.fc38
B
complete
98862046
2023-03-18 20:53:36
aarch64
├98862144 ( build.log | root.log )
ppc64le
├98862146 ( build.log | root.log )
x86_64
└98862145 ( build.log | root.log )
libcurl
7.87.0-5.fc38
7.87.0-6.fc38
2
glib2
2.75.4-2.fc38
2.76.0-1.fc38
3
pango
1.50.13-1.fc38
1.50.14-1.fc38
3
openldap
2.6.3-2.fc38
2.6.4-1.fc38
3
libssh
0.10.4-3.fc38
0.10.4-4.fc38
3
redhat-rpm-config
249-1.fc38
252-1.fc38
3
elfutils-debuginfod-client
0.188-5.fc38
0.189-1.fc38
3
cairo
1.17.8-2.fc38
1.17.8-3.fc38
3
pyproject-srpm-macros
1.6.2-1.fc38
1.6.3-1.fc38
4
cairo-gobject
1.17.8-2.fc38
1.17.8-3.fc38
4
libssh-config
0.10.4-3.fc38
0.10.4-4.fc38
4
lcms2
2.14-2.fc38
2.15-1.fc38
4
annobin-plugin-gcc
11.09-1.fc38
11.11-1.fc38
4
file
5.44-2.fc38
5.44-3.fc38
4
elfutils-libs
0.188-5.fc38
0.189-1.fc38
4
elfutils-libelf
0.188-5.fc38
0.189-1.fc38
4
curl
7.87.0-5.fc38
7.87.0-6.fc38
4
shadow-utils
2:4.13-4.fc38
2:4.13-5.fc38
B
file-libs
5.44-2.fc38
5.44-3.fc38
B
nss-sysinit
3.88.1-2.fc38
3.89.0-2.fc38
B
which
2.21-37.fc38
2.21-39.fc38
B
nss-util
3.88.1-2.fc38
3.89.0-2.fc38
B
nim-srpm-macros
3-8.fc38
annobin-docs
11.09-1.fc38
11.11-1.fc38
B
nss-softokn-freebl
3.88.1-2.fc38
3.89.0-2.fc38
B
nspr
4.35.0-5.fc38
4.35.0-6.fc38
B
nss-softokn
3.88.1-2.fc38
3.89.0-2.fc38
B
elfutils
0.188-5.fc38
0.189-1.fc38
B
nss
3.88.1-2.fc38
3.89.0-2.fc38
B
elfutils-default-yama-scope
0.188-5.fc38
0.189-1.fc38
B
complete
98708551
2023-03-15 02:28:30
aarch64
├98708578 ( build.log | root.log )
ppc64le
├98708581 ( build.log | root.log )
x86_64
└98708580 ( build.log | root.log )
doxygen
2:1.9.6-5.fc38
2:1.9.6-7.fc38
1
gcc-c++
13.0.1-0.5.fc38
13.0.1-0.7.fc38
1
cmake
3.26.0~rc6-1.fc38
3.26.0-1.fc38
1
cmake-filesystem
3.26.0~rc6-1.fc38
3.26.0-1.fc38
2
libgcc
13.0.1-0.5.fc38
13.0.1-0.7.fc38
2
perl-Module-CoreList
1:5.20230120-1.fc38
1:5.20230220-1.fc38
2
libstdc++-devel
13.0.1-0.5.fc38
13.0.1-0.7.fc38
2
perl-Text-Balanced
2.06-3.fc38
2.06-4.fc38
2
gcc
13.0.1-0.5.fc38
13.0.1-0.7.fc38
2
libstdc++
13.0.1-0.5.fc38
13.0.1-0.7.fc38
2
vim-filesystem
2:9.0.1314-1.fc38
2:9.0.1367-1.fc38
2
cmake-rpm-macros
3.26.0~rc6-1.fc38
3.26.0-1.fc38
2
perl-Module-CoreList-tools
1:5.20230120-1.fc38
1:5.20230220-1.fc38
2
perl-Digest-SHA
1:6.03-2.fc38
1:6.04-1.fc38
2
cmake-data
3.26.0~rc6-1.fc38
3.26.0-1.fc38
2
harfbuzz
7.0.0-2.fc38
7.0.1-2.fc38
3
librsvg2
2.55.1-5.fc38
2.55.90-1.fc38
3
libgomp
13.0.1-0.5.fc38
13.0.1-0.7.fc38
3
freetype
2.12.1-4.fc38
2.13.0-2.fc38
3
cairo
1.17.8-1.fc38
1.17.8-2.fc38
3
libgs
10.0.0-1.fc38
10.0.0-3.fc38
3
cpp
13.0.1-0.5.fc38
13.0.1-0.7.fc38
3
cairo-gobject
1.17.8-1.fc38
1.17.8-2.fc38
4
cups-libs
1:2.4.2-9.fc38
1:2.4.2-10.fc38
4
gcc-plugin-annobin
13.0.1-0.5.fc38
13.0.1-0.7.fc38
4
gnutls
3.7.8-11.fc38
3.8.0-2.fc38
4
kernel-headers
6.2.0-1.fc38
6.2.6-300.fc38
4
libgfortran
13.0.1-0.5.fc38
13.0.1-0.7.fc38
B
systemd-libs
253-1.fc38
253-6.fc38
B
libquadmath
13.0.1-0.5.fc38
13.0.1-0.7.fc38
B
libunistring
1.1-3.fc38
B
complete
98591291
2023-03-12 05:56:45
aarch64
├98591383 ( build.log | root.log )
ppc64le
├98591385 ( build.log | root.log )
x86_64
└98591384 ( build.log | root.log )
cmake
3.26.0~rc5-1.fc38
3.26.0~rc6-1.fc38
1
cmake-filesystem
3.26.0~rc5-1.fc38
3.26.0~rc6-1.fc38
2
perl-Config-Perl-V
0.35-2.fc38
0.36-1.fc38
2
perl-Test-Simple
3:1.302192-1.fc38
3:1.302193-1.fc38
2
cmake-rpm-macros
3.26.0~rc5-1.fc38
3.26.0~rc6-1.fc38
2
cmake-data
3.26.0~rc5-1.fc38
3.26.0~rc6-1.fc38
2
glib2
2.75.3-4.fc38
2.75.4-2.fc38
3
pixman
0.40.0-7.fc38
0.42.2-1.fc38
4
libselinux
3.5-0.rc3.1.fc38
3.5-1.fc38
4
gnupg2
2.4.0-2.fc38
2.4.0-3.fc38
4
fedora-release-identity-basic
38-0.26
38-0.30
B
libsepol
3.5-0.rc3.1.fc38
3.5-1.fc38
B
fedora-release
38-0.26
38-0.30
B
info
7.0.2-1.fc38
7.0.2-2.fc38
B
libsemanage
3.5-0.rc3.1.fc38
3.5-1.fc38
B
fedora-release-common
38-0.26
38-0.30
B
complete
98433817
2023-03-08 04:51:20
aarch64
├98433891 ( build.log | root.log )
ppc64le
├98433893 ( build.log | root.log )
x86_64
└98433892 ( build.log | root.log )
gdb
12.1-16.fc38
13.1-1.fc38
1
cmake
3.26.0~rc4-1.fc38
3.26.0~rc5-1.fc38
1
cmake-filesystem
3.26.0~rc4-1.fc38
3.26.0~rc5-1.fc38
2
cmake-data
3.26.0~rc4-1.fc38
3.26.0~rc5-1.fc38
2
gdb-headless
12.1-16.fc38
13.1-1.fc38
2
cmake-rpm-macros
3.26.0~rc4-1.fc38
3.26.0~rc5-1.fc38
2
pkgconf-pkg-config
1.8.0-5.fc38
1.8.0-6.fc38
2
pkgconf
1.8.0-5.fc38
1.8.0-6.fc38
3
pkgconf-m4
1.8.0-5.fc38
1.8.0-6.fc38
3
libpkgconf
1.8.0-5.fc38
1.8.0-6.fc38
4
crypto-policies
20221215-2.gita4c31a3....
20230301-1.gita12f7b2....
4
crypto-policies-scripts
20221215-2.gita4c31a3....
20230301-1.gita12f7b2....
B
rpm-sequoia
1.2.0-3.fc38
1.3.0-1.fc38
B
complete
97919180
2023-02-23 23:53:15
aarch64
├97919317 ( build.log | root.log )
ppc64le
├97919319 ( build.log | root.log )
x86_64
└97919318 ( build.log | root.log )
cmake
3.26.0~rc3-1.fc38
3.26.0~rc4-1.fc38
1
gcc-c++
13.0.1-0.3.fc38
13.0.1-0.5.fc38
1
libstdc++-devel
13.0.1-0.3.fc38
13.0.1-0.5.fc38
2
libgcc
13.0.1-0.3.fc38
13.0.1-0.5.fc38
2
gcc
13.0.1-0.3.fc38
13.0.1-0.5.fc38
2
cmake-filesystem
3.26.0~rc3-1.fc38
3.26.0~rc4-1.fc38
2
m4
1.4.19-4.fc37
1.4.19-5.fc38
2
cmake-rpm-macros
3.26.0~rc3-1.fc38
3.26.0~rc4-1.fc38
2
libstdc++
13.0.1-0.3.fc38
13.0.1-0.5.fc38
2
cmake-data
3.26.0~rc3-1.fc38
3.26.0~rc4-1.fc38
2
vim-filesystem
2:9.0.1307-1.fc38
2:9.0.1314-1.fc38
2
pango
1.50.12-3.fc38
1.50.13-1.fc38
3
cpp
13.0.1-0.3.fc38
13.0.1-0.5.fc38
3
libgomp
13.0.1-0.3.fc38
13.0.1-0.5.fc38
3
glib2
2.75.3-3.fc38
2.75.3-4.fc38
3
cairo
1.17.6-3.fc38
1.17.8-1.fc38
3
kernel-headers
6.2.0-0.rc8.git0.1....
6.2.0-1.fc38
4
cups-libs
1:2.4.2-8.fc38
1:2.4.2-9.fc38
4
cairo-gobject
1.17.6-3.fc38
1.17.8-1.fc38
4
gcc-plugin-annobin
13.0.1-0.3.fc38
13.0.1-0.5.fc38
4
rust-srpm-macros
23-2.fc38
24-1.fc38
4
rav1e-libs
0.5.1-7.fc38
0.5.1-9.fc38
B
libdav1d
1.0.0-3.fc38
1.1.0-1.fc38
B
libquadmath
13.0.1-0.3.fc38
13.0.1-0.5.fc38
B
systemd-libs
253~rc3-1.fc38
253-1.fc38
B
libgfortran
13.0.1-0.3.fc38
13.0.1-0.5.fc38
B
Real build: cbmc-5.50.0-4.fc38
complete
97563463
2023-02-16 08:19:06
aarch64
├97563589 ( build.log | root.log )
i386
├97563587 ( build.log | root.log )
ppc64le
├97563590 ( build.log | root.log )
s390x
├97563591 ( build.log | root.log )
x86_64
└97563588 ( build.log | root.log )
cmake
3.25.2-1.fc38
3.26.0~rc3-1.fc38
1
cmake-rpm-macros
3.25.2-1.fc38
3.26.0~rc3-1.fc38
2
cmake-data
3.25.2-1.fc38
3.26.0~rc3-1.fc38
2
cmake-filesystem
3.25.2-1.fc38
3.26.0~rc3-1.fc38
2
libcurl
7.87.0-4.fc38
7.87.0-5.fc38
2
libpaper
1:2.0.4-3.fc38
1:2.0.8-1.fc38
4
curl
7.87.0-4.fc38
7.87.0-5.fc38
4
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues