Attachment 1825434 Details for Bug 2005249 – [patch] Update to 5.39.3 (#2005249)

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

0001-Update-to-5.39.3-2005249.patch (text/plain), 978 bytes, created by Upstream Release Monitoring on 2021-09-22 22:50:08 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2021-09-22 22:50:08 UTC

Size: 978 bytes

patch

obsolete

>From 83f11d29e8a7af0d75eccf4b6ffb74474c108ea2 Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Wed, 22 Sep 2021 22:50:07 +0000
>Subject: [PATCH] Update to 5.39.3 (#2005249)
>
>---
> cbmc.spec | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index e67f0fd..4ba7fa0 100644
>--- a/cbmc.spec
>+++ b/cbmc.spec
>@@ -4,7 +4,7 @@
> %define utils_version 1.2
> 
> Name:           cbmc
>-Version:        5.38.0
>+Version:        5.39.3
> 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
>+* Wed Sep 22 2021 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.39.3-1
>+- Update to 5.39.3 (#2005249)
>+
> * Wed Sep 15 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.38.0-1
> - New upstream release of cbmc and also cbmc-utils
> 
>-- 
>2.26.3
>

Actions: View | Diff

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