public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
From: Fedora Release Engineering <releng@fedoraproject.org>
To: git-commits@fedoraproject.org
Subject: [rpms/cbmc] rawhide: Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
Date: Wed, 15 Jul 2026 20:38:23 GMT [thread overview]
Message-ID: <178414790315.1.4804326687427660402.rpms-cbmc-040224265e2a@fedoraproject.org> (raw)
A new commit has been pushed.
Repo : rpms/cbmc
Branch : rawhide
Commit : 040224265e2a852cb89d24d89371eb625665b38a
Author : Fedora Release Engineering <releng@fedoraproject.org>
Date : 2026-07-15T20:38:20+00:00
Stats : +4/-1 in 1 file(s)
URL : https://src.fedoraproject.org/rpms/cbmc/c/040224265e2a852cb89d24d89371eb625665b38a?branch=rawhide
Log:
Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
---
diff --git a/cbmc.spec b/cbmc.spec
index 4059ab7..87d0289 100644
--- a/cbmc.spec
+++ b/cbmc.spec
@@ -5,7 +5,7 @@
Name: cbmc
Version: 6.9.0
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Bounded Model Checker for ANSI-C and C++ programs
License: BSD-4-Clause
@@ -131,6 +131,9 @@ mv %{buildroot}{/usr/etc/bash_completion.d/cbmc,%{bash_completions_dir}}
%{_bindir}/csexec-%{name}
%changelog
+* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 6.9.0-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
+
* Thu Jun 11 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.9.0-1
- rebase to the latest upstream release (rhbz#2458463)
reply other threads:[~2026-07-15 20:38 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=178414790315.1.4804326687427660402.rpms-cbmc-040224265e2a@fedoraproject.org \
--to=releng@fedoraproject.org \
--cc=git-commits@fedoraproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox