On 11/27/2013 12:07 AM, Andrei Alexandrescu wrote: > > My conclusion after this whole discussion: in the short term we need to > have both Fedora and Debian builds. Then we'll move from there. Right, different distributions => different shared libraries.