Login
Log in using an SSO provider:
Fedora Account System
Red Hat Associate
Red Hat Customer
Login using a Red Hat Bugzilla account
Forgot Password
Create an Account
Red Hat Bugzilla – Attachment 1852365 Details for
Bug 2005249
cbmc-5.50.0 is available
Home
New
Search
Simple Search
Advanced Search
My Links
Browse
Requests
Reports
Current State
Search
Tabular reports
Graphical reports
Duplicates
Other Reports
User Changes
Plotly Reports
Bug Status
Bug Severity
Non-Defaults
Product Dashboard
Help
Page Help!
Bug Writing Guidelines
What's new
Browser Support Policy
5.0.4.rh90 Release notes
FAQ
Guides index
User guide
Web Services
Contact
Legal
[?]
This site requires JavaScript to be enabled to function correctly, please enable it.
[patch]
Update to 5.49.0 (#2005249)
0001-Update-to-5.49.0-2005249.patch (text/plain), 1.05 KB, created by
Upstream Release Monitoring
on 2022-01-21 00:38:51 UTC
(
hide
)
Description:
Update to 5.49.0 (#2005249)
Filename:
MIME Type:
Creator:
Upstream Release Monitoring
Created:
2022-01-21 00:38:51 UTC
Size:
1.05 KB
patch
obsolete
>From 6423768e095259ea64e7a4a6dfd4a3c140021c01 Mon Sep 17 00:00:00 2001 >From: Fedora Release Monitoring <release-monitoring@fedoraproject.org> >Date: Fri, 21 Jan 2022 00:38:50 +0000 >Subject: [PATCH] Update to 5.49.0 (#2005249) > >--- > cbmc.spec | 7 +++++-- > 1 file changed, 5 insertions(+), 2 deletions(-) > >diff --git a/cbmc.spec b/cbmc.spec >index bebce70..1369f8a 100644 >--- a/cbmc.spec >+++ b/cbmc.spec >@@ -4,8 +4,8 @@ > %define utils_version 1.2 > > Name: cbmc >-Version: 5.38.0 >-Release: 2%{?dist} >+Version: 5.49.0 >+Release: 1%{?dist} > Summary: Bounded Model Checker for ANSI-C and C++ programs > > License: BSD with advertising >@@ -125,6 +125,9 @@ ln -s xml_y.tab.h src/xmllang/xml_y.tab.hpp > %{_bindir}/csexec-%{name} > > %changelog >+* Fri Jan 21 2022 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.49.0-1 >+- Update to 5.49.0 (#2005249) >+ > * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.38.0-2 > - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild > >-- >2.31.1 >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 2005249
:
1823774
|
1825150
|
1825434
|
1827821
|
1829474
|
1833517
|
1838058
|
1841494
|
1845590
|
1847149
|
1849361
| 1852365 |
1859009