update Debian folder (#545)

* Update changelog * Update control
SRI-CSL · Dec 24, 2024 · 37e652a · 37e652a
1 parent 1cb3967
commit 37e652a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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 <iam@csl.sri.com>  Thu, 10 Aug 2017 13:46:30 +0000
+ -- Ahmed Irfan <ahmed.irfan@sri.com>  Thu, 19 Dec 2024 13:46:30 +0000
diff --git a/debian/control b/debian/control
@@ -1,5 +1,5 @@
 Source: yices2
-Maintainer: Ian A. Mason <iam@csl.sri.com>
+Maintainer: Ahmed Irfan <ahmed.irfan@sri.com>
 Section: misc
 Priority: optional
 Standards-Version: 3.9.8