2017-12-25 19:15 GMT-02:00 Alexandros <adrcki@gmail.com>:


On 25/12/2017 10:40 μμ, Miller Puckette wrote:
I don't know that anyone's using them... probably most people will download
via apt-get.
I was using it... apt-get doesn't always gives the latest version, right?

I don't think so