Update changelog

ahmed-irfan · web-flow · commit d3af1a3cf20d · 2025-07-17T00:40:02.000-07:00
diff --git a/debian/changelog b/debian/changelog
@@ -1,5 +1,5 @@
-yices2 (2.6.5-0ubuntu1) bionic; urgency=medium
+yices2 (2.7.0-0ubuntu1) jammy; urgency=medium
 
-  * Yices2.6.5 Release
+  * Yices2.7.0 Release
 
- -- Ahmed Irfan <ahmed.irfan@sri.com>  Thu, 19 Dec 2024 13:46:30 +0000
+ -- Ahmed Irfan <ahmed.irfan@sri.com>  Wed, 16 Jul 2025 13:46:30 +0000

-Original file line number
+Diff line change
@@ @@ -1,5 +1,5 @@ @@
 -yices2 (2.6.5-0ubuntu1) bionic; urgency=medium
 +yices2 (2.7.0-0ubuntu1) jammy; urgency=medium
 -  * Yices2.6.5 Release
 +  * Yices2.7.0 Release
 - -- Ahmed Irfan <[email protected]>  Thu, 19 Dec 2024 13:46:30 +0000
 + -- Ahmed Irfan <[email protected]>  Wed, 16 Jul 2025 13:46:30 +0000