Attachment 1969799 Details for Bug 2055971 – Update to 5.85.0 (#2055971)

[patch] Update to 5.85.0 (#2055971)

0001-Update-to-5.85.0-2055971.patch (text/plain), 1.00 KB, created by Upstream Release Monitoring on 2023-06-08 16:19:37 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Upstream Release Monitoring

Created: 2023-06-08 16:19:37 UTC

Size: 1.00 KB

patch

obsolete

>From 57a7baefdefe2dc0980e6a4736110f46f93b045b Mon Sep 17 00:00:00 2001
>From: Fedora Release Monitoring <release-monitoring@fedoraproject.org>
>Date: Thu, 8 Jun 2023 16:19:32 +0000
>Subject: [PATCH] Update to 5.85.0 (#2055971)
>
>---
> cbmc.spec | 7 +++++--
> 1 file changed, 5 insertions(+), 2 deletions(-)
>
>diff --git a/cbmc.spec b/cbmc.spec
>index 7a6b3d8..b970d0a 100644
>--- a/cbmc.spec
>+++ b/cbmc.spec
>@@ -4,8 +4,8 @@
> %define utils_version 1.3
> 
> Name:           cbmc
>-Version:        5.50.0
>-Release:        4%{?dist}
>+Version:        5.85.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 Jun 08 2023 Fedora Release Monitoring <release-monitoring@fedoraproject.org> - 5.85.0-1
>+- Update to 5.85.0 (#2055971)
>+
> * Sun Jan 29 2023 LukÃ¡Å¡ Zaoral <lzaoral@redhat.com> - 5.50.0-4
> - Fix rawhide FTBFS
> - Use SPDX license format
>-- 
>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 | 1984150