diff --git a/debian/changelog b/debian/changelog
index 81d83a0b8..fb43a02ed 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-yices2 (2.5.3-1) unstable; urgency=medium
+yices2 (2.6.0-1) unstable; urgency=medium
 
   * Initial release. (Closes: #864786)
 
diff --git a/debian/control b/debian/control
index cfdb79187..ed24fae6c 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Build-Depends: debhelper (>= 10), dh-autoreconf (>= 10), gperf, libgmp-dev, libp
 Homepage: http://yices.csl.sri.com/
 
 
-Package: libyices2.5
+Package: libyices2.6
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends}
 Pre-Depends: ${misc:Pre-Depends}
@@ -31,7 +31,7 @@ Description: Yices SMT Solver
 Package: yices2-dev
 Section: libdevel
 Architecture: any
-Depends: yices2,  libyices2.5 (= ${binary:Version}), ${misc:Depends}, libgmp-dev
+Depends: yices2,  libyices2.6 (= ${binary:Version}), ${misc:Depends}, libgmp-dev
 Description: Yices SMT Solver API Support
  SRI International's Satisfiability Modulo Theory Solver.
  .
@@ -42,7 +42,7 @@ Package: yices2-dbg
 Section: debug
 Priority: extra
 Architecture: any
-Depends: yices2, libyices2.5 (= ${binary:Version}), ${misc:Depends}
+Depends: yices2, libyices2.6 (= ${binary:Version}), ${misc:Depends}
 Provides: yices2-dbg
 Description: Yices SMT Solver
  SRI International's Satisfiability Modulo Theory Solver.
diff --git a/debian/libyices2.5.install b/debian/libyices2.6.install
similarity index 100%
rename from debian/libyices2.5.install
rename to debian/libyices2.6.install