Attachment 1859009 Details for Bug 2005249 – Update to 5.50.0 (#2005249)

[patch] Update to 5.50.0 (#2005249)

0001-Update-to-5.50.0-2005249.patch (text/plain), 1.05 KB, created by Upstream Release Monitoring on 2022-02-04 05:12:35 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2022-02-04 05:12:35 UTC

Size: 1.05 KB

patch

obsolete

>From df618deaf2099de0c77ea47cd87a2e3494ee93aa Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Fri, 4 Feb 2022 05:12:34 +0000
>Subject: [PATCH] Update to 5.50.0 (#2005249)
>
>---
> cbmc.spec | 7 +++++--
> 1 file changed, 5 insertions(+), 2 deletions(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index bebce70..ac3b110 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.50.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 Feb 04 2022 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.50.0-1
>+- Update to 5.50.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
>

Actions: View | Diff

Attachments on bug 2005249: 1823774 | 1825150 | 1825434 | 1827821 | 1829474 | 1833517 | 1838058 | 1841494 | 1845590 | 1847149 | 1849361 | 1852365 | 1859009