Attachment 1820156 Details for Bug 2000765 – [patch] Update to 5.38.0 (#2000765)

[patch] [patch] Update to 5.38.0 (#2000765)

0001-Update-to-5.38.0-2000765.patch (text/plain), 979 bytes, created by Upstream Release Monitoring on 2021-09-02 20:43:16 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2021-09-02 20:43:16 UTC

Size: 979 bytes

patch

obsolete

>From 3ed90badf35bc373c535715b8964690572d8378a Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Thu, 2 Sep 2021 20:43:15 +0000
>Subject: [PATCH] Update to 5.38.0 (#2000765)
>
>---
> cbmc.spec | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index 0298207..2929c65 100644
>--- a/cbmc.spec
>+++ b/cbmc.spec
>@@ -4,7 +4,7 @@
> %define utils_version 1.1
> 
> Name:           cbmc
>-Version:        5.37.0
>+Version:        5.38.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
>+* Thu Sep 02 2021 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.38.0-1
>+- Update to 5.38.0 (#2000765)
>+
> * Mon Aug 23 2021 Pavel Simovec <psimovec@redhat.com> - 5.37.0-1
> - New upstream release
> - fix broken indentation in a patch
>-- 
>2.26.3
>

Actions: View | Diff

Attachments on bug 2000765: 1820156