Attachment 1833517 Details for Bug 2005249 – [patch] Update to 5.42.0 (#2005249)

[patch] [patch] Update to 5.42.0 (#2005249)

0001-Update-to-5.42.0-2005249.patch (text/plain), 978 bytes, created by Upstream Release Monitoring on 2021-10-15 18:36:37 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2021-10-15 18:36:37 UTC

Size: 978 bytes

patch

obsolete

>From be4d8dd52d00bb4f5fd895358e8c8d489dac151d Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Fri, 15 Oct 2021 18:36:36 +0000
>Subject: [PATCH] Update to 5.42.0 (#2005249)
>
>---
> cbmc.spec | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index e67f0fd..5b86557 100644
>--- a/cbmc.spec
>+++ b/cbmc.spec
>@@ -4,7 +4,7 @@
> %define utils_version 1.2
> 
> Name:           cbmc
>-Version:        5.38.0
>+Version:        5.42.0
> Release:        1%{?dist}
> Summary:        Bounded Model Checker for ANSI-C and C++ programs
> 
>@@ -125,6 +125,9 @@ ln -s xml_y.tab.h src/xmllang/xml_y.tab.hpp
> %{_bindir}/csexec-%{name}
> 
> %changelog
>+* Fri Oct 15 2021 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.42.0-1
>+- Update to 5.42.0 (#2005249)
>+
> * Wed Sep 15 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.38.0-1
> - New upstream release of cbmc and also cbmc-utils
> 
>-- 
>2.31.1
>

Actions: View | Diff

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