From af9d69b9962dc76f8734c8cd400e808883ed965b Mon Sep 17 00:00:00 2001 From: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com> Date: Mon, 23 Dec 2024 15:50:13 -0800 Subject: [PATCH 1/2] Update changelog --- debian/changelog | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index e0ae71a3c..750aad19e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,5 +1,5 @@ -yices2 (2.6.2-0ubuntu1) bionic; urgency=medium +yices2 (2.6.5-0ubuntu1) bionic; urgency=medium - * Initial release. (Closes: #864786) + * Yices2.6.5 Release - -- Ian A. Mason Thu, 10 Aug 2017 13:46:30 +0000 + -- Ahmed Irfan Thu, 19 Dec 2024 13:46:30 +0000 From 3ef11ebb3d5873c0da98c0606e2e1bf5f2844143 Mon Sep 17 00:00:00 2001 From: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com> Date: Mon, 23 Dec 2024 15:51:24 -0800 Subject: [PATCH 2/2] Update control --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/control b/debian/control index de764941a..217f0c885 100644 --- a/debian/control +++ b/debian/control @@ -1,5 +1,5 @@ Source: yices2 -Maintainer: Ian A. Mason +Maintainer: Ahmed Irfan Section: misc Priority: optional Standards-Version: 3.9.8