Update changelog

SRI-CSL · Dec 23, 2024 · af9d69b · af9d69b
1 parent 1cb3967
commit af9d69b
Showing 1 changed file with 3 additions and 3 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