Attachment 1815845 Details for Bug 1990564 – [patch] Update to 5.37.0 (#1990564)

[patch] [patch] Update to 5.37.0 (#1990564)

0001-Update-to-5.37.0-1990564.patch (text/plain), 998 bytes, created by Upstream Release Monitoring on 2021-08-19 22:11:48 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2021-08-19 22:11:48 UTC

Size: 998 bytes

patch

obsolete

>From 23daa96799f953c4064ae3ee79c78bdfc2fcf322 Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Thu, 19 Aug 2021 22:11:47 +0000
>Subject: [PATCH] Update to 5.37.0 (#1990564)
>
>---
> cbmc.spec | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index 3af5e64..b09158b 100644
>--- a/cbmc.spec
>+++ b/cbmc.spec
>@@ -4,7 +4,7 @@
> %define utils_version 1.1
> 
> Name:           cbmc
>-Version:        5.35.0
>+Version:        5.37.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 Aug 19 2021 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.37.0-1
>+- Update to 5.37.0 (#1990564)
>+
> * Wed Aug  4 2021 Lukas Zaoral <lzaoral@redhat.com> - 5.35.0-1
> - New upstream release
> - Use plain doxygen to cut-down some build dependencies
>-- 
>2.26.3
>

Actions: View | Diff

Attachments on bug 1990564: 1811258 | 1815845