public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
* [rpms/cbmc] rawhide: Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
@ 2026-07-15 20:38 Fedora Release Engineering
0 siblings, 0 replies; only message in thread
From: Fedora Release Engineering @ 2026-07-15 20:38 UTC (permalink / raw)
To: git-commits
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)
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2026-07-15 20:38 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-07-15 20:38 [rpms/cbmc] rawhide: Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild Fedora Release Engineering
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox