Hi, Everything is in the title. Is there some kind of official schedule for releasing binary packages for Linux after a source release ? cheers, David