Attachment 1976827 Details for Bug 2055971 – Update to 5.88.0 (#2055971)

[patch] Update to 5.88.0 (#2055971)

0001-Update-to-5.88.0-2055971.patch (text/plain), 1.04 KB, created by Upstream Release Monitoring on 2023-07-20 22:33:57 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2023-07-20 22:33:57 UTC

Size: 1.04 KB

patch

obsolete

>From a82fca7d12d541f2d41c5cf17402292bcaa16cb5 Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Thu, 20 Jul 2023 22:33:52 +0000
>Subject: [PATCH] Update to 5.88.0 (#2055971)
>
>---
> cbmc.spec | 7 +++++--
> 1 file changed, 5 insertions(+), 2 deletions(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index 96a36b8..a5ff779 100644
>--- a/cbmc.spec
>+++ b/cbmc.spec
>@@ -4,8 +4,8 @@
> %define utils_version 1.3
> 
> Name:           cbmc
>-Version:        5.50.0
>-Release:        5%{?dist}
>+Version:        5.88.0
>+Release:        1%{?dist}
> Summary:        Bounded Model Checker for ANSI-C and C++ programs
> 
> License:        BSD-4-Clause
>@@ -137,6 +137,9 @@ ln -s xml_y.tab.h src/xmllang/xml_y.tab.hpp
> %{_bindir}/csexec-%{name}
> 
> %changelog
>+* Thu Jul 20 2023 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.88.0-1
>+- Update to 5.88.0 (#2055971)
>+
> * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.50.0-5
> - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
> 
>-- 
>2.40.1
>

Actions: View | Diff

Attachments on bug 2055971: 1861822 | 1864104 | 1866551 | 1867500 | 1869824 | 1872581 | 1876146 | 1879331 | 1884044 | 1884478 | 1888456 | 1892274 | 1895505 | 1898862 | 1903939 | 1906459 | 1909064 | 1909688 | 1912455 | 1915114 | 1918161 | 1920828 | 1923666 | 1927194 | 1931177 | 1931571 | 1932651 | 1933863 | 1936477 | 1939533 | 1941899 | 1944755 | 1947630 | 1951455 | 1954884 | 1957411 | 1960720 | 1966890 | 1969799 | 1972232 | 1974324 | 1976827 | 1977404 | 1981581