Release 2.6.0 tweaks.

SRI-CSL · Jul 2, 2018 · 7a6286f · 7a6286f
1 parent 5ad2644
commit 7a6286f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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 → debian/libyices2.6.install b/debian/libyices2.5.install → debian/libyices2.6.install