dartsim/dart — pull request #286 by jslee02 (2014-12-11 16:59:01+00:00)
Title: Version numbering of the shared libraries in debian packages

Version numbering of the shared libraries in debian packages

This PR changes naming of the shared libraries. Since ABI breaking is done per minor version up, minor version number needs to be appear to the shared libraries.

For example:
* `libdart-core4.2` package installs `libdart-core.so.4.2`
* `libdart-core4-dev` package install `libdart-core.so` symlink

This PR should fixes #281.