Attachment 1811258 Details for Bug 1990564 – [patch] Update to 5.36.0 (#1990564)

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

0001-Update-to-5.36.0-1990564.patch (text/plain), 997 bytes, created by Upstream Release Monitoring on 2021-08-05 16:16:09 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2021-08-05 16:16:09 UTC

Size: 997 bytes

patch

obsolete

>From 014d46e37505c5e721fac76d2a14ad24db61385d Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Thu, 5 Aug 2021 16:16:08 +0000
>Subject: [PATCH] Update to 5.36.0 (#1990564)
>
>---
> cbmc.spec | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index 3af5e64..1f254c6 100644
>--- a/cbmc.spec
>+++ b/cbmc.spec
>@@ -4,7 +4,7 @@
> %define utils_version 1.1
> 
> Name:           cbmc
>-Version:        5.35.0
>+Version:        5.36.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 05 2021 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.36.0-1
>+- Update to 5.36.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