<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2017-12-25 19:15 GMT-02:00 Alexandros <span dir="ltr"><<a href="mailto:adrcki@gmail.com" target="_blank">adrcki@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
<br>
On 25/12/2017 10:40 μμ, Miller Puckette wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I don't know that anyone's using them... probably most people will download<br>
via apt-get.<br>
</blockquote></span>
I was using it... apt-get doesn't always gives the latest version, right?</blockquote><div><br></div><div>I don't think so</div><div><br></div><div><br></div></div></div></div>