On 7 June 2011 23:53, Jonathan Wakely wrote: >> >> P.S.: why is the lib for gmp-4.3.2 called libgmp.so.3.5.2???????? > > A shared library's soname is not the same as the release number of the > project, so they don't have to be the same. See http://sourceware.org/autobook/autobook/autobook_91.html for more on that subject, as well as http://www.gnu.org/software/libtool/manual/html_node/Updating-version-info.html which says "*Never* try to set the interface numbers so that they correspond to the release number of your package."
