Commit 4dc1f0f0 authored by Fabian Wolff's avatar Fabian Wolff

Adjust package names to match new SONAMEs

parent 7f3ab370
......@@ -13,6 +13,7 @@ cvc4 (1.6-1) UNRELEASED; urgency=medium
* Upgrade to debhelper compat level 11.
* Upgrade to Standards-Version 4.1.5 in debian/control (no changes).
* Update debian/copyright.
* Adjust package names to match new SONAMEs.
-- Fabian Wolff <fabi.wolff@arcor.de> Sun, 07 Jan 2018 16:19:48 +0100
......
......@@ -60,7 +60,7 @@ Description: automated theorem prover for SMT problems (development files)
This package contains development files for CVC4. Install it if you
want to develop applications that use CVC4's API.
Package: libcvc4-4
Package: libcvc4-5
Architecture: amd64 i386 mips mips64el mipsel hurd-i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k powerpcspe x32
Section: libs
Depends: ${shlibs:Depends},
......@@ -79,7 +79,7 @@ Description: automated theorem prover for SMT problems (runtime)
.
This package contains CVC4's runtime shared libraries.
Package: libcvc4parser4
Package: libcvc4parser5
Architecture: amd64 i386 mips mips64el mipsel hurd-i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k powerpcspe x32
Section: libs
Depends: ${shlibs:Depends},
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment