<div dir="ltr"><div class="gmail_quote">On Tue, Sep 9, 2008 at 11:15 PM, Luca Capello <span dir="ltr"><<a href="mailto:luca@pca.it">luca@pca.it</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="Ih2E3d">On Tue, 09 Sep 2008 21:38:13 +0200, Juan Jose Garcia-Ripoll wrote:<br>
> Last change in CVS ( 2008/09/09 )<br>
><br>
>  - We switch to an Ubuntu-like versioning system, based on $(year).$(month).x<br>
>    where "x" is 0 for a release or any higher number for a patched version.<br>
<br>
</div>I'll play the Devil's advocate here, sorry: does this mean that 0.1.0<br>
will be SONAME-compatible with 0.1.1?</blockquote><div><br></div><div>The SONAME only uses the first two numbers. It means I reserve the possibility to have minor bugs fixed and leave that to that last number. However, you will not see that I use something != *.*.0 in a release. Also, what is definitely true is that two libraries with different major (i.e. first) or minor (i.e. second) release numbers are not guaranteed to be binary compatible. </div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><br>
<div class="Ih2E3d">>  - In Unix-type systems, ECL now installs with a "soname" and using versioned<br>
>    directory names, such as /usr/lib/ecl-8.9.0, /usr/lib/libecl.so.8.9, etc<br>
<br>
</div>Is a new release planned soon or should I package today's CVS snapshot<br>
to close this bug?</blockquote><div><br></div><div>One or two weeks. Depends on another bug being closed and also how life develops.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
CLISP provides a similar situation, but we (i.e. Debian) decided to ship<br>
only one version.  What's your advice here?</blockquote><div><br></div><div>I do not think it is politically correct to ask the maintainer of one implementation how the packaging of a different one should go, so please excuse if I do not answer that question.</div>
<div><br></div><div>Juanjo</div></div>
</div>